awmorp / turing

Related projects ⓘ

Alternatives and complementary repositories for turing

• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆169Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆206Updated this week
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 9 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• m-ender / retina
  A regex-based programming language.
  ☆231Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 5 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆220Updated this week
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆268Updated this week
• ETHproductions / golfing-langs
  A (mostly) complete list of languages designed for code-golfing
  ☆31Updated 4 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆175Updated 3 years ago
• graue / esofiles
  The Esoteric File Archive
  ☆97Updated 5 months ago
• DJMcMayhem / Brain-Flak
  A minimalist esolang
  ☆86Updated 6 years ago
• chatziko / lci
  A lambda calculus interpeter
  ☆64Updated 3 years ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆87Updated 3 weeks ago
• vihanb / PPCG-SandboxViewer
  A sandbox viewer for the PPCG sandbox
  ☆13Updated 2 years ago
• Timwi / EsotericIDE
  IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…
  ☆166Updated 5 months ago
• histocrat / hello_world
  ☆40Updated 9 years ago
• eprover / eprover
  ☆132Updated 2 weeks ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆33Updated 2 weeks ago
• Mego / Seriously
  A golfing language that is probably terrible
  ☆83Updated 5 months ago
• m-ender / labyrinth
  A two-dimensional programming language.
  ☆54Updated 8 years ago
• lmendo / MATL
  A programming language based on MATLAB and suitable for code golfing
  ☆113Updated 11 months ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 2 months ago
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆37Updated 8 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆234Updated 2 years ago
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆56Updated 8 months ago
• DennisMitchell / dodos
  Dodos Only Divide Or Surrender
  ☆14Updated 6 years ago
• Timwi / HexagonyColorer
  This tool lets you color Hexagony programs (http://esolangs.org/wiki/Hexagony) in such a way that the execution paths are visible.
  ☆47Updated 8 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆245Updated 3 years ago