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
- Use node.js to share digital audio with iTunes☆25Nov 6, 2010Updated 15 years ago
- Backend MySQL pour Statsd☆21Dec 3, 2020Updated 5 years ago
- JS Implementation for visualizing Formal Languages and Automata Theory☆18May 5, 2024Updated last year
- Small project built with Django that retrieves data from the REST Countries API and the Wikipedia API.☆22Feb 13, 2026Updated last month
- Reduced on-disk Suffix Array☆22Oct 9, 2013Updated 12 years ago
- A persistent queue implemented in Go.☆29Dec 31, 2021Updated 4 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Aug 12, 2015Updated 10 years ago
- Java compiler package for Sublime 2 Text and Sublime 3 Text.☆31Apr 21, 2015Updated 10 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 6 years ago
- ☆11Jun 8, 2017Updated 8 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
- Python framework for extracting secret data from compression oracles such as those exploited by the BEAST and CRIME attacks.☆12Apr 22, 2015Updated 10 years ago
- A light library that simplify the implementation of a chain of responsibility☆24Mar 1, 2017Updated 9 years ago
- Simple NN exercises done to learn (and teach!) IA☆17Aug 10, 2021Updated 4 years ago
- Generate QR codes in UNIX way☆12Aug 5, 2019Updated 6 years ago
- Various utilities and info for King's Raid☆16Mar 30, 2021Updated 4 years ago
- Verified vector clocks, with Coq!☆14Dec 15, 2013Updated 12 years ago
- Easy handling of memory-mapped files☆22Mar 28, 2014Updated 11 years ago
- OpenCV for Processing. A creative coding computer vision library based on the official OpenCV Java API☆12Apr 13, 2014Updated 11 years ago
- Extending the Set class in order to support mathematical set properties and operations.☆13Jul 20, 2023Updated 2 years ago
- Creative mode WebGL voxel game. Runs in Chrome, with multiplayer functionality and very few dependencies☆28Feb 21, 2026Updated last month
- Sancho McCann's PhD Thesis Research Code☆25Oct 12, 2017Updated 8 years ago
- Simple cross-platform FPS/RTS game engine.☆10Oct 17, 2025Updated 5 months ago
- A lite stupid and simple script language.☆32Oct 23, 2014Updated 11 years ago
- SUccinct Retrieval Framework☆21Jan 24, 2016Updated 10 years ago
- Sapphire source code☆11Nov 17, 2017Updated 8 years ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Mar 8, 2016Updated 10 years ago
- A three.js app to visualize vector fields.☆17Jan 20, 2018Updated 8 years ago
- [NOT MAINTAINED] A D3js library for drawing polytopes, angles, coordinates, geometries and more.☆19Mar 3, 2017Updated 9 years ago
- p5 implementation of Tyler Hobbs generative watercolor simulation☆15Jul 28, 2023Updated 2 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆60Oct 2, 2014Updated 11 years ago
- Let people manipulate shapes on the canvas in real time using their p5 sketches☆13Nov 18, 2017Updated 8 years ago
- Perfect Hash Functions☆18Feb 27, 2015Updated 11 years ago
- Querypoint Debugging Prototype☆43Feb 8, 2019Updated 7 years ago
- Interactive parameter space explorer for P5.js☆12Jul 19, 2017Updated 8 years ago
- MATLAB GUI that computes the required epicycles to match a custom drawing by using DFTs☆10Oct 5, 2020Updated 5 years ago