leanprover / lean.jsLinks
Lean ported to Javascript with Emscripten
☆27Updated 8 years ago
Alternatives and similar repositories for lean.js
Users that are interested in lean.js are comparing it to the libraries listed below
Sorting:
- Share your research online by compiling it to JavaScript!☆23Updated 11 years ago
- A step-by-step MicroKanren evaluator☆29Updated 9 years ago
- Semantics for ES5☆82Updated 10 years ago
- Semantics and tools for JavaScript☆92Updated 3 years ago
- The Spire Programming Language☆59Updated 11 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆205Updated 2 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Updated 11 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- (Nominal) Adapton in OCaml☆57Updated 9 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 8 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- An optimal function evaluator written in JavaScript.☆139Updated 8 years ago
- A formalization of category theory in the Coq proof assistant.☆100Updated last year
- A compiler for Coq☆26Updated 12 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 7 years ago
- ☆29Updated 10 years ago
- ☆17Updated 4 months ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Updated 5 years ago
- Epic - a Supercombinator Compiler☆64Updated 10 years ago
- Real number computation software☆129Updated 3 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- A CSS specification and reasoning engine☆100Updated 2 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 7 years ago
- A formalization of M-types in Agda☆36Updated 5 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Luck -- A Language for Property-Based Generators☆36Updated 11 months ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 12 years ago
- Archived materials related to Homotopy Type Theory.☆12Updated 13 years ago
- Superposition prover☆17Updated 2 years ago