bfabry / specify-itLinks
Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check
☆10Updated 5 years ago
Alternatives and similar repositories for specify-it
Users that are interested in specify-it are comparing it to the libraries listed below
Sorting:
- ☆16Updated 6 years ago
- monitor your jenkins operations, jobs in async and functional elegance☆13Updated 5 years ago
- Clojure Merkle Trees☆51Updated 11 years ago
- making conversation between languages☆22Updated 6 years ago
- Calcite Clojure wrapper / integration☆32Updated last year
- A reagent component for laying out tree nodes in 2D space.☆12Updated 7 years ago
- Clojure data structures for performance metrics over discrete time intervals.☆117Updated 2 years ago
- A sweet Clojure API for Atomix☆17Updated 8 years ago
- Embed a Clojure nREPL in Java☆34Updated last year
- Infer the general shape of data and produce a schema from it☆18Updated 8 years ago
- A Clojure library designed to export datomic data to flat files.☆11Updated 9 years ago
- A library for compound indices in Datomic☆18Updated 8 years ago
- Safe transport of unknown record types in distributed systems.☆22Updated 2 years ago
- À la carte Ring request matching, routing and reverse-routing for Clojure/Script☆33Updated 4 years ago
- A config-based loader for @stuartsierra's `component` library☆12Updated 8 years ago
- A Clojure wrapper for FoundationDB☆20Updated 6 years ago
- A library for laying out tree nodes in 2D space for Clojure and ClojureScript.☆20Updated 7 years ago
- A clojure library for bypassing java protected fields☆45Updated 12 years ago
- Generate RSA PKCS #1 key-pairs from scratch (without 3rd party libs) in Clojure☆16Updated last year
- datomic odds and ends☆29Updated 10 years ago
- Discrete Event Simulation Specification☆76Updated 3 years ago
- The Clojure library for JSON-LD (JavaScript Object Notation for Linking Data).☆16Updated 6 years ago
- Explorations in durable persistent datastructures for Clojure.☆22Updated 8 years ago
- Handle all things database in one place☆8Updated 2 years ago
- tiny analyzer, maybe☆20Updated 5 years ago
- contrib.datalog brought back to life☆53Updated 11 years ago
- ☆31Updated 6 years ago
- Clojure & Clojurescript build system based on Buck☆19Updated 8 years ago
- ☆22Updated 6 years ago
- clojure + datalog = <3☆139Updated 5 years ago