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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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 6 years ago
- Small project built with Django that retrieves data from the REST Countries API and the Wikipedia API.☆22Mar 26, 2026Updated 3 months ago
- JS Implementation for visualizing Formal Languages and Automata Theory☆18May 5, 2024Updated 2 years ago
- Feature Detection based on Haar Cascades in PHP (Viola-Jones-Lienhart et al Algorithm)☆15Jun 18, 2026Updated last month
- Various utilities and info for King's Raid☆16Mar 30, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Jun 8, 2017Updated 9 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 7 years ago
- MATLAB GUI that computes the required epicycles to match a custom drawing by using DFTs☆10Oct 5, 2020Updated 5 years ago
- Python framework for extracting secret data from compression oracles such as those exploited by the BEAST and CRIME attacks.☆11Apr 22, 2015Updated 11 years ago
- A fast, light-weight proxy for memcached☆21Sep 4, 2015Updated 10 years ago
- Interactive parameter space explorer for P5.js☆12Jul 19, 2017Updated 9 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Simple NN exercises done to learn (and teach!) IA☆17Aug 10, 2021Updated 4 years ago
- Simple cross-platform FPS/RTS game engine.☆10Oct 17, 2025Updated 9 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- OpenCV for Processing. A creative coding computer vision library based on the official OpenCV Java API☆12Apr 13, 2014Updated 12 years ago
- Extending the Set class in order to support mathematical set properties and operations.☆13Jul 20, 2023Updated 3 years ago
- [NOT MAINTAINED] A D3js library for drawing polytopes, angles, coordinates, geometries and more.☆19Mar 3, 2017Updated 9 years ago
- Project to make writing plugins across major versions of flake8 easier☆11Aug 11, 2025Updated 11 months ago
- Let people manipulate shapes on the canvas in real time using their p5 sketches☆13Nov 18, 2017Updated 8 years ago
- A simple test of fuzzing Java with AFL and GCJ☆16Jan 31, 2018Updated 8 years ago
- ssh key exchange layer for scapy☆13Oct 27, 2014Updated 11 years ago
- Very basic class to drop into a project when you need to use the UPS API to return shipping rates.☆15Nov 1, 2010Updated 15 years ago
- Experimenting with audio visualizations and particle systems in OpenGL☆19Nov 26, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An array is a collection of values, stored contiguously.☆17Apr 8, 2025Updated last year
- A lightweight tree/accordion plugin for HTML lists☆20Sep 6, 2023Updated 2 years ago
- A three.js app to visualize vector fields.☆18Jan 20, 2018Updated 8 years ago
- ☆34Jun 18, 2024Updated 2 years ago
- p5 implementation of Tyler Hobbs generative watercolor simulation☆15Jul 28, 2023Updated 2 years ago
- A light library that simplify the implementation of a chain of responsibility☆24Mar 1, 2017Updated 9 years ago
- Authenticated encryption scheme prover/synthesizer☆16Aug 25, 2022Updated 3 years ago
- Wrap numbers within a certain range☆17Jun 27, 2017Updated 9 years ago
- Lua bindings for the POCO C++ library☆16Jun 5, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- UPS (United Parcel Service) PHP API☆20May 25, 2015Updated 11 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…☆13Jul 15, 2026Updated last week
- Museum-quality bit-archive storage management☆11Mar 25, 2026Updated 3 months ago
- Flask HTTP Middleware with starlette's (FastAPI) BaseHTTPMiddleware style☆13Dec 9, 2024Updated last year
- Automatic Conversion of Road Networks from OpenDRIVE to Lanelets☆33May 2, 2025Updated last year
- ☆16Jun 11, 2015Updated 11 years ago
- Times Tables Visualization☆12Feb 9, 2019Updated 7 years ago