Alternatives and similar repositories for SAT.js

Users that are interested in SAT.js are comparing it to the libraries listed below

• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆74Updated 5 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆103Updated 9 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆91Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 7 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 12 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated 2 years ago
• JoshuaGrams / pep
  A Pint-sized Earley Parser
  ☆33Updated last year
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 7 months ago
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆88Updated 3 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆34Updated this week
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 11 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 4 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆67Updated 6 months ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 13 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆101Updated 2 years ago
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆29Updated 10 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆135Updated last week
• padsproj / pads
  Pads format description language
  ☆21Updated 10 years ago