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 10 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
- JS Implementation for visualizing Formal Languages and Automata Theory☆18May 5, 2024Updated 2 years ago
- A Tool for the creation of p5.js sketches☆11Aug 31, 2014Updated 12 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Feature Detection based on Haar Cascades in PHP (Viola-Jones-Lienhart et al Algorithm)☆15Jun 18, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- My settings for vim☆10Apr 6, 2026Updated 6 months ago
- My various NixOS configs☆10Oct 22, 2024Updated 2 years ago
- Interactive parameter space explorer for P5.js☆12Jul 19, 2017Updated 9 years ago
- Simple NN exercises done to learn (and teach!) IA☆17Aug 10, 2021Updated 5 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 7 years ago
- ☆11Jun 8, 2017Updated 9 years ago
- a search engine for humans☆19Nov 6, 2022Updated 3 years ago
- Various utilities and info for King's Raid☆16Mar 30, 2021Updated 5 years ago
- MATLAB GUI that computes the required epicycles to match a custom drawing by using DFTs☆12Oct 5, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆11Aug 21, 2019Updated 7 years ago
- Simple cross-platform FPS/RTS game engine.☆10Oct 17, 2025Updated last year
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Python framework for extracting secret data from compression oracles such as those exploited by the BEAST and CRIME attacks.☆10Apr 22, 2015Updated 11 years ago
- A fast, light-weight proxy for memcached☆21Sep 4, 2015Updated 11 years ago
- Extending the Set class in order to support mathematical set properties and operations.☆13Jul 20, 2023Updated 3 years ago
- Chromium extension to inspect W3C Web Cryptography API calls and keys.☆13Aug 29, 2014Updated 12 years ago
- Let people manipulate shapes on the canvas in real time using their p5 sketches☆13Nov 18, 2017Updated 8 years ago
- Convert tag files (ctags, gccxml, etc) to databases (sqlite, mysql, etc)☆13Mar 30, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Rx implementation in Haskell☆18Jun 20, 2011Updated 15 years ago
- JSON Web Token (JWT) decoding and encoding☆23Sep 26, 2026Updated last month
- ssh key exchange layer for scapy☆13Oct 27, 2014Updated 12 years ago
- OpenCV for Processing. A creative coding computer vision library based on the official OpenCV Java API☆12Apr 13, 2014Updated 12 years ago
- Publish to NPM with TypeScript, CircleCI and GitHub Releases.☆14Aug 20, 2022Updated 4 years ago
- [NOT MAINTAINED] A D3js library for drawing polytopes, angles, coordinates, geometries and more.☆19Mar 3, 2017Updated 9 years ago
- Virtual Scroll Web Component with DIFFERENT element height☆17Jun 28, 2018Updated 8 years ago
- A simple test of fuzzing Java with AFL and GCJ☆16Jan 31, 2018Updated 8 years ago
- A light library that simplify the implementation of a chain of responsibility☆24Mar 1, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- A frontend browser logging and exception capturing library for LogDNA☆23Jun 16, 2026Updated 4 months ago
- ☆11Updated this week
- ☆14Jun 15, 2026Updated 4 months 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
- An array is a collection of values, stored contiguously.☆17Oct 3, 2026Updated 3 weeks ago