Prism Lab @ IIT Madras (@prismlab)
Guthub

prismlab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    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
         689

Top repositories

1

irmin-scylla

implementation of irmin-scylla
OCaml
11
star
2

peepul

Certified implmentations of mergeable replicated data types
F*
7
star
3

aicte-compilers-lecture-2021

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

docs

Repo to host general wikis!
3
star
5

ocaml-gc-hacking

OCaml
3
star
6

retro-concurrency

Retrofitting Concurrency onto OCaml (OCaml effect handlers paper)
Jupyter Notebook
2
star
7

ipfs-dockerfiles

Dockerfile
1
star