erdos / cogent
a small theorem prover in clojure
☆18Updated last year
Related projects ⓘ
Alternatives and complementary repositories for cogent
- Literate is a Clojure & ClojureScript application which you can use to create documents.☆17Updated last year
- A Truffle Clojure Interpreter (playground)☆12Updated 3 years ago
- A desktop viewer for clerk.☆12Updated 2 years ago
- A Clojure validation library to compose predicate functions with expressive failures☆18Updated 8 years ago
- Clojure profiler working as drop in replacement for defn☆22Updated 4 years ago
- ☆44Updated 5 years ago
- Aho Corasick implementation in Clojure☆23Updated 3 years ago
- tiny analyzer, maybe☆20Updated 5 years ago
- Trees where leaves are located both in time and space☆15Updated 3 years ago
- Fast Clojure interpreter and template engine☆14Updated 3 years ago
- clojure.spec (spec.alpha) library aiming to be a fundamental tool for analyzing spec errors☆16Updated 6 years ago
- Clojure implementation of URI Template (RFC 6570)☆24Updated 2 years ago
- Haxy usage graphs for Clojure projects☆26Updated 8 years ago
- Write synthesizable FPGA code with Clojure syntax☆18Updated last year
- presumably for side-effects☆20Updated last year
- An efficient cross-platform DirectoryWatcher based service for Clojure☆41Updated last year
- Utils/Helpers for clojure spec☆16Updated 5 years ago
- Generic datalog parser compliant to datomic, datascript and datahike queries.☆71Updated last month
- Library for dealing with newline separated EDN files☆27Updated 3 years ago
- clojure tools for getting information about the jvm runtime☆38Updated 2 years ago
- Extensible Clojure☆106Updated 8 years ago
- Tiny web app illustrating WebSocket duplex communication. You are a square: move around and bump into other people's squares. I used this…☆13Updated 2 years ago
- RAII resource management system☆31Updated last year
- Sketches at a new documentation tool☆33Updated 6 years ago
- A clojure library for bypassing java protected fields☆45Updated 11 years ago
- A log dashboard tool powered by Clerk and Lucene☆31Updated last year
- Almost, but not quite, exactly like Clojure core libraries☆27Updated 6 years ago
- Infer the general shape of data and produce a schema from it☆18Updated 7 years ago
- fuzzy filtering of clojure sequences☆21Updated 7 years ago
- Quick and dirty directed graph viewer for REPL explorations.☆24Updated 11 months ago