jkff / ire
Incremental regular expression matching
☆53Updated 12 years ago
Alternatives and similar repositories for ire:
Users that are interested in ire are comparing it to the libraries listed below
- MLton with Realtime GC and Threading features☆103Updated last year
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- ☆38Updated 9 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- ☆55Updated 8 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- LVC verified compiler☆57Updated 6 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 12 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 6 months ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Accepted papers for POPL 2015☆66Updated 8 years ago
- The Kleenex programming language☆55Updated 6 months ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- ☆33Updated 8 years ago