magsilva / jflap
JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
☆33Updated 10 months ago
Related projects: ⓘ
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆50Updated 6 years ago
- A dk.brics FSM to regular-expression-string converter☆10Updated 3 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆208Updated 3 weeks ago
- Semistructured merge tool for java applications.☆23Updated last year
- Turing machine simulator in HTML/Javascript☆82Updated 7 months ago
- A regular expression to SMT-LIB constraint translator☆10Updated 5 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆62Updated 10 months ago
- A tool for analyzing and transforming context-free grammars.☆205Updated 2 weeks ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆90Updated 3 weeks ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated last year
- A website that simulates various finite state machines: DFA, NFA, PDA.☆96Updated last year
- JDeodorant☆138Updated 6 months ago
- KeY Theorem Prover for Deductive Java Verification☆42Updated this week
- Java bytecode generator for sound and precise partial program analysis☆23Updated 3 years ago
- JPL: The Prolog <-> Java interface☆53Updated last week
- Type checking ifdef variability☆76Updated 3 years ago
- A tool to mine refactorings in the commit history of git repositories.☆145Updated 3 years ago
- Inconsistent code detection for Java.☆14Updated 6 years ago
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Translate java jar files into Boogie programs☆12Updated 5 months ago
- Andy assesses student's test code. It's used in CSE1110, TU Delft.☆78Updated last month
- Gamification of Mutation Testing☆41Updated this week
- GramTest: A tool for Grammar based Test case generation☆85Updated 11 months ago
- Constraint Logic Programming over Finite Domains☆168Updated 4 years ago
- Modern Compiler Implementation in Java by Andrew W. Appel has been sitting on my shelf long enough. It's time I work through it, you know…☆57Updated 12 years ago
- Java bindings for LLVM libraries☆8Updated 2 years ago
- A tool to identify breaking and non-breaking changes between two versions of a Java library☆52Updated last year
- Static checker for Java☆83Updated 9 months ago
- Java Cup Parser Generator☆22Updated 2 years ago