Alternatives and similar repositories for lean.js

Users that are interested in lean.js are comparing it to the libraries listed below

• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 11 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 9 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 10 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 11 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆57Updated 9 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆139Updated 8 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 11 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 13 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 13 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆20Updated 5 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 13 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆100Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆64Updated 10 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆36Updated 11 months ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• kai-qu / linear-logic
  An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
  ☆22Updated 4 years ago
• lkuper / lvar-semantics
  PLT Redex models of LVar calculi
  ☆10Updated 10 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆205Updated 2 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 5 years ago