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
- A Clojure utility to inspect static types inferred by the Clojure compiler☆23Updated 2 years ago
- Literate is a Clojure & ClojureScript application which you can use to create documents.☆17Updated 2 years ago
- A Clojure library providing remote implementations of the Clojure data structures and a remote REPL server.☆40Updated last year
- ☆33Updated 3 years ago
- ☆45Updated 5 years ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Updated 4 years ago
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Updated 6 years ago
- Analyze occurrences of reify in Clojure code. Implemented using tree-sitter-clojure and Rust.☆17Updated 5 years ago
- RAII resource management system☆31Updated 5 months ago
- Library for dealing with newline separated EDN files☆31Updated 4 years ago
- Provenance system for Clojure code☆29Updated 4 years ago
- Can we gain anything from Clojure tags?☆20Updated 7 months ago
- A mini introductory Datalog tutorial for people who know some Clojure☆10Updated 4 years ago
- A high-performance implementation of the rope data structure for Clojure.☆22Updated 4 months ago
- WIP clojure bindings for tree-sitter☆12Updated 5 months ago
- More documentation tags in Clojure metadata☆17Updated 3 years ago
- Simple monte carlo simulation system based on lazy non-caching streams.☆21Updated 2 years ago
- Project builder for Clojure projects with tools.deps☆19Updated 4 years ago
- `grep -C` ala carte☆24Updated 5 months ago
- Clojure profiler working as drop in replacement for defn☆24Updated 4 years ago
- map type maps☆28Updated 5 months ago
- Valves is a collection of core.async components☆13Updated 9 years ago
- Schema Inference of Malli Schemas☆17Updated 2 years ago
- ☆32Updated 3 years ago
- Deprecated, use https://github.com/clj-commons/etaoin.☆41Updated 3 years ago
- A predicate stack dispatch system for Clojure/Script☆41Updated 2 years ago
- Fast Clojure interpreter and template engine☆14Updated 3 years ago
- A Clojure tool for displaying arbitrary nested data structures using swing.☆26Updated 7 years ago