brownplt / LambdaS5
Semantics for ES5
☆81Updated 9 years ago
Alternatives and similar repositories for LambdaS5:
Users that are interested in LambdaS5 are comparing it to the libraries listed below
- Semantics and tools for JavaScript☆90Updated 3 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated 11 months ago
- (Nominal) Adapton in OCaml☆52Updated 8 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆198Updated last year
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Shen on javascript.☆69Updated 6 years ago
- Compile-time metaprogramming for OCaml☆72Updated 7 months ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 4 months ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- ☆55Updated 8 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- General Parser Combinators in Racket☆194Updated 8 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Contract library for JavaScript☆147Updated 9 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- TiML: A Functional Programming Language with Time Complexity☆77Updated 7 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated last year
- A small implementation of type inference☆78Updated 9 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- An evaluator with an expander.☆20Updated 9 years ago
- microkanren in sml☆26Updated 10 years ago