brownplt / LambdaJS
Semantics and tools for JavaScript
☆90Updated 2 years ago
Related projects: ⓘ
- Semantics for ES5☆81Updated 8 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆101Updated 5 months ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- ☆55Updated 7 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 11 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- An evaluator with an expander.☆19Updated 8 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- The LVish Haskell library☆81Updated last year
- ☆33Updated 9 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- A formalization of category theory in the Coq proof assistant.☆92Updated 3 years ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆34Updated 11 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- surgical precision JIT compilers☆120Updated 7 years ago
- miniKanren in the browser☆55Updated 8 years ago
- Compile-time metaprogramming for OCaml☆71Updated last month
- Presentation/code from my talk at London HUG☆57Updated 11 years ago
- Javascript back-end for OCamlc☆134Updated 13 years ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- An example of a simple project in OCaml that uses Merlin☆36Updated 9 years ago
- Shen on javascript.☆68Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 8 years ago
- History of Programming Languages, Spring 2017☆127Updated 6 years ago
- JavaScript semantics☆18Updated 12 years ago
- A compiler for Coq☆26Updated 11 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago