awmorp / turing

Related projects ⓘ

Alternatives and complementary repositories for turing

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆79Updated 3 months ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 9 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 3 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆175Updated 3 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆246Updated 3 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆76Updated 5 years ago
• ccz181078 / Coq-BB5
  ☆156Updated this week
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆219Updated 2 weeks ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆25Updated last year
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆514Updated 2 weeks ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 2 months ago
• matslina / bfoptimization
  "Research" on how to best optimize brainfuck code.
  ☆72Updated 2 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆254Updated this week
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆115Updated this week
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆163Updated this week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆429Updated this week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 5 years ago
• davidar / subleq
  CPU design and toolchain for a simple computer architecture
  ☆112Updated 9 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 last week
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆186Updated 5 months ago
• graue / esofiles
  The Esoteric File Archive
  ☆97Updated 5 months ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆95Updated 2 weeks ago
• boothby / repiet
  A compiler for the esoteric language Piet, targeting multiple backends.
  ☆92Updated 4 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆72Updated last month
• nomeata / incredible
  The Incredible Proof Machine
  ☆359Updated 10 months ago
• BNFC / bnfc
  BNF Converter
  ☆587Updated this week
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆199Updated this week