brownplt / LambdaS5
Semantics for ES5
☆81Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for LambdaS5
- Semantics and tools for JavaScript☆90Updated 2 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆101Updated 8 months ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆196Updated 9 months ago
- JavaScript semantics☆18Updated 12 years ago
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- surgical precision JIT compilers☆120Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- History of Programming Languages, Spring 2017☆129Updated 6 years ago
- A formalization of category theory in the Coq proof assistant.☆93Updated 2 weeks ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆34Updated 11 years ago
- Compile-time metaprogramming for OCaml☆71Updated 3 months ago
- Javascript implementation of Scheme's numeric tower☆30Updated 11 years ago
- ☆55Updated 7 years ago
- A CSS specification and reasoning engine☆92Updated last year
- Guile with tracing JIT VM.☆15Updated 8 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- An evaluator with an expander.☆19Updated 8 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Refinement Types for Scripting Languages☆65Updated 5 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- The LVish Haskell library☆81Updated 2 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Updated 9 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- Model finder for higher-order logic☆41Updated 11 months ago