Alternatives and similar repositories for turing

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

• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 8 months ago
• Timwi / EsotericIDE
  IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…
  ☆170Updated 11 months ago
• histocrat / hello_world
  ☆40Updated 9 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆181Updated 5 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 9 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆30Updated last year
• lawrancej / logisim
  Git fork of Logisim code base
  ☆220Updated 8 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated last week
• matslina / bfoptimization
  "Research" on how to best optimize brainfuck code.
  ☆72Updated 2 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated last year
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆248Updated last month
• m-ender / retina
  A regex-based programming language.
  ☆232Updated 2 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• clarkzjw / one-two-three...infinity
  Calculating the sum from one to a billion in different programming languages, inspired by https://github.com/leachim6/hello-world
  ☆28Updated 9 months ago
• catseye / Befunge-93
  MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!
  ☆99Updated 6 years ago
• DJMcMayhem / Brain-Flak
  A minimalist esolang
  ☆85Updated 7 years ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆88Updated last week
• padarom / esoterpret
  Extensible esoteric programming language interpreter written in Python 3. *Not in active development/contributors needed*
  ☆19Updated 5 years ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆59Updated 7 years ago
• wo / tpg
  Tree Proof Generator
  ☆166Updated 2 months ago
• Mego / Seriously
  A golfing language that is probably terrible
  ☆83Updated 11 months ago
• dloscutoff / pip
  Pip: an imperative code-golf language
  ☆34Updated last year
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆197Updated last week
• nadder / rstex
  Manual translation of tex.web version 3.141592653 into C++ (and other related programs)
  ☆21Updated last month
• lmendo / MATL
  A programming language based on MATLAB and suitable for code golfing
  ☆115Updated last year