Alternatives and similar repositories for turing

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

• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆225Updated 4 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆35Updated 10 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• graue / esofiles
  The Esoteric File Archive
  ☆102Updated last year
• DJMcMayhem / Brain-Flak
  A minimalist esolang
  ☆85Updated 7 years ago
• lmendo / MATL
  A programming language based on MATLAB and suitable for code golfing
  ☆115Updated last year
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆269Updated 4 years ago
• Timwi / EsotericIDE
  IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…
  ☆171Updated last year
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 3 weeks ago
• m-ender / retina
  A regex-based programming language.
  ☆233Updated 2 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 5 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆85Updated last month
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• catseye / Befunge-93
  MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!
  ☆102Updated 6 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆169Updated last week
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆292Updated last week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆473Updated 2 months ago
• DJMcMayhem / V
  A golfing language inspired by everybody's favorite text editor, vim.
  ☆80Updated 6 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• efoxepstein / stupid-machines
  Experimentations with Abstract Machines
  ☆314Updated 2 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆186Updated 5 years ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆69Updated this week
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated last month
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 6 years ago