Alternatives and similar repositories for c4:

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

• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• spencertipping / canard
  A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl
  ☆17Updated 8 years ago
• sylvanc / pony-lecture
  Slides for Pony lectures
  ☆27Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 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/
  ☆39Updated 3 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• luceracloud / libfasttime
  Fast time calls from user space.
  ☆11Updated 9 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 7 years ago
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 10 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• PlatformLab / mappy
  Demo re-implementation of the Hadoop MapReduce scheduler in Python
  ☆13Updated 9 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 8 months ago
• dylan-hackers / network-night-vision
  IP stack written in Dylan - includes binary parsing and interactive GUI
  ☆25Updated 11 years ago
• blynn / blt
  Crit-bit tree (trie) library
  ☆32Updated 10 years ago
• geocar / qlua
  KDB bindings for lua
  ☆27Updated 5 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago