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
- A desktop viewer for clerk.☆13Updated 3 years ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆24Updated 2 years ago
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Updated 6 years ago
- Literate is a Clojure & ClojureScript application which you can use to create documents.☆17Updated 2 years ago
- `grep -C` ala carte☆24Updated 9 months ago
- A mini introductory Datalog tutorial for people who know some Clojure☆10Updated 5 years ago
- Clojure profiler working as drop in replacement for defn☆24Updated 5 years ago
- ☆33Updated 3 years ago
- Library for dealing with newline separated EDN files☆31Updated 4 years ago
- Schema Inference of Malli Schemas☆18Updated 2 years ago
- Pure Clojure implementation of the Advanced Encryption Standard (AES) for encryption and decryption using 128, 192, and 256 bit keys base…☆16Updated 3 years ago
- Restartable exception handling for Clojure, allowing you to recover from exceptions without unwinding the stack.☆35Updated 7 years ago
- Project builder for Clojure projects with tools.deps☆19Updated 5 years ago
- More documentation tags in Clojure metadata☆17Updated 3 years ago
- easy directory watches in clojure☆11Updated 6 years ago
- A Clojure library providing remote implementations of the Clojure data structures and a remote REPL server.☆40Updated last year
- provide upgraded replacements for Clojure editor infrastructure☆33Updated last year
- A Clojure validation library to compose predicate functions with expressive failures☆18Updated 9 years ago
- RAII resource management system☆32Updated 9 months ago
- ☆45Updated 6 years ago
- SymSpell spell checker in Clojure☆24Updated 3 years ago
- A tiny graph library in Clojure.☆19Updated 8 months ago
- Simple monte carlo simulation system based on lazy non-caching streams.☆21Updated 2 years ago
- Dev-time datafy and nav☆21Updated last year
- Extract Malli schemas from SQL table schemas.☆19Updated 5 years ago
- Async procedures for Clojure☆13Updated 3 years ago
- A simple http server implemented as thin Clojure wrapper around `SimpleWebServer` from JEP 408 for JDK 18+.☆25Updated 2 years ago
- tiny analyzer, maybe☆20Updated 6 years ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Updated 4 years ago