brownplt / LambdaJSLinks
Semantics and tools for JavaScript
☆91Updated 3 years ago
Alternatives and similar repositories for LambdaJS
Users that are interested in LambdaJS are comparing it to the libraries listed below
Sorting:
- Semantics for ES5☆81Updated 9 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- Compile-time metaprogramming for OCaml☆74Updated 10 months ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- Bindings for llvm in racket☆65Updated 10 years ago
- Data structure implementations (Avl tree, Red-black tree, Splay tree, Heap) for Ocaml language☆18Updated 12 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- JavaScript semantics☆18Updated 12 years ago
- Javascript back-end for OCamlc☆134Updated 14 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 10 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆35Updated 12 years ago
- The LVish Haskell library☆80Updated 2 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Reference implementation for the Essentials of Compilation course☆17Updated 9 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 7 months ago
- A library for effects in Coq.☆65Updated 3 years ago
- An evaluator with an expander.☆20Updated 9 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- A web server written in Coq.☆87Updated 8 years ago
- OCaml bindings for D3.js☆75Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆33Updated 13 years ago