awmorp / turingLinks
Turing machine simulator in HTML/Javascript
☆85Updated last year
Alternatives and similar repositories for turing
Users that are interested in turing are comparing it to the libraries listed below
Sorting:
- A tool for analyzing and transforming context-free grammars.☆225Updated 5 months ago
- metamath proof enumerators and other things☆94Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated last month
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆269Updated 4 years ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆171Updated last year
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- Constraint Logic Programming over Finite Domains☆186Updated 5 years ago
- A LaTeX Typesetting Game☆256Updated 6 months ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Public repository for Abstact Algebra Theory and Applications☆174Updated 2 months ago
- A terse declarative logic programming language☆117Updated 5 years ago
- Repository for the QED interactive text and possible extensions☆105Updated 8 months ago
- A formalization of geometry in Coq based on Tarski's axiom system☆199Updated 5 months ago
- Fractran interpreter in Fractran☆35Updated 10 years ago
- Metamath program - source code for the Metamath executable☆86Updated 2 months ago
- The formal proof of the Kepler conjecture☆163Updated last year
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- A regex-based programming language.☆233Updated 2 years ago
- Java implementations of sequences in the OEIS☆66Updated this week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆99Updated last week
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 11 months ago
- A golfing language inspired by everybody's favorite text editor, vim.☆80Updated 6 years ago
- A Powerpoint CPU☆95Updated 4 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆128Updated 2 weeks ago
- Mathematical proofs of the bbchallenge project.☆25Updated last month
- Generate random nonsense math papers☆607Updated 5 years ago
- Metamath source file for logic and set theory☆295Updated this week
- Algorithmic Information Theory, using Binary Lambda Calculus☆170Updated this week