brownplt / LambdaS5Links
Semantics for ES5
☆82Updated 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☆92Updated 3 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- The LVish Haskell library☆80Updated 2 years ago
- A CSS specification and reasoning engine☆96Updated 2 years ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- miniKanren in the browser☆56Updated 9 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- Shen on javascript.☆70Updated 7 years ago
- Epic - a Supercombinator Compiler☆64Updated 10 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- The best Prolog visualizer☆85Updated 2 years ago
- General Parser Combinators in Racket☆193Updated 9 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- functional reactive programming for JavaScript☆235Updated 5 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- Compile-time metaprogramming for OCaml☆74Updated last year
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- Contract library for JavaScript☆148Updated 10 years ago
- ☆55Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- A small implementation of type inference☆80Updated 10 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 10 years ago