erdos / cogent
a small theorem prover in clojure
☆18Updated 2 years ago
Alternatives and similar repositories for cogent:
Users that are interested in cogent are comparing it to the libraries listed below
- A Truffle Clojure Interpreter (playground)☆12Updated 3 years ago
- A desktop viewer for clerk.☆13Updated 2 years ago
- Clojure implementation of URI Template (RFC 6570)☆24Updated 2 years ago
- Literate is a Clojure & ClojureScript application which you can use to create documents.☆17Updated 2 years ago
- A clojure CLI build tool, and build library.☆14Updated last year
- Dev-time datafy and nav☆21Updated 9 months ago
- A Clojure validation library to compose predicate functions with expressive failures☆18Updated 9 years ago
- Fast Clojure interpreter and template engine☆14Updated 3 years ago
- Datomic Datalog parser in Clojure with malli☆15Updated 2 years ago
- Aho Corasick implementation in Clojure☆23Updated 4 years ago
- Analyze occurrences of reify in Clojure code. Implemented using tree-sitter-clojure and Rust.☆18Updated 5 years ago
- clojure tools for getting information about the jvm runtime☆38Updated 3 years ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆23Updated last year
- ☆34Updated 3 years ago
- RAII resource management system☆31Updated 2 weeks ago
- A front-end connecting to a Datahike back-end.☆33Updated 4 years ago
- Convert XML into Hiccup in Clojure and ClojureScript.☆21Updated 2 weeks ago
- ☆45Updated 5 years ago
- Write synthesizable FPGA code with Clojure syntax☆19Updated 2 years ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog