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
- Infer the general shape of data and produce a schema from it☆18Updated 7 years ago
- Generate RSA PKCS #1 key-pairs from scratch (without 3rd party libs) in Clojure☆16Updated 8 months ago
- A clojure library for bypassing java protected fields☆45Updated 11 years ago
- tiny analyzer, maybe☆20Updated 5 years ago
- A reagent component for laying out tree nodes in 2D space.☆11Updated 6 years ago
- Embed a Clojure nREPL in Java☆34Updated last year
- A library for laying out tree nodes in 2D space for Clojure and ClojureScript.☆18Updated 6 years ago
- Clojure Merkle Trees☆51Updated 11 years ago
- A data structure for representing dependency graphs in Clojure☆18Updated 4 years ago
- A pod around buddy core (Cryptographic Api for Clojure).☆16Updated 9 months ago
- Faster clojure.set functions.☆29Updated 5 months ago
- ☆16Updated 7 years ago
- making conversation between languages☆23Updated 5 years ago
- Docker image that compiles a Leiningen project into an AWS Lambda deployment package using GraalVM and native-image☆14Updated 6 years ago
- datomic odds and ends☆29Updated 9 years ago
- ☆32Updated 2 years ago
- Call c from clojure using graalvm -- then compile a binary using native-image!☆20Updated 4 years ago
- monitor your jenkins operations, jobs in async and functional elegance☆13Updated 5 years ago
- Specter paths for working with formatted EDN and Clojure code☆16Updated 7 years ago
- A Clojure library designed to export datomic data to flat files.☆11Updated 8 years ago
- Data specifications that compile to clojure.specs and Datomic schemas☆22Updated 8 years ago
- Cross browser, bi-directional communication between ClojureScript and Clojure with BrowserChannel☆56Updated 9 years ago
- Safe transport of unknown record types in distributed systems.☆22Updated last year
- Limit and realize possibly infinite seqs☆12Updated 6 years ago
- Kubernetes and docker utilities for lumo-cljs☆14Updated 2 years ago
- A Clojure abstraction for modifiable/readable class loaders.☆44Updated 5 years ago
- A config-based loader for @stuartsierra's `component` library☆13Updated 7 years ago
- Fast string operations for Clojure☆28Updated 3 years ago
- A library for compound indices in Datomic☆17Updated 8 years ago