brownplt / LambdaS5
Semantics for ES5
☆81Updated 8 years ago
Related projects: ⓘ
- Semantics and tools for JavaScript☆90Updated 2 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆101Updated 5 months ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- A formalization of category theory in the Coq proof assistant.☆92Updated 3 years ago
- ☆55Updated 7 years ago
- An evaluator with an expander.☆19Updated 8 years ago
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆196Updated 7 months ago
- JavaScript semantics☆18Updated 12 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 8 years ago
- Compile-time metaprogramming for OCaml☆71Updated last month
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- General Parser Combinators in Racket☆196Updated 8 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- surgical precision JIT compilers☆120Updated 7 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Updated 9 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 11 years ago
- miniKanren in the browser☆55Updated 8 years ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- Javascript back-end for OCamlc☆134Updated 13 years ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆34Updated 11 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- microkanren in sml☆26Updated 9 years ago
- Shen on javascript.☆68Updated 6 years ago
- History of Programming Languages, Spring 2017☆127Updated 6 years ago