awmorp / turingLinks
Turing machine simulator in HTML/Javascript
☆88Updated 2 years ago
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.☆230Updated this week
- metamath proof enumerators and other things☆92Updated 2 months ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆221Updated last year
- A terse declarative logic programming language☆118Updated 5 years ago
- Constraint Logic Programming over Finite Domains☆188Updated 6 years ago
- A programming language based on MATLAB and suitable for code golfing☆116Updated 2 months ago
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- Repository for the QED interactive text and possible extensions☆117Updated last year
- A repository for the Quest For Tetris☆185Updated 4 years ago
- Metamath program - source code for the Metamath executable☆91Updated last month
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Updated 5 months ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆280Updated 4 years ago
- A latex package to draw cute rubber ducks with TikZ☆193Updated last week
- The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife☆428Updated 5 years ago
- A LaTeX Typesetting Game☆262Updated 9 months ago
- Miscellaneous esoteric programming languages.☆39Updated 5 months ago
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆172Updated last year
- Metamath source file for logic and set theory☆302Updated last week
- A minimalist esolang☆85Updated 7 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆202Updated 2 months ago
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆309Updated last week
- The formal proof of the Kepler conjecture☆172Updated last year
- Fractran interpreter in Fractran☆35Updated 11 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆196Updated last week
- Generate random nonsense math papers☆617Updated 5 years ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated last week
- Tree Proof Generator☆177Updated 2 weeks ago
- Interpreter Collection for the Whitespace Language☆102Updated 4 years ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago