awmorp / turingLinks
Turing machine simulator in HTML/Javascript
☆87Updated 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☆92Updated 3 weeks ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Repository for the QED interactive text and possible extensions☆110Updated 10 months ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆278Updated 4 years ago
- Constraint Logic Programming over Finite Domains☆186Updated 5 years ago
- A LaTeX Typesetting Game☆260Updated 8 months ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Generate random nonsense math papers☆612Updated 5 years ago
- ☆345Updated 7 years ago
- Fractran interpreter in Fractran☆35Updated 10 years ago
- The Esoteric File Archive☆104Updated last year
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆172Updated last year
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- A tool for analyzing and transforming context-free grammars.☆228Updated 2 weeks ago
- Public repository for Abstact Algebra Theory and Applications☆175Updated 4 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆302Updated this week
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆57Updated 3 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆177Updated 2 weeks ago
- A computer in Conway's game of life☆173Updated last year
- MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!☆104Updated 6 years ago
- The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife☆425Updated 5 years ago
- SWI-Prolog stable releases☆232Updated last week
- Learn Prolog Now LaTeX sources☆101Updated 3 years ago
- A terse declarative logic programming language☆117Updated 5 years ago
- Java implementations of sequences in the OEIS☆68Updated this week
- Group theory visualization software in the browser☆265Updated last year
- Metamath program - source code for the Metamath executable☆89Updated last week
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆545Updated last week
- Online, interactive edition of the "Simply Logical" Prolog textbook☆169Updated 11 months ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago