Notes and findings from our OCaml benchmarking adventures
50
24 commits
updated Oct 6, 2022
15 commits
5 commits
1 commits
yangzhang33/eval_benchmark
0
dbuenzli/note
Declarative events and signals for OCaml
51
anton-trunov/coq-lecture-notes
Coq Lecture Notes (WIP)
56
Lao6tu/TSFMs-Benchmark
TSFMs-Benchmark
attractivechaos/plb
Programming language benchmarks
273
IndiscriminateCoding/clarity
Functional programming library for OCaml
59
adamrk/llvm-ocaml-tutorial
The LLVM tutorial using OCaml
62
jonsterling/ocaml-forester
Mirror of ocaml-forester
52