Repositories Users Organizations
Filter
Sort
eeva/ macOS-Simple-KVM
Shell 0 0
Updated 2020-07-23 07:37:42 +02:00
eeva/ wip-pinebook-pro
Ruby 0 0
Work of samueldr to run NixOS on the Pine64 Pinebook Pro
Updated 2022-03-29 20:13:08 +02:00
eeva/ gRPC-haskell
Haskell 0 0
unclechu's fork of gRPC-haskell
Updated 2022-07-30 04:33:48 +02:00
eeva/ easy-dhall-nix
Nix 0 0
nix dhall
Updated 2023-04-20 00:29:35 +02:00
eeva/ servant-ekg
Haskell 0 0
Updated 2023-08-26 10:06:53 +02:00
eeva/ krops
Nix 0 0
Mirror of Krops
Updated 2024-01-11 11:23:11 +01:00
eeva/ tensorflow-haskell
Haskell 0 0
Haskell bindings for TensorFlow
Updated 2024-08-15 17:09:06 +02:00
OloNO/ OloNO
C 0 0
Updated 2024-09-14 15:01:22 +02:00
hanafuda/ lib
Haskell 1 0
This is the backend library implementing the logic of the Hanafuda game.
Updated 2024-09-14 15:01:22 +02:00
hanafuda/ server
JavaScript 1 0
A webapp to play Hanafuda online.
Updated 2024-09-14 15:01:22 +02:00
hanafuda/ hannah
Haskell 0 0
A bot with a simple strategy.
Updated 2024-09-14 15:01:22 +02:00
Tissevert/ pilu
Haskell 0 0
A simple application to keep track of pill stocks and to schedule provisioning
Updated 2024-09-14 15:01:22 +02:00
Tissevert/ Mainate
Haskell 0 0
An NLP library to write parsers
Updated 2024-09-14 15:01:22 +02:00
Tissevert/ Hufflepdf
Haskell 0 0
A Haskell library to parse PDF files.
Updated 2024-09-14 15:01:22 +02:00
Tissevert/ reveal
Haskell 0 0
A simple program to change the text rendering mode of a PDF
Updated 2024-09-14 15:01:22 +02:00
eeva/ hs-caesar
Haskell 0 0
Updated 2024-09-14 15:01:22 +02:00
hanafuda/ protocol
Haskell 0 0
The language spoken by the server and clients over the websocket.
Updated 2024-09-14 15:01:22 +02:00
mpo/ nixops-lan-party
Nix 0 0
Lan party machine and network definition with nixops
Updated 2024-09-14 15:01:22 +02:00
mpo/ phd-defence-fr
TeX 1 0
Voici le code source de la présentation de ma soutenance de thèse, donnée le 6 juillet 2017 à 10h.
Updated 2024-09-14 15:01:22 +02:00
mpo/ phd-thesis-fr
TeX 1 0
Voici le code source de mon manuscrit de thèse de doctorat, avec les corrections
Updated 2024-09-14 15:01:22 +02:00