citiususc / jflap-libLinks
An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
☆55Updated 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:
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated last year
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- A free, open-source Java library for modeling automata, graphs, and transition systems☆97Updated 2 weeks 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…☆159Updated this week
- A tool for analyzing and transforming context-free grammars.☆225Updated 4 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 2 months ago
- TurnKey artifact for Z3☆39Updated last week
- The Next Generation Logic Library☆148Updated last month
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆387Updated 2 months ago
- Turing machine simulator in HTML/Javascript☆84Updated last year
- JavaSMT - Unified Java API for SMT solvers.☆228Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 11 months ago
- A regular expression to SMT-LIB constraint translator☆12Updated 2 months ago
- Java Algebra System (JAS) Project☆46Updated last year
- A free, open-source Java library for automata learning algorithms☆217Updated last month
- A dk.brics FSM to regular-expression-string converter☆10Updated 2 months ago
- A Datalog compiler and library☆19Updated 4 years ago
- Jasmin is an assembler for the Java Virtual Machine ⛺☆199Updated 2 years ago
- Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.☆185Updated 3 months ago
- ☆153Updated 3 weeks ago
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- KeY Theorem Prover for Deductive Java Verification☆62Updated this week
- dk.brics.automaton - finite-state automata and regular expressions for Java☆228Updated last week
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated last month
- The Ultimate program analysis framework.☆228Updated this week
- ☆10Updated 10 years ago
- The Vampire Theorem Prover☆352Updated this week
- A Modern Probabilistic Model Checker☆152Updated last week
- SMTInterpol interpolating SMT solver☆68Updated last month
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated last week