aphyr / gretchen
Offline serializability verification, in Clojure
☆68Updated 7 years ago
Alternatives and similar repositories for gretchen:
Users that are interested in gretchen are comparing it to the libraries listed below
- Clojure data structures for performance metrics over discrete time intervals.☆117Updated 2 years ago
- ☆80Updated 9 years ago
- A simple and idiomatic Clojure facade around the Mesos JAVA API☆70Updated 6 years ago
- Distributed task tracking system.☆300Updated 10 years ago
- write-once key/value storage engine☆138Updated 8 years ago
- ☆141Updated 13 years ago
- CQL based Clojure DSL for Apache Samza☆46Updated 10 years ago
- A Mesos binding for Clojure☆30Updated 9 years ago
- A riemann plugin to build and deploy modular rules.☆59Updated 8 years ago
- Distributed CRDT of sparse integer vectors.☆33Updated 9 years ago
- Ox - An immutable statically typed Lisp for the JVM☆66Updated 2 years ago
- centrally-planned object and thread pools☆207Updated 5 months ago
- Clojure to JS compiler☆22Updated 10 years ago
- [ABANDONED] An optimizing Clojure compiler☆124Updated 9 years ago
- ☆269Updated last month
- Lean Hash Array Mapped Trie implementation in ClojureScript☆142Updated 7 years ago
- stable, high-throughput journalling to S3☆100Updated 9 years ago
- A library for simulating parallel systems, in Clojure☆184Updated 11 years ago
- A Clojure DSL for Apache ZooKeeper☆163Updated 4 months ago
- Sandbox for playing around with CRDTs☆30Updated 7 years ago
- Contracts programming with Clojure☆243Updated 10 years ago
- Library to do automated resilience testing using Docker, Clojure and Property Based testing☆49Updated 3 years ago
- An Experiment in Purely Functional IO for Clojure☆84Updated last year
- expressive, composable stream analysis☆152Updated 9 years ago
- A persistent confluent map for Clojure☆39Updated 9 years ago
- ☆339Updated 8 months ago
- Importer program for microlibraries. Bring in the libbits!☆18Updated 9 years ago
- Sketching Algorithms for Clojure (bloom filter, min-hash, hyper-loglog, count-min sketch)☆148Updated last year
- Machi file store☆121Updated 8 years ago
- The J-Bob proof assistant from The Little Prover in Clojure☆61Updated 9 years ago