brownplt / ML-LambdaJS
JavaScript semantics
☆18Updated 12 years ago
Alternatives and similar repositories for ML-LambdaJS:
Users that are interested in ML-LambdaJS are comparing it to the libraries listed below
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 10 years ago
- Web server for IOCaml☆22Updated 7 years ago
- (Nominal) Adapton in OCaml☆54Updated 8 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
- MirageOS tutorial notebooks using IOCaml☆16Updated 7 years ago
- Semantics and tools for JavaScript☆90Updated 3 years ago
- OCaml backend for Agda☆39Updated 6 years ago
- An Ocaml AWS Client SDK based on Jane Streets Core & Async libraries☆10Updated 10 years ago
- Objective Caml binding embedding the R interpreter☆23Updated 14 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Sandboxed build environment for opam projects☆14Updated 9 years ago
- QUICr parametric abstract domain for sets☆12Updated 9 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- Semantics for ES5☆81Updated 9 years ago
- Collect profiling information☆18Updated 2 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Updated 7 years ago
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 4 years ago
- Native toplevel for the OCaml language☆30Updated 12 years ago
- miniKanren in OCaml☆31Updated last year
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- repo to play with react.js from js_of_ocaml☆18Updated 9 years ago
- Tool to convert OASIS metadata to OPAM package descriptions☆27Updated 7 years ago
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- An eDSL for MirageOS apps☆20Updated 6 years ago
- Binding to jQuery (for js_of_ocaml)☆25Updated 12 years ago
- Regular Expression Matching in Haskell☆35Updated 7 years ago
- Extension to OCaml for deriving functions from type declarations.☆25Updated 14 years ago
- Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes☆21Updated 5 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago