magsilva / jflapLinks
JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
☆34Updated 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
- A compiler to the Portuguese Algorithmic Language☆22Updated 8 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆106Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 months ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- Multi platform setup for Coq, Coq libraries and tools☆203Updated last week
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆380Updated this week
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆264Updated 4 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆216Updated 9 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard☆35Updated 2 months ago
- 🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.☆40Updated 9 months ago
- A formalization of geometry in Coq based on Tarski's axiom system☆196Updated 3 weeks ago
- A tool for analyzing and transforming context-free grammars.☆221Updated last month
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- Swing, divide and conquer the factorial!☆80Updated 2 years ago
- A dk.brics FSM to regular-expression-string converter☆10Updated 4 years ago
- Example of Antlr4 C++ Target☆40Updated 5 years ago
- Work with context-free grammars. Parsing, string generation, and manipulation.☆45Updated 3 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆154Updated this week
- A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.☆120Updated 2 months ago
- A lambda calculus interpeter☆65Updated 5 months ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- The sources of the first theorem prover.☆60Updated 7 years ago
- ☆142Updated this week
- Generates loop invariants for program verification☆62Updated 4 years ago
- ☆10Updated 8 years ago
- Python bindings for the Coq interactive proof assistant☆55Updated 3 years ago