pgoodman / Grail-Plus
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.
☆10Updated 8 years ago
Alternatives and similar repositories for Grail-Plus:
Users that are interested in Grail-Plus are comparing it to the libraries listed below
- Many functions in C for sorting the nibbles in an 8-byte word☆33Updated 10 years ago
- A simple CAS written in C.☆10Updated 10 years ago
- Implementation of Alexander A. Stepanov inverted Index Compression algorithms☆21Updated 9 years ago
- Perfect Hash Functions☆18Updated 10 years ago
- A GIT clone of uthash.sourceforge.net, a hash table, implemented in C, supporting constant-time add/find/remove of C structures. Any stru…☆36Updated 11 years ago
- Lock-free multithreaded memory allocation☆106Updated 8 years ago
- Automatically exported from code.google.com/p/libhhash☆32Updated 9 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- C and C++ Code Counter, a software metrics tool. This is a fork of the original CCCC for ALERT project.☆9Updated 9 years ago
- empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs☆9Updated 9 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 10 years ago
- Experimental bed to study Linux faults☆25Updated 2 years ago
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- C version of the MetroHash function☆26Updated 9 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- A fast priority queue/tree/sort struct that supports operations in O(loglog u) time☆18Updated 7 years ago
- Review and verification of Brotli compressed data format specification.☆96Updated 10 months ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Updated 9 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Roaring bitmaps in C☆17Updated 9 years ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆54Updated last year
- a tool for querying Dwarf (debuginfo) graphs☆55Updated 11 months ago
- generate perfect hashes (alpha)☆77Updated 2 years ago
- Benchmark showing the we can randomly hash strings very quickly with good universality☆136Updated 3 months ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆30Updated 5 years ago
- Heap priority queue written in C, licensed under a BSD license☆32Updated 10 years ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago