citiususc / jflap-libLinks
An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
☆57Updated 7 years ago
Alternatives and similar repositories for jflap-lib
Users that are interested in jflap-lib are comparing it to the libraries listed below
Sorting:
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated 2 years ago
- TurnKey artifact for Z3☆42Updated last month
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆163Updated last week
- JavaSMT - Unified Java API for SMT solvers.☆229Updated this week
- A free, open-source Java library for automata, graphs, and transition systems☆98Updated last week
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆393Updated 3 weeks ago
- A suite of tools for analyzing compiled Java code.☆48Updated last week
- A tool for analyzing and transforming context-free grammars.☆228Updated 3 weeks ago
- The Vampire Theorem Prover☆368Updated last week
- Turing machine simulator in HTML/Javascript☆87Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated last month
- SMTInterpol interpolating SMT solver☆68Updated last month
- piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard☆36Updated 2 months ago
- A Datalog compiler and library☆19Updated 4 years ago
- Jasmin is an assembler for the Java Virtual Machine ⛺☆202Updated 2 years ago
- The Next Generation Logic Library☆149Updated 4 months ago
- The Ultimate program analysis framework.☆236Updated this week
- A free, open-source Java library for automata learning algorithms☆220Updated last week
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆279Updated 4 years ago
- ☆10Updated 10 years ago
- SAT Solver SATCH☆120Updated 3 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆52Updated 2 years ago
- A Java library to enumerate permutations and combinations suitable for distributed executions☆14Updated last year
- SRI Yices SMT Solver☆437Updated 3 months ago
- An extensible framework for feature-oriented software development☆138Updated last month
- Dynamic detection of likely invariants☆240Updated this week
- ☆158Updated 3 weeks ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆230Updated 3 months ago