Nicolas Jeannerod's repositories
dev.scd.niols.fr
Development version of “Niols's Repository of (Mostly Unpublished) Scottish Country Dances”.
erosanix
My main NixOS/Nix Flakes repository
MIT000
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Apache-2.0000
Language:JavaScript000
nixos-config
Niols's NixOS configuration/s
nixpkg-mobilesheets-companion
Nix package for MobileSheets Companion
Language:Nix000
nixpkg-timidity
Nix package for `timidity`
ocaml-monad
A starter library for monads in Ocaml.
ocaml-next
Niols's Extended Standard Library (yet another one)
opam-repository
Niols's fork of opam-repository
open-games-engine
Haskell implementation of open games
ppx_import
Less redundancy in type declarations and signatures
MIT000
pre-commit-hooks.nix
Seamless integration of https://pre-commit.com git hooks with Nix.
racket-docker
Docker images for various Racket versions
scd.niols.fr
Niols's Repository of (Mostly Unpublished) Scottish Country Dances