Alternatives and similar repositories for theorem-prover

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

• HigherOrderCO-archive / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• susisu / effects
  Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful
  ☆23Updated 3 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
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆107Updated 2 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆126Updated last week
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated 5 months ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆116Updated 8 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆40Updated 7 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated 2 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• Soonad / FormalityFM
  Formality in itself
  ☆20Updated 5 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated last year
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆40Updated last year
• T-Brick / lean2wasm
  Tool for compiling Lean to WASM
  ☆24Updated last year
• uemurax / hott-ja
  HoTT in Japanese
  ☆36Updated 2 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆81Updated last week
• frank-lang / frank
  Frank compiler
  ☆304Updated last year
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆116Updated 11 months ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆537Updated 3 weeks ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆69Updated 7 years ago
• mrieppel / fitchjs
  Fitch style proof constructor
  ☆28Updated 2 years ago
• Quramy / pico-ml
  A toy programming language which is a subset of OCaml.
  ☆52Updated this week
• smlsharp / smlsharp
  SML# compiler
  ☆246Updated 2 months ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆20Updated 5 years ago
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆625Updated 3 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆114Updated last week
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆103Updated 8 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago