awmorp / turingLinks
Turing machine simulator in HTML/Javascript
☆84Updated last year
Alternatives and similar repositories for turing
Users that are interested in turing are comparing it to the libraries listed below
Sorting:
- metamath proof enumerators and other things☆94Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated this week
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆267Updated 4 years ago
- A tool for analyzing and transforming context-free grammars.☆224Updated 3 months ago
- Repository for the QED interactive text and possible extensions☆104Updated 7 months ago
- The formal proof of the Kepler conjecture☆162Updated last year
- Metamath program - source code for the Metamath executable☆84Updated last month
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated last year
- A formalization of geometry in Coq based on Tarski's axiom system☆199Updated 3 months ago
- A LaTeX Typesetting Game☆255Updated 4 months ago
- Fractran interpreter in Fractran☆34Updated 10 years ago
- Metamath source file for logic and set theory☆290Updated this week
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆92Updated this week
- CNF generator in DIMACS format. It produces common families of CNFs.☆68Updated 2 weeks ago
- A terse declarative logic programming language☆118Updated 5 years ago
- ☆343Updated 7 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Generate random nonsense math papers☆605Updated 5 years ago
- Tree Proof Generator☆169Updated 6 months ago
- A computer algebra system for research in combinatorial game theory☆46Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- Java implementations of sequences in the OEIS☆65Updated this week
- MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!☆102Updated 6 years ago
- Public repository for Abstact Algebra Theory and Applications☆174Updated 3 weeks ago
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆171Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆296Updated this week
- Tim Button's open textbook on set theory☆39Updated 2 months ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Mathematical proofs of the bbchallenge project.☆24Updated 4 months ago