awmorp / turingLinks
Turing machine simulator in HTML/Javascript
☆83Updated 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
- A tool for analyzing and transforming context-free grammars.☆224Updated 3 months ago
- Fractran interpreter in Fractran☆34Updated 10 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
- A terse declarative logic programming language☆118Updated 5 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆264Updated 4 years ago
- The formal proof of the Kepler conjecture☆161Updated last year
- A minimalist esolang☆85Updated 7 years ago
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- A regex-based programming language.☆233Updated 2 years ago
- A programming language based on MATLAB and suitable for code golfing☆115Updated last year
- A repository for the Quest For Tetris☆183Updated 4 years ago
- The Esoteric File Archive☆101Updated last year
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!☆102Updated 6 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆91Updated this week
- Public repository for Abstact Algebra Theory and Applications☆172Updated this week
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆198Updated 3 months ago
- Brainfuck Interpreter in Java/Groovy, with a Groovy DSL☆42Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- ☆343Updated 7 years ago
- Repository for the QED interactive text and possible extensions☆104Updated 6 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated 2 weeks ago
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- ☆40Updated 9 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last month
- A lambda calculus interpeter☆65Updated 7 months ago