Alternatives and similar repositories for theorem-prover:

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

• susisu / effects
  Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful
  ☆22Updated 2 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆113Updated last month
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated 2 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆119Updated 10 months 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
• frank-lang / frank
  Frank compiler
  ☆288Updated 11 months ago
• mistlog / react-peg
  A react style parser generator based on PEG.js
  ☆23Updated 2 years ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆305Updated last week
• norskeld / sigma
  TypeScript parser combinator library for building fast and convenient parsers.
  ☆28Updated 8 months ago
• mrieppel / fitchjs
  Fitch style proof constructor
  ☆27Updated 2 years ago
• nadia-polikarpova / synquid
  ☆124Updated 2 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆78Updated last year
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 4 months ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 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
• manuel-serrano / hop
  Multitier JavaScript
  ☆148Updated last week
• mjgrzymek / PeanoScript
  TypeScript-like theorem prover
  ☆32Updated last week
• susisu / loquat
  Monadic parser combinators for JavaScript / TypeScript
  ☆50Updated 4 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated 9 months ago
• Quramy / pico-ml
  A toy programming language which is a subset of OCaml.
  ☆51Updated last week
• uemurax / hott-ja
  HoTT in Japanese
  ☆34Updated last year
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Updated 6 years ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆51Updated 2 months ago