erdos / cogent
a small theorem prover in clojure
☆18Updated last year
Related projects ⓘ
Alternatives and complementary repositories for cogent
- A Truffle Clojure Interpreter (playground)☆12Updated 3 years ago
- A desktop viewer for clerk.☆12Updated 2 years ago
- Literate is a Clojure & ClojureScript application which you can use to create documents.☆17Updated last year
- A Clojure validation library to compose predicate functions with expressive failures☆18Updated 8 years ago
- Clojure(Script) implementations of the self-describing multiformat specs☆20Updated last week
- ☆44Updated 4 years ago
- Clojure implementation of URI Template (RFC 6570)☆24Updated 2 years ago
- Library for dealing with newline separated EDN files☆27Updated 3 years ago
- A function like clojure.core/format but with named args.☆13Updated 6 years ago
- RAII resource management system☆31Updated last year
- Fast Clojure interpreter and template engine☆14Updated 3 years ago
- Pure Clojure implementation of the Advanced Encryption Standard (AES) for encryption and decryption using 128, 192, and 256 bit keys base…☆16Updated last year
- Clojure profiler working as drop in replacement for defn☆22Updated 4 years ago
- Restartable exception handling for Clojure, allowing you to recover from exceptions without unwinding the stack.☆34Updated 6 years ago
- Clojure library for creating (dev) namespaces of proxy vars☆17Updated 6 years ago
- Open an NREPL session from an existing python process☆29Updated 4 years ago
- Various handy transducers☆19Updated 5 months ago
- clojure tools for getting information about the jvm runtime☆38Updated 2 years ago
- A log dashboard tool powered by Clerk and Lucene☆31Updated last year
- More documentation tags in Clojure metadata☆16Updated 2 years ago
- Datomic Datalog parser in Clojure with malli☆15Updated 2 years ago
- Aho Corasick implementation in Clojure☆23Updated 3 years ago
- Extensible Clojure☆106Updated 8 years ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆26Updated 3 years ago
- provide upgraded replacements for Clojure editor infrastructure☆33Updated 4 months ago
- An efficient cross-platform DirectoryWatcher based service for Clojure☆41Updated last year
- Sketches at a new documentation tool☆33Updated 6 years ago
- clojure.spec (spec.alpha) library aiming to be a fundamental tool for analyzing spec errors☆16Updated 6 years ago
- Deprecated, use https://github.com/clj-commons/etaoin.☆41Updated 2 years ago
- Byte ropes for clojure and clojurescript.☆54Updated 5 years ago