brownplt / LambdaJSLinks
Semantics and tools for JavaScript
☆92Updated 3 years ago
Alternatives and similar repositories for LambdaJS
Users that are interested in LambdaJS are comparing it to the libraries listed below
Sorting:
- Semantics for ES5☆82Updated 10 years ago
- Compile-time metaprogramming for OCaml☆74Updated last year
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 8 years ago
- (Nominal) Adapton in OCaml☆56Updated 9 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆203Updated last year
- A web server written in Coq.☆89Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- Data structure implementations (Avl tree, Red-black tree, Splay tree, Heap) for Ocaml language☆18Updated 13 years ago
- Javascript back-end for OCamlc☆135Updated 15 years ago
- The LVish Haskell library☆80Updated 3 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 12 years ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- OCaml bindings for D3.js☆75Updated 7 years ago
- An example of a simple project in OCaml that uses Merlin☆36Updated 10 years ago
- An interactive tutorial to begin learning with OCaml☆94Updated 4 years ago
- A CSS specification and reasoning engine☆96Updated 2 years ago
- A formalization of category theory in the Coq proof assistant.☆100Updated 11 months ago
- ☆55Updated 8 years ago
- A compiler for Coq☆26Updated 12 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Epic - a Supercombinator Compiler☆64Updated 10 years ago
- Simple OCaml Development Workflow on CommonJS☆97Updated 6 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- Wiki for compiler hacking sessions☆91Updated 7 years ago