marick / peano
Using logic programming (Clojure's core.logic) for test data manipulation and generation
☆59Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for peano
- A mailbox based distributed computing library☆81Updated 10 years ago
- A lite version of clj-http that uses the jre's HttpURLConnection☆42Updated 6 years ago
- ☆11Updated 9 years ago
- efficient small collections for clojure☆179Updated 9 years ago
- Specter paths for working with formatted EDN and Clojure code☆16Updated 7 years ago
- A declarative DSL for reading and writing binary file formats in Clojure.☆52Updated 13 years ago
- ☆13Updated 9 years ago
- clojure + datalog = <3☆139Updated 4 years ago
- DEPRECATED: use funcool/promesa☆18Updated 8 years ago
- contrib.datalog brought back to life☆53Updated 10 years ago
- A persistent confluent map for Clojure☆39Updated 8 years ago
- Sequence Expressions☆138Updated 6 years ago
- Infer the general shape of data and produce a schema from it☆18Updated 7 years ago
- Clojure support for java.nio.☆83Updated 9 years ago
- QuickCheck for Clojure☆286Updated 10 years ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 7 years ago
- whole-program transformations in clojure☆98Updated 7 years ago
- A POC implementation of muKanren using CSP (core.async)☆31Updated 10 years ago
- Leiningen plugin for lean-compiling Clojure projects☆44Updated 9 years ago
- Like Awk, but Clojure.☆50Updated 9 years ago
- STM ref types that allow for more concurrency on associative values.☆95Updated 10 years ago
- A namespace finder library.☆62Updated 5 years ago
- ☆53Updated 4 months ago
- Minimalistic statistics library for Clojure☆64Updated 9 years ago
- A Clojure AST transformation library☆39Updated 11 years ago
- Logic programming API for testing web applications using clj-webdriver☆68Updated 11 years ago
- Leiningen plugin for Typed Clojure☆82Updated 5 years ago
- Clojure bindings for the BigML.io API☆49Updated 6 years ago