-
ocha-platform Public
OCaml environment for execution and step execution
-
expand-open Public
A utility to expand module names in OCaml programs
-
-
microKanren Public
Forked from jasonhemann/microKanrenThe implementation of microKanren, a featherweight relational programming language
Scheme UpdatedJun 19, 2025 -
remove-sharpuse Public
A utility to expand all uses of #use in an OCaml program
OCaml MIT License UpdatedNov 19, 2024 -
homebrew-formula Public
Homebrew formula for OchaCaml: shift/reset-extension of Caml Light
-
ocaml-blockly Public
Forked from harukamm/ocaml-blocklyOCaml visual programming editor based on Blockly.
-
nendo Public
A utility to print both Western and Japanese calendar year
OCaml MIT License UpdatedApr 2, 2021 -
plfa.github.io Public
Forked from plfa/plfa.github.ioIntroduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedAug 23, 2019 -
{{ message }}