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.☆56Updated 7 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- A website that simulates various finite state machines: DFA, NFA, PDA.☆114Updated 2 years ago
- Turing machine simulator in HTML/Javascript☆85Updated last year
- A tool for analyzing and transforming context-free grammars.☆226Updated 6 months ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆269Updated 4 years ago
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆390Updated last month
- Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others☆261Updated 3 years ago
- JDeodorant☆146Updated 9 months ago
- RelaX - a relational algebra calculator☆309Updated 2 months ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆97Updated 3 weeks ago
- Data-flow testing coverage for Java☆18Updated last year
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Source code of calculators hosted at https://www.alpertron.com.ar☆246Updated last month
- Git fork of Logisim code base☆221Updated 8 years ago
- A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.☆82Updated 4 years ago
- Conway's Game of Life in 9 lines of C☆305Updated 9 years ago
- Javascript/canvas linguistics syntax tree generator.☆251Updated 3 years ago
- Programming Language that compiles to 8 Bit Brainfuck☆93Updated last year
- 🚀 Fast prime counting function library☆340Updated 3 weeks ago
- Generates truth tables for formulas of sentential logic☆62Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆162Updated this week
- Java Concolic Unit Testing Engine☆92Updated 11 years ago
- Translate java jar files into Boogie programs☆12Updated last year
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆211Updated 7 months ago
- A simple drawing tool that can convert diagrams into Asymptote code.☆21Updated 4 years ago
- A simple stack based code golf language☆25Updated 3 years ago
- Jasmin is an assembler for the Java Virtual Machine ⛺☆201Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 3 months ago