erdos / cogentLinks
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
Sorting:
- A Truffle Clojure Interpreter (playground)☆12Updated 4 years ago
- Literate is a Clojure & ClojureScript application which you can use to create documents.☆17Updated 2 years ago
- A desktop viewer for clerk.☆13Updated 2 years ago
- A clojure wrapper for usearch, a fast open-source search & clustering engine for vectors.☆23Updated 8 months ago
- Dev-time datafy and nav☆21Updated last year
- Clojure implementation of URI Template (RFC 6570)☆24Updated 2 years ago
- Trees where leaves are located both in time and space☆15Updated 4 years ago
- A Clojure validation library to compose predicate functions with expressive failures☆18Updated 9 years ago
- Valves is a collection of core.async components☆13Updated 9 years ago
- `grep -C` ala carte☆25Updated 3 months ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Updated 3 years ago
- ☆10Updated 5 years ago
- A clojure CLI build tool, and build library.☆14Updated 2 years ago
- Extensible Clojure☆107Updated 9 years ago
- ☆45Updated 5 years ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆23Updated last year
- easy directory watches in clojure☆11Updated 5 years ago
- ☆23Updated 8 months ago
- Clojure library exposing newline delimited files as lightning fast databases☆14Updated 4 months ago
- Schema Inference of Malli Schemas☆17Updated last year
- Pure Clojure implementation of the Advanced Encryption Standard (AES) for encryption and decryption using 128, 192, and 256 bit keys base…☆17Updated 2 years ago
- A Clojure library providing client-side implementations of Clojure datastructures served by replicant-server.☆14Updated last year
- Graph inference library☆10Updated last year
- A Clojure library providing remote implementations of the Clojure data structures and a remote REPL server.☆40Updated last year
- A Clojure coding tool☆20Updated 11 months ago
- An efficient cross-platform DirectoryWatcher based service for Clojure☆41Updated 2 years ago
- Generalized IO interface that uses urls and makes doing rapid research easier☆15Updated last year
- Restartable exception handling for Clojure, allowing you to recover from exceptions without unwinding the stack.☆35Updated 6 years ago
- A mini introductory Datalog tutorial for people who know some Clojure☆10Updated 4 years ago
- scales for clojure☆18Updated 9 months ago