Repositories list

• verified_ocaml_gc

  Public
  For Jar artifacts

  OCaml

  •

  MIT License

  •0•1•0•0•Updated Dec 4, 2024Dec 4, 2024

• ocaml-gc-hacking

  Public
  OCaml

  •1•4•3•0•Updated Feb 27, 2024Feb 27, 2024

• peepul

  Public
  Certified implmentations of mergeable replicated data types

  F*

  •

  MIT License

  •2•7•1•0•Updated Oct 13, 2022Oct 13, 2022

• retro-concurrency-bench

  Public
  Microbenchmarks from the PLDI21 paper "Retrofitting Effect Handlers onto OCaml"

  OCaml

  •

  MIT License

  •1•1•0•0•Updated May 10, 2022May 10, 2022

• retro-concurrency

  Public
  Retrofitting Concurrency onto OCaml (OCaml effect handlers paper)

  Jupyter Notebook

  •0•2•0•0•Updated May 8, 2021May 8, 2021

• aicte-compilers-lecture-2021

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

  F*

  •

  MIT License

  •0•4•0•0•Updated Jan 22, 2021Jan 22, 2021

• irmin-scylla

  Public
  implementation of irmin-scylla

  OCaml

  •1•10•0•0•Updated Oct 14, 2020Oct 14, 2020

• docs

  Public
  Repo to host general wikis!

  2•3•0•3•Updated Jul 12, 2020Jul 12, 2020

• ocaml

  Public
  The core OCaml system: compilers, runtime system, base libraries

  OCaml

  •

  Other

  •1.1k•0•0•0•Updated Apr 27, 2020Apr 27, 2020

• sandmark

  Public
  Benchmarking the OCaml compiler and all its friends

  OCaml

  •38•0•0•0•Updated Mar 5, 2020Mar 5, 2020

• ipfs-dockerfiles

  Public
  Dockerfile

  •0•1•0•0•Updated Oct 6, 2019Oct 6, 2019