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 last month
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆280Updated 4 years ago
- Fractran interpreter in Fractran☆35Updated 11 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆172Updated last year
- The Esoteric File Archive☆106Updated last year
- Repository for the QED interactive text and possible extensions☆110Updated 11 months ago
- A LaTeX Typesetting Game☆261Updated 9 months ago
- A terse declarative logic programming language☆118Updated 5 years ago
- A tool for analyzing and transforming context-free grammars.☆230Updated last month
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- A two-dimensional programming language.☆55Updated 9 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆69Updated 4 months ago
- A minimalist esolang☆85Updated 7 years ago
- The formal proof of the Kepler conjecture☆169Updated last year
- MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!☆105Updated 7 years ago
- A programming language based on MATLAB and suitable for code golfing☆116Updated last month
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Constraint Logic Programming over Finite Domains☆187Updated 5 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆113Updated this week
- A formalization of geometry in Coq based on Tarski's axiom system☆200Updated last month
- Program for generating and solving numberlink / flow free puzzles☆96Updated 4 years ago
- Metamath program - source code for the Metamath executable☆90Updated 3 weeks ago
- PreTeXt: an authoring and publishing system for scholarly documents☆304Updated this week
- Java implementations of sequences in the OEIS☆68Updated last week
- ☆346Updated 7 years ago
- ☆126Updated 2 years ago
- The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife☆427Updated 5 years ago
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- Scriptable pattern editor and viewer for many families of cellular automata☆31Updated 3 weeks ago