a small theorem prover in clojure
☆18Mar 12, 2023Updated 2 years ago
Alternatives and similar repositories for cogent
Users that are interested in cogent are comparing it to the libraries listed below
Sorting:
- Java Class file parser and analyzer written in Clojure☆14Dec 2, 2019Updated 6 years ago
- A desktop viewer for clerk.☆13Oct 12, 2022Updated 3 years ago
- A Truffle Clojure Interpreter (playground)☆12May 15, 2021Updated 4 years ago
- A simple, fast, purely functional condition / restart system for Clojure.☆56May 23, 2024Updated last year
- Write full featured CSS as Clojure data structures, inline☆19Sep 5, 2021Updated 4 years ago
- A text editor written in clojure☆40Feb 21, 2026Updated last week
- Sketching use of clojure socket server for tooling use☆30Apr 6, 2016Updated 9 years ago
- Multi person REPL & lets developers share information on CIDER nREPL sessions☆21Mar 13, 2016Updated 9 years ago
- Elisp-Babashka bridge☆17Dec 18, 2024Updated last year
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Sep 24, 2021Updated 4 years ago
- A high-level http client for Clojure and ClojureScript☆48Mar 15, 2024Updated last year
- Daba is a graphical database client for REPL-enabled queries and visualization☆36Jan 5, 2026Updated last month
- fuzzy filtering of clojure sequences☆21Nov 14, 2017Updated 8 years ago
- Schema Inference of Malli Schemas☆18Jul 20, 2023Updated 2 years ago
- GCP, data driven☆17Apr 5, 2023Updated 2 years ago
- Drag and drop for ClojureScript☆18Feb 5, 2021Updated 5 years ago
- Write synthesizable FPGA code with Clojure syntax☆22Mar 28, 2023Updated 2 years ago
- Simple monte carlo simulation system based on lazy non-caching streams.☆21Apr 28, 2023Updated 2 years ago
- A high-performance implementation of the rope data structure for Clojure.☆22May 30, 2025Updated 9 months ago
- pprint that respects your space and time☆64Mar 18, 2025Updated 11 months ago
- Implement ClojureScript print handlers, as well Datify/Navigable for various built-in browser types.☆38Oct 2, 2023Updated 2 years ago
- ☆45Nov 14, 2019Updated 6 years ago
- A library for hashing arbitrary Clojure data structures in a way that respects Clojure's value semantics☆63Aug 13, 2020Updated 5 years ago
- Coding on the fly, from take-off to landing, with a tools.deps reloadable build library☆22Feb 15, 2023Updated 3 years ago
- A Clojure wrapper for log4j2☆22Feb 4, 2026Updated 3 weeks ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆24Aug 22, 2023Updated 2 years ago
- Build web components with ClojureScript☆25Jan 21, 2025Updated last year
- Fast, flexible, 0-deps (de)serialization library for Clojure☆70Dec 7, 2024Updated last year
- A memory efficient trie data structure.☆41Mar 11, 2022Updated 3 years ago
- A Clojure Companion to Jetty☆68Feb 10, 2026Updated 3 weeks ago
- Immutable interval trees and utilities☆63Jul 7, 2021Updated 4 years ago
- pute a graph☆27Sep 3, 2023Updated 2 years ago
- clj-template for a web app running on Heroku using datahike with postgres☆23Dec 24, 2020Updated 5 years ago
- ☆10Nov 11, 2019Updated 6 years ago
- Currying in Clojure for fun and learning.☆11Feb 14, 2024Updated 2 years ago
- WIP clojure bindings for tree-sitter☆12Apr 28, 2025Updated 10 months ago
- Basic Clojure REPL for Sublime Text☆21Oct 22, 2021Updated 4 years ago
- A lightweight, zero-deps JSON parser and writer☆12Apr 22, 2025Updated 10 months ago
- Research and Innovation Group - 9P library for Clojure☆21Jul 15, 2024Updated last year