Alternatives and similar repositories for theorem-prover

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

• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• susisu / effects
  Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful
  ☆23Updated 2 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆113Updated 8 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆121Updated last year
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated 11 months ago
• frank-lang / frank
  Frank compiler
  ☆293Updated last year
• Soonad / FormalityFM
  Formality in itself
  ☆20Updated 4 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• nadia-polikarpova / synquid
  ☆128Updated 3 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆145Updated 5 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆69Updated 6 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆34Updated last year
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• VictorTaelin / Formality
  ☆40Updated 4 years ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• susisu / loquat
  Monadic parser combinators for JavaScript / TypeScript
  ☆50Updated 4 years ago
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆104Updated 2 years ago
• kkty / prolog
  Implementation of Prolog in TypeScript
  ☆34Updated 2 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆33Updated last week
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 5 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 6 months ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆70Updated this week
• strax / tshkt
  Encoding higher-kinded types in TypeScript
  ☆40Updated 5 years ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆189Updated 2 weeks ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆105Updated last week
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆132Updated 6 months ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 3 months ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 10 months ago