aphyr / gretchen
Offline serializability verification, in Clojure
☆67Updated 7 years ago
Alternatives and similar repositories for gretchen
Users that are interested in gretchen are comparing it to the libraries listed below
Sorting:
- Clojure data structures for performance metrics over discrete time intervals.☆117Updated 2 years ago
- A simple and idiomatic Clojure facade around the Mesos JAVA API☆70Updated 6 years ago
- ☆80Updated 9 years ago
- A Mesos binding for Clojure☆30Updated 9 years ago
- write-once key/value storage engine☆137Updated 8 years ago
- CQL based Clojure DSL for Apache Samza☆46Updated 10 years ago
- Distributed CRDT of sparse integer vectors.☆33Updated 9 years ago
- A library for simulating parallel systems, in Clojure☆184Updated 12 years ago
- Distributed task tracking system.☆300Updated 10 years ago
- ☆141Updated 13 years ago
- Ox - An immutable statically typed Lisp for the JVM☆66Updated 2 years ago
- centrally-planned object and thread pools☆207Updated 6 months ago
- A riemann plugin to build and deploy modular rules.☆59Updated 8 years ago
- [ABANDONED] An optimizing Clojure compiler☆124Updated 9 years ago
- Clojure to JS compiler☆22Updated 10 years ago
- [Inactive project] A tool for deploying and managing Onyx clusters in the cloud☆17Updated 8 years ago
- stable, high-throughput journalling to S3☆100Updated 9 years ago
- ☆54Updated 11 years ago
- Clojure & Clojurescript build system based on Buck☆19Updated 8 years ago
- A Clojure DSL for Apache ZooKeeper☆163Updated 5 months ago
- ☆270Updated last month
- The J-Bob proof assistant from The Little Prover in Clojure☆61Updated 9 years ago
- Sandbox for playing around with CRDTs☆30Updated 7 years ago
- expressive, composable stream analysis☆152Updated 9 years ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆94Updated 6 years ago
- Lean Hash Array Mapped Trie implementation in ClojureScript☆142Updated 8 years ago
- A Clojure library for de/serializing Clojure data structures with Avro.☆115Updated 3 years ago
- Sketching Algorithms for Clojure (bloom filter, min-hash, hyper-loglog, count-min sketch)☆148Updated last year
- ☆339Updated 9 months ago
- ☆61Updated 10 years ago