djspiewak / derivative-combinators
An implementation of derivative parsing in the parser combinator framework
☆59Updated 14 years ago
Alternatives and similar repositories for derivative-combinators:
Users that are interested in derivative-combinators are comparing it to the libraries listed below
- Artifact accompanying our OOPSLA'15 publication.☆32Updated last year
- purple: compiling a reflective language☆32Updated 3 months ago
- Generalized, incremental parser combinators for scalaz-stream☆63Updated 10 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Updated 5 years ago
- Fast Parser Combinators☆27Updated 9 years ago
- A library for composable fine-grained concurrency.☆53Updated 12 years ago
- prototyping logic programming in Scala☆41Updated 2 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆101Updated 9 months ago
- Scala implementation of ILC, with benchmarks☆25Updated 8 years ago
- Editor for language composition☆58Updated 2 years ago
- SPREAD☆19Updated 3 years ago
- ☆57Updated 7 years ago
- DEPRECATED☆12Updated 9 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Something ungodly for FUSE☆67Updated 9 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆33Updated last month
- Java Code Generator for Idris☆71Updated 8 years ago
- Constraint programming language embedded in Racket☆152Updated 3 years ago
- generative programming & verification☆32Updated 3 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 7 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Updated 9 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- ☆21Updated 2 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Extending Scala with Oz Concurrency☆81Updated 3 years ago
- Port of the Shen programming language to the Graal runtime☆26Updated 7 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago