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:
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 7 years ago
- A lightweight Datalog engine in Rust☆57Updated 3 weeks ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- Slides for Pony lectures☆27Updated 7 years ago
- Functional data structures for Pony☆44Updated 8 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- A library for working with mmap'd graph data☆11Updated 4 years ago
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Updated 9 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Kanren with databases☆43Updated 10 months ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- ☆27Updated 6 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
- IP stack written in Dylan - includes binary parsing and interactive GUI☆25Updated 11 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- ☆38Updated 9 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆40Updated 3 years ago
- ☆48Updated last month
- Optimization Coach Plug-In for DrRacket☆20Updated last month
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Programmable IDE for the Lisp family of languages.☆20Updated 9 months ago
- Crit-bit tree (trie) library☆32Updated 11 years ago