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
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Compile-time metaprogramming for OCaml☆73Updated 10 months ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆35Updated 12 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆33Updated 13 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- The LVish Haskell library☆80Updated 2 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- JavaScript semantics☆18Updated 12 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Data structure implementations (Avl tree, Red-black tree, Splay tree, Heap) for Ocaml language☆18Updated 12 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- ☆55Updated 8 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- miniKanren in the browser☆55Updated 9 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated last year
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- An evaluator with an expander.☆20Updated 9 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- Reference implementation for the Essentials of Compilation course☆17Updated 9 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago