Alternatives and similar repositories for turing:

Users that are interested in turing are comparing it to the libraries listed below

• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆180Updated 3 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 6 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆443Updated last week
• adamyedidia / parsimony
  ☆337Updated 6 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…
  ☆72Updated 4 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆79Updated 5 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆41Updated 6 months ago
• coq / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆192Updated this week
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 5 years ago
• electrodude / fungewars
  Corewars in Funge
  ☆12Updated 9 years ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆64Updated 2 weeks ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆17Updated 2 months ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆234Updated 3 years ago
• coq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆115Updated 6 months ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆63Updated 8 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated last week
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆190Updated 8 months ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆520Updated 3 months ago
• alpertron / calculators
  Source code of calculators hosted at https://www.alpertron.com.ar
  ☆234Updated last week
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆39Updated 3 years ago
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆187Updated last week
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• coq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆163Updated 2 months ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆173Updated 5 years ago
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 2 years ago
• marijnheule / microsat
  microsat
  ☆132Updated 2 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆98Updated last week
• graue / esofiles
  The Esoteric File Archive
  ☆97Updated 8 months ago