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
- Clojure implementation of URI Template (RFC 6570)☆24Updated 2 years ago
- A collection of specter navigators: tools for finding and modifying stuff in structured data☆15Updated 2 years ago
- Generic datalog parser compliant to datomic, datascript and datahike queries.☆71Updated 8 months ago
- A Clojure validation library to compose predicate functions with expressive failures☆18Updated 9 years ago
- Analyze occurrences of reify in Clojure code. Implemented using tree-sitter-clojure and Rust.☆18Updated 5 years ago
- Fast Clojure interpreter and template engine☆14Updated 3 years ago
- Extensible Clojure☆107Updated 9 years ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Updated 3 years ago
- provide upgraded replacements for Clojure editor infrastructure☆33Updated last year
- `grep -C` ala carte☆25Updated 2 months ago
- clojure tools for getting information about the jvm runtime☆38Updated 3 years ago
- An efficient cross-platform DirectoryWatcher based service for Clojure☆41Updated 2 years ago
- A Clojure library providing client-side implementations of Clojure datastructures served by replicant-server.☆14Updated 11 months ago
- A Clojure library providing remote implementations of the Clojure data structures and a remote REPL server.☆40Updated 11 months ago
- More documentation tags in Clojure metadata☆17Updated 3 years ago
- A clojure CLI build tool, and build library.☆14Updated 2 years ago
- A clojure wrapper for usearch, a fast open-source search & clustering engine for vectors.☆23Updated 7 months ago
- A modern Clojure/script monorepo☆18Updated last year
- A log dashboard tool powered by Clerk and Lucene☆32Updated 2 years ago
- RAII resource management system☆31Updated 2 months ago
- Restartable exception handling for Clojure, allowing you to recover from exceptions without unwinding the stack.☆35Updated 6 years ago
- Easel - A Pure Clojure IDE in the Spirit of Emacs☆23Updated 2 weeks ago
- Utilities for idiomatic consumption of Java Streams from Clojure, or Clojure seqs from Java☆9Updated 4 years ago
- Almost backwards compatible alternative to Clojure 1.8.0 implementation of multimethods with roughly 1/10 the method lookup cost.☆14Updated last year
- ☆23Updated 8 months ago
- Incremental computations engine☆60Updated 2 years ago
- ☆45Updated 5 years ago