Popular repositories Loading

1. plar-elpi plar-elpi Public

   Practical Logic and Automated Reasoning in Elpi

   Dockerfile 2 1

2. dbmonad dbmonad Public

   Initial syntax using De Bruijn monads

   Standard ML 2

3. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix 1

4. OSudoku OSudoku Public

   JavaScript 1

5. nixconfs nixconfs Public

   My nix related configurations

   Nix 1

6. hol-light-docker hol-light-docker Public

   Scripts for deploying HOL Light with Docker (and optional checkpointing)

   Dockerfile 1 2