Mirror of ocaml-forester
OCaml
52
506 commits
updated Jun 18, 2024
sr.ht/~jonsterling/forester
468 commits
18 commits
7 commits
5 commits
jonsterling/forest
My mathematical Zettelkasten, created using forester. Moved to sourcehut.
95
jonsterling/math
A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
55
jonsterling/dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
90
IndiscriminateCoding/clarity
Functional programming library for OCaml
59
johnwhitington/ocamli
OCaml interpreter
104
forthy42/gforth
Gforth mirror on GitHub (original is on Savannah)
189
inhabitedtype/faraday
Serialization library built for speed and memory efficiency
142
adamrk/llvm-ocaml-tutorial
The LLVM tutorial using OCaml
62
99.2%
