bloom-lang / c4Links
Low-latency Overlog runtime
☆18Updated 10 years ago
Alternatives and similar repositories for c4
Users that are interested in c4 are comparing it to the libraries listed below
Sorting:
- A lightweight Datalog engine in Rust☆57Updated this week
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- A transducer library for Rust☆10Updated 9 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Fast time calls from user space.☆11Updated 9 years ago
- Task-parallelism library for Common Lisp☆17Updated 13 years ago
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Updated 9 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- IP stack written in Dylan - includes binary parsing and interactive GUI☆25Updated 11 years ago
- ☆38Updated 9 years ago
- The propagator system☆41Updated 9 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Updated 8 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- ☆27Updated 6 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- Crit-bit tree (trie) library☆32Updated 10 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Minimalist-lisp interpreter implementation for UNIX-like systems.☆11Updated 10 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- RaptorJIT: a dynamic system programming language (manuscript)☆15Updated 6 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Slides for Pony lectures☆27Updated 7 years ago
- Bloom + C++☆17Updated 7 years ago
- Functional data structures for Pony☆44Updated 8 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- Optimization Coach Plug-In for DrRacket☆20Updated 3 weeks ago