Explore @prismlab Open Source projects

Prism Lab @ IIT Madras (@prismlab)

prismlab

Stars
31
Global Org. Rank 98,412 (Top 32 %)
Registered over 5 years ago
Most used languages

OCaml
33.3 %

F* 33.3 %

Jupyter Notebook
16.7 %

Dockerfile
16.7 %
Location 🇮🇳 India
Country Total Rank 21,220
Country Ranking

F* 1

OCaml
12

Dockerfile
486

irmin-scylla

implementation of irmin-scylla

peepul

Certified implmentations of mergeable replicated data types

aicte-compilers-lecture-2021

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

docs

Repo to host general wikis!

ocaml-gc-hacking

retro-concurrency

Retrofitting Concurrency onto OCaml (OCaml effect handlers paper)

Jupyter Notebook

ipfs-dockerfiles