brownplt / ML-LambdaJSLinks
JavaScript semantics
☆18Updated 13 years ago
Alternatives and similar repositories for ML-LambdaJS
Users that are interested in ML-LambdaJS are comparing it to the libraries listed below
Sorting:
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆16Updated 10 years ago
- OCaml syntax extension dedicated to the programming of reactive systems on the Web.☆53Updated 7 years ago
- (Nominal) Adapton in OCaml☆57Updated 9 years ago
- Moana implementation in OCaml☆16Updated 10 years ago
- OCaml backend for Agda☆39Updated 7 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆17Updated 9 years ago
- An interactive tutorial to begin learning with OCaml☆94Updated 4 years ago
- Canopy blog data that powers ICFP liveblog☆16Updated 9 years ago
- Web server for IOCaml☆23Updated 8 years ago
- MirageOS tutorial notebooks using IOCaml☆16Updated 8 years ago
- Semantics for ES5☆82Updated 10 years ago
- An MVC library for writing interactive webpages in OCaml☆35Updated 10 years ago
- L-system interpreter in OCaml☆21Updated 10 years ago
- UTF-8 string literals and patterns for OCaml (unreleased)☆20Updated 10 years ago
- An easy interface on top of the Irmin library.☆43Updated 5 years ago
- A collection of tools to manage the configuration of OCaml projects☆53Updated 10 years ago
- OCaml API search engine☆24Updated 9 years ago
- DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).☆23Updated 8 years ago
- repo to play with react.js from js_of_ocaml☆16Updated 9 years ago
- F* running in the browser☆21Updated 6 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Updated 3 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- OCaml bindings for D3.js☆75Updated 7 years ago
- Signatures of the category theoretic style; a experiment in flattery☆25Updated 10 years ago
- Regular Expression Matching in Haskell☆34Updated 7 years ago
- sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`☆24Updated 9 years ago
- OCaml bindings for the Javascript c3 charting library☆30Updated 6 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Updated 8 years ago
- The human friendly interface to ocaml-re☆26Updated 6 years ago
- TypeScript to js_of_ocaml☆38Updated 9 years ago