aphyr / gretchenLinks
Offline serializability verification, in Clojure
☆67Updated 8 years ago
Alternatives and similar repositories for gretchen
Users that are interested in gretchen are comparing it to the libraries listed below
Sorting:
- write-once key/value storage engine☆137Updated 9 years ago
- 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 7 years ago
- ☆80Updated 10 years ago
- CQL based Clojure DSL for Apache Samza☆46Updated 10 years ago
- Distributed task tracking system.☆301Updated 10 years ago
- A Mesos binding for Clojure☆30Updated 9 years ago
- stable, high-throughput journalling to S3☆101Updated 9 years ago
- ☆141Updated 13 years ago
- Ox - An immutable statically typed Lisp for the JVM☆66Updated 3 years ago
- centrally-planned object and thread pools☆210Updated 10 months ago
- An Experiment in Purely Functional IO for Clojure☆84Updated 2 years ago
- Safely archive data from Apache Kafka to S3 with no Hadoop dependencies :)☆100Updated 6 years ago
- Lean Hash Array Mapped Trie implementation in ClojureScript☆143Updated 8 years ago
- Distributed CRDT of sparse integer vectors.☆33Updated 9 years ago
- ☆272Updated last month
- [Inactive project] A tool for deploying and managing Onyx clusters in the cloud☆17Updated 9 years ago
- A riemann plugin to build and deploy modular rules.☆59Updated 8 years ago
- expressive, composable stream analysis☆152Updated 9 years ago
- clojure conj east 2015 "Serverless Microservices" code☆28Updated 9 years ago
- The J-Bob proof assistant from The Little Prover in Clojure☆61Updated 9 years ago
- ☆336Updated last year
- Dashboard for the Onyx distributed processing system☆75Updated 5 years ago
- ☆60Updated 10 years ago
- A library for simulating parallel systems, in Clojure☆183Updated 12 years ago
- Contracts programming with Clojure☆243Updated 11 years ago
- A Clojure DSL for Apache ZooKeeper☆163Updated 9 months ago
- Asynchronous Clojure/Clojurescript client for Amazon's SNS & SQS services☆48Updated 8 years ago
- Clojure & Clojurescript build system based on Buck☆19Updated 8 years ago
- [ABANDONED] An optimizing Clojure compiler☆124Updated 9 years ago