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
- Clojure data structures for performance metrics over discrete time intervals.☆117Updated 2 years ago
- ☆80Updated 9 years ago
- CQL based Clojure DSL for Apache Samza☆46Updated 10 years ago
- write-once key/value storage engine☆138Updated 8 years ago
- A simple and idiomatic Clojure facade around the Mesos JAVA API☆70Updated 6 years ago
- stable, high-throughput journalling to S3☆100Updated 9 years ago
- ☆141Updated 13 years ago
- Distributed task tracking system.☆300Updated 10 years ago
- Ox - An immutable statically typed Lisp for the JVM☆66Updated 2 years ago
- ☆270Updated last week
- A Mesos binding for Clojure☆30Updated 9 years ago
- Distributed CRDT of sparse integer vectors.☆33Updated 9 years ago
- centrally-planned object and thread pools☆207Updated 6 months ago
- Clojure to JS compiler☆22Updated 10 years ago
- A library for simulating parallel systems, in Clojure☆184Updated 12 years ago
- [Inactive project] A tool for deploying and managing Onyx clusters in the cloud☆17Updated 8 years ago
- Lean Hash Array Mapped Trie implementation in ClojureScript☆142Updated 7 years ago
- A Clojure DSL for Apache ZooKeeper☆163Updated 5 months ago
- Sandbox for playing around with CRDTs☆30Updated 7 years ago
- Bunshin is a Redis and CRDT based multi instance cache library that aims for high availability, partition tolerance and eventual consiste…☆28Updated 5 years ago
- Safely archive data from Apache Kafka to S3 with no Hadoop dependencies :)☆100Updated 5 years ago
- expressive, composable stream analysis☆152Updated 9 years ago
- A riemann plugin to build and deploy modular rules.☆59Updated 8 years ago
- [ABANDONED] An optimizing Clojure compiler☆124Updated 9 years ago
- The simplest possible way to read and publish messages with kafka☆30Updated 8 years ago
- An Experiment in Purely Functional IO for Clojure☆84Updated last year
- Contracts programming with Clojure☆243Updated 10 years ago
- Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check☆10Updated 5 years ago
- A library for serializing Prismatic Schema definitions with Transit.☆32Updated 4 years ago
- Implementation of core of Specter without any optimizations – a reference to understand the basics of how Specter works☆23Updated 9 years ago