Nicolas Jeannerod's repositories
nixos-config
Niols's NixOS configuration/s
dev.scd.niols.fr
Development version of “Niols's Repository of (Mostly Unpublished) Scottish Country Dances”.
scd.niols.fr
Niols's Repository of (Mostly Unpublished) Scottish Country Dances
opam-repository
Niols's fork of opam-repository
nixpkg-mobilesheets-companion
Nix package for MobileSheets Companion
erosanix
My main NixOS/Nix Flakes repository
dune
A composable build system for OCaml.
ocaml-next
Niols's Extended Standard Library (yet another one)
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
nixpkgs
Niols's fork of nixpkgs
pre-commit-hooks.nix
Seamless integration of https://pre-commit.com git hooks with Nix.
infer
A static analyzer for Java, C, C++, and Objective-C
open-games-engine
Haskell implementation of open games
ocaml-monad
A starter library for monads in Ocaml.
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
ppx_import
Less redundancy in type declarations and signatures
opam-nix
Turn opam-based OCaml projects into Nix derivations
nixpkg-timidity
Nix package for `timidity`
racket-docker
Docker images for various Racket versions
chroma
A general purpose syntax highlighter in pure Go