prismlab/ocaml-gc-hacking prismlab/ocaml-gc-hacking

  • Stars
    star
    3
  • Rank 3,941,162 (Top 79 %)
  • Language
    OCaml
  • Created 9 months ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
prismlab/ocaml-gc-hacking
github

prismlab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

retro-concurrency

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

ipfs-dockerfiles

Dockerfile
1
star