a small theorem prover in clojure
☆18Mar 12, 2023Updated 3 years ago
Alternatives and similar repositories for cogent
Users that are interested in cogent are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Multi person REPL & lets developers share information on CIDER nREPL sessions☆21Mar 13, 2016Updated 10 years ago
- A simple, fast, purely functional condition / restart system for Clojure.☆56May 23, 2024Updated last year
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Sep 24, 2021Updated 4 years ago
- Write synthesizable FPGA code with Clojure syntax☆22Mar 28, 2023Updated 2 years ago
- fuzzy filtering of clojure sequences☆21Nov 14, 2017Updated 8 years ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆24Aug 22, 2023Updated 2 years ago
- A text editor written in clojure☆40Updated this week
- Elisp-Babashka bridge☆17Dec 18, 2024Updated last year
- A memory efficient trie data structure.☆41Mar 11, 2022Updated 4 years ago
- pprint that respects your space and time☆64Mar 18, 2025Updated last year
- A high-level http client for Clojure and ClojureScript☆48Mar 15, 2024Updated 2 years ago
- Write full featured CSS as Clojure data structures, inline☆19Sep 5, 2021Updated 4 years ago
- Sketching use of clojure socket server for tooling use☆30Apr 6, 2016Updated 9 years ago
- A Clojure Companion to Jetty☆68Mar 16, 2026Updated last week
- Staged compilation for Clojure through environment & special-form aware syntax-quoting.☆82Oct 29, 2021Updated 4 years ago
- Immutable interval trees and utilities☆63Jul 7, 2021Updated 4 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
- Implement ClojureScript print handlers, as well Datify/Navigable for various built-in browser types.☆38Oct 2, 2023Updated 2 years ago
- Schema Inference of Malli Schemas☆18Jul 20, 2023Updated 2 years ago
- JiSE: Java in S-Expression☆115Sep 27, 2020Updated 5 years ago
- Daba is a graphical database client for REPL-enabled queries and visualization☆37Jan 5, 2026Updated 2 months ago
- A high-performance implementation of the rope data structure for Clojure.☆22May 30, 2025Updated 9 months ago
- View the sizes of your dependencies.☆53Oct 10, 2022Updated 3 years ago
- Drag and drop for ClojureScript☆18Feb 5, 2021Updated 5 years ago
- WIP clojure bindings for tree-sitter☆12Apr 28, 2025Updated 10 months ago
- GCP, data driven☆17Apr 5, 2023Updated 2 years ago
- Array manipulation library for Clojure with "sweet" array type notation and more safety by static types☆71May 29, 2025Updated 9 months ago
- A sorted map implementation designed for ultra-fast initialization and merge operations.☆42Oct 8, 2020Updated 5 years ago
- Simple monte carlo simulation system based on lazy non-caching streams.☆21Apr 28, 2023Updated 2 years ago
- Cross-platform (JVM and JS atm.) edn data structure hashing for Clojure.☆123Feb 9, 2026Updated last month
- A small, portable & flexible implementation of lazy signals☆88Oct 26, 2025Updated 4 months ago
- A different PareEdit for Light Table - powered by rewrite-cljs☆14Feb 13, 2017Updated 9 years ago
- A library of continuation-passing, thunk-producing versions of many Clojure core functions.☆75Jul 31, 2022Updated 3 years ago
- ☆11Sep 19, 2024Updated last year
- Clojure's syntax-quote reader macro as a normal macro☆217Oct 22, 2025Updated 5 months ago
- A lightweight, zero-deps JSON parser and writer☆12Apr 22, 2025Updated 11 months ago