magsilva / jflapLinks
JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
☆35Updated last year
Alternatives and similar repositories for jflap
Users that are interested in jflap are comparing it to the libraries listed below
Sorting:
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆55Updated 7 years ago
- Turing machine simulator in HTML/Javascript☆84Updated last year
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆267Updated 4 years ago
- A tool for analyzing and transforming context-free grammars.☆224Updated 3 months ago
- RelaX - a relational algebra calculator☆307Updated last week
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆385Updated last month
- Tree Proof Generator☆169Updated 6 months ago
- Programming Language that compiles to 8 Bit Brainfuck☆91Updated last year
- Jasmin is an assembler for the Java Virtual Machine ⛺☆196Updated 2 years ago
- SWI-Prolog stable releases☆226Updated 8 months ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆131Updated 2 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆96Updated 3 weeks ago
- Git fork of Logisim code base☆221Updated 8 years ago
- Simple antlr4 calculator.☆55Updated 7 years ago
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- metamath proof enumerators and other things☆94Updated last year
- Java implementations of sequences in the OEIS☆65Updated this week
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others☆259Updated 3 years ago
- Automatically exported from code.google.com/p/magiccube4d☆75Updated last year
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆291Updated 2 years ago
- BNF Converter☆607Updated last week
- Generic symbol table for lexically/statically scoped languages☆53Updated 8 years ago
- The COW Programming Language☆81Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated this week
- Just a small Brainfuck interpreter written in Python☆216Updated 3 years ago
- Mathematical proofs of the bbchallenge project.☆24Updated 4 months ago
- A small demonstration how to use ANTLR 4's visitor feature.☆117Updated 4 years ago