niksu/opam-sync-github-prs
Generates an OPAM compiler remote for active GitHub OCaml PRs
Developer Profile
niksu
Discovered public repositories for niksu in the GitHub catalog.
niksu/mirage-www
Website infrastructure for openmirage.org
niksu/is-mirage-broken
Regular build logs of Mirage on various OS variants
niksu/LinearML
Functional language for parallel programming
niksu/garpage
Public repository.
niksu/ocaml-git
Pure OCaml low-level git bindings
niksu/MoanaML
Moana implementation in OCAML
niksu/mirage-vagrant-vms
Public repository.
niksu/irmin
Irmin is a distributed database that follows the same design principles as Git
niksu/pceil
Public repository.
niksu/satallax2.7-isar
Public repository.
niksu/thesis
A LaTeX document class that conforms to the Computer Laboratory's PhD thesis formatting guidelines.