Yann Hamdaoui's repositories
visual-goi
A graphical tool to translate lambda terms to proof nets and run GoI token machine on it
lambda-soup
Functional HTML scraping and rewriting with CSS in OCaml.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
cuelang.org
Source for the https://cuelang.org site
dhall-lang
Maintainable configuration files
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
guestbook-go-nickel
Kubernetes guestbook-go example in Nickel
jetpack-nixos
NixOS module for NVIDIA Jetson devices
kobeau-reader
Simple, one-liner installer of KOReader on a Kobo device powered by Nix.
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
pre-commit-hooks.nix
Seamless integration of https://pre-commit.com git hooks with Nix.
python-dotenv
Get and set values in your .env file in local and production servers. :tada: