Alternatives and similar repositories for c4

Users that are interested in c4 are comparing it to the libraries listed below

• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 8 years ago
• sylvanc / pony-lecture
  Slides for Pony lectures
  ☆27Updated 7 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 6 months ago
• cgrand / parsnip
  parsley is dead, long live parsnip!
  ☆17Updated 10 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• NVIDIA / remorac
  ☆38Updated 9 years ago
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆33Updated 3 years ago
• backtrace-labs / stuffed-record-stream
  Backtrace.io's resilient log record framing format
  ☆38Updated 3 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• nathanielrb / ftmicroKanren
  First-order temporal logic programming with microKanren
  ☆17Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆12Updated 8 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• kstephens / maru
  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
• rolfwr / rwisa-vm
  VM implementations for the RW instructions set architecture
  ☆10Updated 6 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• spencertipping / canard
  A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl
  ☆17Updated 8 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago