Alternatives and similar repositories for c4:

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

• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 3 months ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• spencertipping / canard
  A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl
  ☆17Updated 8 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 5 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• lacuna / model
  ☆20Updated 6 years ago
• stamourv / optimization-coach
  Optimization Coach Plug-In for DrRacket
  ☆20Updated 2 months ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 3 months ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• racket / datalog
  ☆45Updated 2 months ago
• PlatformLab / mappy
  Demo re-implementation of the Hadoop MapReduce scheduler in Python
  ☆13Updated 8 years ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 7 years ago
• ucbrise / fluent-old
  Bloom + C++
  ☆17Updated 7 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 5 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago