bloom-lang / c4
Low-latency Overlog runtime
☆18Updated 9 years ago
Alternatives and similar repositories for c4:
Users that are interested in c4 are comparing it to the libraries listed below
- A lightweight Datalog engine in Rust☆57Updated 6 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 12 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- Functional data structures for Pony☆44Updated 7 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- The propagator system