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
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated 2 weeks ago
- A dk.brics FSM to regular-expression-string converter☆10Updated 4 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆216Updated 10 months ago
- Type checking ifdef variability☆78Updated 3 years ago
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- Translate java jar files into Boogie programs☆12Updated last year
- ANTLR 4 IDE for Eclipse☆39Updated 6 years ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆530Updated last month
- A regular expression to SMT-LIB constraint translator☆11Updated 6 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- Learn Prolog Now LaTeX sources☆87Updated 2 years ago
- JDeodorant☆144Updated 5 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 9 months ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- SMTInterpol interpolating SMT solver☆66Updated this week
- The Next Generation Logic Library☆145Updated 7 months ago
- Java Concolic Unit Testing Engine☆89Updated 10 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- TurnKey artifact for Z3☆38Updated 2 weeks ago
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆210Updated 3 months ago
- JavaScript Algorithm Visualization library☆116Updated 4 years ago
- PL/SE conference deadline countdowns☆19Updated 4 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…☆155Updated this week
- A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone e…☆16Updated 15 years ago
- MOJI is an unofficial Java client for Moss☆183Updated 2 years ago