Alternatives and similar repositories for c4:

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

• spencertipping / canard
  A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl
  ☆17Updated 8 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated 2 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 8 months ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 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
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆38Updated 5 years ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 7 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• frankmcsherry / graph-map
  A library for working with mmap'd graph data
  ☆11Updated 4 years ago
• AlexKashuba / SQLite_JIT
  ☆27Updated 6 years ago
• 97jaz / hamt
  Hash Array Mapped Tries for Racket
  ☆20Updated 8 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• hypirion / pvec-perf
  Persistent vector performance measurements and analysis
  ☆22Updated 10 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• gilbo / baselang
  A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
  ☆11Updated 9 years ago
• dollabs / planviz
  Planning Network Visualization
  ☆14Updated 3 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• brandonbloom / terra-java
  Lua/Terra + Java Native Interface
  ☆21Updated 8 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 8 years ago