Alternatives and similar repositories for theorem-prover

Users that are interested in theorem-prover are comparing it to the libraries listed below

• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆116Updated 11 months ago
• HigherOrderCO-archive / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆126Updated this week
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated 2 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated last year
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆40Updated last year
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆107Updated 2 years ago
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆108Updated 3 years ago
• susisu / effects
  Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful
  ☆23Updated 3 years ago
• Soonad / FormalityFM
  Formality in itself
  ☆20Updated 5 years ago
• mrieppel / fitchjs
  Fitch style proof constructor
  ☆28Updated 2 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆79Updated last year
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆116Updated 8 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• n4o847 / compile-time-typescript
  TypeScript type-level execution tool
  ☆11Updated 2 years ago
• manuel-serrano / hop
  Multitier JavaScript
  ☆163Updated 3 weeks ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated 5 months ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆103Updated 9 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆212Updated 7 years ago
• nadia-polikarpova / synquid
  ☆143Updated 3 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆69Updated 7 years ago
• frank-lang / frank
  Frank compiler
  ☆304Updated last year
• desi-ivanov / ts-lambda-calc
  Type-Level Lambda Calculus interpreter with TypeScript
  ☆17Updated 3 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• susisu / loquat
  Monadic parser combinators for JavaScript / TypeScript
  ☆51Updated 5 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 6 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆114Updated this week
• VictorTaelin / ultimate-calculus
  ☆36Updated 4 years ago
• Quramy / pico-ml
  A toy programming language which is a subset of OCaml.
  ☆52Updated last week