bfabry / specify-it
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
- ☆16Updated 6 years ago
- Generate RSA PKCS #1 key-pairs from scratch (without 3rd party libs) in Clojure☆16Updated 10 months ago
- A reagent component for laying out tree nodes in 2D space.☆11Updated 7 years ago
- A library for laying out tree nodes in 2D space for Clojure and ClojureScript.☆18Updated 7 years ago
- Clojure data structures for performance metrics over discrete time intervals.☆117Updated 2 years ago
- monitor your jenkins operations, jobs in async and functional elegance☆13Updated 5 years ago
- tiny analyzer, maybe☆20Updated 5 years ago
- making executor service tougher☆43Updated last year
- A Clojure wrapper for FoundationDB☆20Updated 6 years ago
- Clojure Merkle Trees☆51Updated 11 years ago
- Infer the general shape of data and produce a schema from it☆18Updated 7 years ago
- Embed a Clojure nREPL in Java☆34Updated last year
- Handle all things database in one place☆8Updated last year
- Library to run in process Kafka broker☆16Updated 6 years ago
- datomic odds and ends☆29Updated 9 years ago
- Opinionated environment variables library☆31Updated 6 years ago
- A library for compound indices in Datomic☆17Updated 8 years ago
- Resilience4Clj Time Limiter lets you decorate a function call with a specified time limit.☆11Updated 5 years ago
- A Clojure abstraction for modifiable/readable class loaders.☆44Updated 5 years ago
- A data structure for representing dependency graphs in Clojure☆18Updated 4 years ago
- ☆32Updated 2 years ago
- ETL Utilities for Clojure☆30Updated last month
- Call c from clojure using graalvm -- then compile a binary using native-image!☆20Updated 4 years ago
- contrib.datalog brought back to life☆53Updated 11 years ago
- A clojure library for bypassing java protected fields☆45Updated 11 years ago
- Clojure utility functions that come up time and again while developing clojure software☆29Updated 5 years ago
- Fast string operations for Clojure☆28Updated 3 years ago
- A Clojure library designed to export datomic data to flat files.☆11Updated 8 years ago
- Explorations in durable persistent datastructures for Clojure.☆22Updated 7 years ago
- A Clojure library exploring the application of pure reasoning algorithms.☆18Updated last week