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 2 years ago
- Analyze occurrences of reify in Clojure code. Implemented using tree-sitter-clojure and Rust.☆18Updated 5 years ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆23Updated last year
- Clojure profiler working as drop in replacement for defn☆24Updated 4 years ago
- More documentation tags in Clojure metadata☆17Updated 3 years ago
- A Clojure library providing remote implementations of the Clojure data structures and a remote REPL server.☆40Updated last year
- Literate is a Clojure & ClojureScript application which you can use to create documents.☆17Updated 2 years ago
- Dev-time datafy and nav☆21Updated last year
- Simple monte carlo simulation system based on lazy non-caching streams.☆21Updated 2 years ago
- Clojure implementation of URI Template (RFC 6570)☆24Updated 3 years ago
- ☆45Updated 5 years ago
- map type maps☆27Updated 3 months ago
- A function like clojure.core/format but with named args.☆13Updated 7 years ago
- GCP, data driven☆16Updated 2 years ago
- `grep -C` ala carte☆25Updated 3 months ago
- Schema Inference of Malli Schemas☆17Updated 2 years ago
- RAII resource management system☆31Updated 3 months ago
- ☆33Updated 3 years ago
- Library for dealing with newline separated EDN files☆31Updated 4 years ago
- A predicate stack dispatch system for Clojure/Script☆40Updated 2 years ago
- A simple http server implemented as thin Clojure wrapper around `SimpleWebServer` from JEP 408 for JDK 18+.☆25Updated last year
- A very light weight, simple websocket based messaging system in Clojure(Script). Converse/talk 話す(hanasu).☆26Updated last month
- 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
- A high-performance implementation of the rope data structure for Clojure.☆22Updated 2 months ago
- Lasertag is a utility library for categorizing values in Clojure, ClojureScript, and Babashka☆12Updated last week
- Generic datalog parser compliant to datomic, datascript and datahike queries.☆71Updated 9 months ago
- Extensible Clojure☆107Updated 9 years ago
- An efficient cross-platform DirectoryWatcher based service for Clojure☆41Updated 2 years ago