Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDAs), and context-free grammars (CFGs). Grail+ is built on top of the Formal Language Template Library (FLTL), a library for representing and symbolically manipulating CFGs, NFAs, and PDAs.
☆10Oct 22, 2016Updated 9 years ago
Alternatives and similar repositories for Grail-Plus
Users that are interested in Grail-Plus are comparing it to the libraries listed below
Sorting:
- JS Implementation for visualizing Formal Languages and Automata Theory☆18May 5, 2024Updated last year
- PMD Plugin for the Eclipse IDE☆13Feb 14, 2026Updated 2 weeks ago
- ☆11Jun 8, 2017Updated 8 years ago
- Cross platform graphical user interface for games and other programs that wants a custom look-n-feel. Implemented in C++ and released und…☆13Updated this week
- ☆13May 25, 2024Updated last year
- An eclipse plugin for TDD automated recognition based on Zorro☆14Jan 18, 2018Updated 8 years ago
- Sapphire source code☆11Nov 17, 2017Updated 8 years ago
- A plugin for using Randoop in Maven☆10Oct 29, 2021Updated 4 years ago
- ☆10Aug 25, 2020Updated 5 years ago
- Simple cross-platform FPS/RTS game engine.☆10Oct 17, 2025Updated 4 months ago
- toolsuite for analyzing cpp-preprocessor-based software product lines☆12Jul 19, 2023Updated 2 years ago
- Museum-quality bit-archive storage management☆11May 8, 2024Updated last year
- Kanboard PlugIn to display subtasks of a task on the task cards on a board☆11Mar 29, 2023Updated 2 years ago
- Overleaf symbol-recognition extension☆12Dec 27, 2021Updated 4 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Aug 12, 2015Updated 10 years ago
- MATLAB GUI that computes the required epicycles to match a custom drawing by using DFTs☆10Oct 5, 2020Updated 5 years ago
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 7 years ago
- Package implements a number local outlier factor algorithms for outlier detection and finding anomalous data☆12Jun 7, 2017Updated 8 years ago
- ☆11Mar 25, 2021Updated 4 years ago
- Project to make writing plugins across major versions of flake8 easier☆11Aug 11, 2025Updated 6 months ago
- ARSnova is a novel web-based Audience Response System developed at THM.☆17Jan 29, 2021Updated 5 years ago
- A php class to refine data into a set format to add a layer of abstraction between your backed data store and the front end code.☆12Mar 19, 2020Updated 5 years ago
- Maven plugin to create HTML report to show dependecies in DSM view.☆14Sep 26, 2023Updated 2 years ago
- Convert tag files (ctags, gccxml, etc) to databases (sqlite, mysql, etc)☆13Mar 30, 2015Updated 10 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Sancho McCann's PhD Thesis Research Code☆25Oct 12, 2017Updated 8 years ago
- ☆11Aug 1, 2021Updated 4 years ago
- A lite stupid and simple script language.☆32Oct 23, 2014Updated 11 years ago
- Go udp server and client utilities / examples☆13Feb 1, 2024Updated 2 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- OpenCV for Processing. A creative coding computer vision library based on the official OpenCV Java API☆12Apr 13, 2014Updated 11 years ago
- CodeBuddy: A programming assignment management system for short-form exercises☆18Feb 11, 2026Updated 2 weeks ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Mar 8, 2016Updated 9 years ago
- SUccinct Retrieval Framework☆21Jan 24, 2016Updated 10 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 6 years ago
- Elliptic Curve Cryptography☆13Mar 23, 2010Updated 15 years ago
- Scala+lift frontend for automatatutor.com☆10May 13, 2019Updated 6 years ago
- A scripting language for extending C programs; recognizably Forth-like, but definitely not Forth.☆20May 7, 2020Updated 5 years ago
- A benchmark framework for Tensorflow 2.X☆12Apr 20, 2024Updated last year