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
  ☆113Updated 5 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 8 months ago
• susisu / effects
  Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful
  ☆22Updated 2 years ago
• kkty / prolog
  Implementation of Prolog in TypeScript
  ☆34Updated 2 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated last year
• Soonad / FormalityFM
  Formality in itself
  ☆20Updated 4 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆118Updated 8 months ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆107Updated 7 years ago
• mrieppel / fitchjs
  Fitch style proof constructor
  ☆27Updated 2 years ago
• zachgk / catln
  A high-level programming language
  ☆38Updated 3 weeks ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆47Updated last month
• qteatime / crochet
  Crochet: A tool for creating and remixing interactive experiences, safely.
  ☆124Updated last year
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆102Updated 2 years ago
• nadia-polikarpova / synquid
  ☆122Updated 2 years ago
• frank-lang / frank
  Frank compiler
  ☆284Updated 9 months ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• manuel-serrano / hop
  Multitier JavaScript
  ☆145Updated 3 weeks ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated last year
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 3 months ago
• fightingcat / sits
  Script in typescript~
  ☆94Updated last year
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆256Updated 5 months ago
• rubensworks / rdf-data-factory.js
  A TypeScript/JavaScript implementation of the RDF/JS data factory.
  ☆11Updated last month
• n4o847 / compile-time-typescript
  TypeScript type-level execution tool
  ☆11Updated last year