Alternatives and similar repositories for turing

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last month
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆102Updated 5 months ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆156Updated last year
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆81Updated 3 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 3 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated last month
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆263Updated 4 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆43Updated last year
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆196Updated last month
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆62Updated 7 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆68Updated last month
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆320Updated last year
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆40Updated this week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆458Updated last week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆31Updated 2 weeks ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• DJMcMayhem / Brain-Flak
  A minimalist esolang
  ☆85Updated 7 years ago
• dloscutoff / pip
  Pip: an imperative code-golf language
  ☆35Updated last year
• histocrat / hello_world
  ☆40Updated 9 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 3 months ago
• mdnahas / Peano_Book
  English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
  ☆33Updated 3 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• hostilefork / whitespacers
  Interpreter Collection for the Whitespace Language
  ☆102Updated 3 years ago