replace [%dummy_ppx] by 42: to test bucklescript with dune
skeleton for a language implementation in OCaml
Bucklescript's belt library packaged for native ocaml / dune / esy
A toy theorem prover
A type-safe, stack-based functional programming language
ocaml code-generation for binary format parsers/constructors from a specification
Very bare bones starter pack for reason and bucklescript
Mostly Automated Proof Repair for Verified Libraries
ReScript / BuckleScript bindings to the slash-create library for Discord commands
OCaml dune linting demos
OCaml PPX that transforms let-bindings into CPS
Experiment at alternate mechanism for syncing labelled/unlabelled module docs
OCaml fuzzy type search
A dumb, source to source, preprocessor for OCaml code
Pure Demand Operational Semantics
Starter code for developing Ocaml for CS442 at UWaterloo