brownplt / ML-LambdaJS
JavaScript semantics
☆18Updated 12 years ago
Related projects: ⓘ
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 9 years ago
- MirageOS tutorial notebooks using IOCaml☆16Updated 6 years ago
- Semantics for ES5☆81Updated 8 years ago
- ☆11Updated 9 years ago
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆29Updated 7 years ago
- Extension to OCaml for deriving functions from type declarations.☆25Updated 14 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 8 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- A collection of tools to manage the configuration of OCaml projects☆54Updated 9 years ago
- OCaml API search engine☆25Updated 7 years ago
- Non-deterministic Prolog implementation for recreational linguistics☆12Updated 9 years ago
- The human friendly interface to ocaml-re☆25Updated 5 years ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆45Updated 10 months ago
- Web server for IOCaml☆22Updated 7 years ago
- Semantics and tools for JavaScript☆90Updated 2 years ago
- OCaml backend for Agda☆39Updated 5 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- ☆17Updated this week
- OCaml bindings for D3.js☆72Updated 6 years ago
- ☆11Updated 12 years ago
- sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`☆25Updated 8 years ago
- UTF-8 string literals and patterns for OCaml (unreleased)☆21Updated 9 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- miniKanren in OCaml☆31Updated last year
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Signatures of the category theoretic style; a experiment in flattery☆27Updated 9 years ago
- An easy interface on top of the Irmin library.☆45Updated 4 years ago
- OCaml bindings for the Javascript c3 charting library☆29Updated 5 years ago
- Examples to illustrate the use of experimental OCaml macros☆11Updated 6 years ago
- Create, Control, Execute JavaScript in OCaml. Think of the possibilities.☆30Updated 7 years ago