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:
- metamath proof enumerators and other things☆92Updated 2 months ago
- Constraint Logic Programming over Finite Domains☆188Updated 6 years ago
- Metamath program - source code for the Metamath executable☆91Updated 2 months ago
- A terse declarative logic programming language☆118Updated 5 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Updated 5 months ago
- A tool for analyzing and transforming context-free grammars.☆231Updated 2 weeks ago
- Repository for the QED interactive text and possible extensions☆117Updated last year
- The sources of the first theorem prover.☆67Updated 8 years ago
- Fractran interpreter in Fractran☆36Updated 11 years ago
- The Incredible Proof Machine☆386Updated 2 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated this week
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated 2 years ago
- Metamath source file for logic and set theory☆302Updated this week
- The formal proof of the Kepler conjecture☆172Updated last year
- A repository for the Quest For Tetris☆185Updated 4 years ago
- Java implementations of sequences in the OEIS☆69Updated last week
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆172Updated last year
- A minimalist esolang☆85Updated 7 years ago
- SWI-Prolog stable releases☆235Updated 2 months ago
- MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata☆23Updated 2 years ago
- Learn Prolog Now LaTeX sources☆101Updated 3 years ago
- ☆347Updated 7 years ago
- Mathematical proofs of the bbchallenge project.☆24Updated 5 months ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆70Updated 5 months ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆281Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!☆105Updated 7 years ago
- Tree Proof Generator☆177Updated 3 weeks ago