aphyr / gretchen
Offline serializability verification, in Clojure
☆68Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for gretchen
- Clojure data structures for performance metrics over discrete time intervals.☆118Updated 2 years ago
- A simple and idiomatic Clojure facade around the Mesos JAVA API☆70Updated 6 years ago
- CQL based Clojure DSL for Apache Samza☆46Updated 9 years ago
- ☆80Updated 9 years ago
- A Mesos binding for Clojure☆30Updated 9 years ago
- write-once key/value storage engine☆138Updated 8 years ago
- ☆141Updated 12 years ago
- ☆269Updated 3 months ago
- Sandbox for playing around with CRDTs☆30Updated 7 years ago
- Safely archive data from Apache Kafka to S3 with no Hadoop dependencies :)☆99Updated 5 years ago
- A riemann plugin to build and deploy modular rules.☆59Updated 7 years ago
- Distributed task tracking system.☆300Updated 9 years ago
- Clojure to JS compiler☆22Updated 9 years ago
- Ox - An immutable statically typed Lisp for the JVM☆66Updated 2 years ago
- A library for simulating parallel systems, in Clojure☆184Updated 11 years ago
- centrally-planned object and thread pools☆205Updated 3 weeks ago
- Importer program for microlibraries. Bring in the libbits!☆18Updated 9 years ago
- stable, high-throughput journalling to S3☆100Updated 8 years ago
- [ABANDONED] An optimizing Clojure compiler☆125Updated 8 years ago
- Lean Hash Array Mapped Trie implementation in ClojureScript☆143Updated 7 years ago
- Distributed CRDT of sparse integer vectors.☆33Updated 9 years ago
- [Inactive project] A tool for deploying and managing Onyx clusters in the cloud☆17Updated 8 years ago
- Bunshin is a Redis and CRDT based multi instance cache library that aims for high availability, partition tolerance and eventual consiste…☆26Updated 5 years ago
- A Clojure DSL for Apache ZooKeeper☆160Updated 6 months ago
- The J-Bob proof assistant from The Little Prover in Clojure☆61Updated 9 years ago
- Clojure Merkle Trees☆51Updated 11 years ago
- expressive, composable stream analysis☆152Updated 8 years ago
- The simplest possible way to read and publish messages with kafka☆30Updated 8 years ago
- Handle POSIX signals in Clojure.☆21Updated 10 years ago
- ☆336Updated 3 months ago