Popular repositories Loading

1. iitm_ocaml_reading_group iitm_ocaml_reading_group Public

   OCaml reading group at IIT Madras

   Jupyter Notebook 25 1

2. verified_ocaml_gc verified_ocaml_gc Public

   For Jar artifacts

   OCaml 20

3. irmin-scylla irmin-scylla Public

   implementation of irmin-scylla

   OCaml 10 1

4. peepul peepul Public

   Certified implmentations of mergeable replicated data types

   F* 9 2

5. aicte-compilers-lecture-2021 aicte-compilers-lecture-2021 Public

   Lecture materials for the invited talk at AICTE Compilers Short term course (Jan 2021)

   F* 4

6. ocaml-gc-hacking ocaml-gc-hacking Public

   OCaml 4 1