brownplt / LambdaS5Links
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
Sorting:
- Semantics and tools for JavaScript☆91Updated 3 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- Compile-time metaprogramming for OCaml☆73Updated 9 months ago
- ☆55Updated 8 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 3 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- Supporting tool for Gradual Typing☆16Updated 5 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- JavaScript semantics☆18Updated 12 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 9 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Updated 9 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Higher-Order Contracts for JavaScript☆14Updated 8 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- A compiler for Coq☆26Updated 12 years ago