Alternatives and similar repositories for turing:

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

• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆53Updated 7 months ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• eprover / eprover
  ☆137Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆59Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆374Updated last month
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆202Updated 2 weeks ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆168Updated 8 months ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆50Updated last year
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆48Updated last month
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆118Updated last month
• ccz181078 / Coq-BB5
  ☆190Updated last week
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆255Updated 3 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 5 years ago
• lawrancej / logisim
  Git fork of Logisim code base
  ☆218Updated 8 years ago
• histocrat / hello_world
  ☆40Updated 9 years ago
• wo / tpg
  Tree Proof Generator
  ☆165Updated last month
• ltworf / relational
  Educational tool for relational algebra
  ☆91Updated 11 months ago
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆197Updated this week
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆515Updated last month
• theoremprover-museum / theoremprover-museum.github.io
  ☆52Updated 4 months ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆171Updated 3 weeks ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 8 months ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆141Updated 2 months ago
• LeifAndersen / PLGradSchools
  ☆229Updated 8 months ago