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☆15Dec 2, 2019Updated 6 years ago
- A desktop viewer for clerk.☆13Oct 12, 2022Updated 3 years ago
- A Truffle Clojure Interpreter (playground)☆12May 15, 2021Updated 5 years ago
- A simple, fast, purely functional condition / restart system for Clojure.☆57May 23, 2024Updated 2 years ago
- Multi person REPL & lets developers share information on CIDER nREPL sessions☆21Mar 13, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Sep 24, 2021Updated 4 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
- Write synthesizable FPGA code with Clojure syntax☆22Mar 28, 2023Updated 3 years ago
- 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☆65Jul 2, 2026Updated last month
- A high-level http client for Clojure and ClojureScript☆48Mar 15, 2024Updated 2 years ago
- Staged compilation for Clojure through environment & special-form aware syntax-quoting.☆82Oct 29, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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 10 years ago
- A Clojure Companion to Jetty☆70Updated this week
- Immutable interval trees and utilities☆63Jul 7, 2021Updated 5 years ago
- Implement ClojureScript print handlers, as well Datify/Navigable for various built-in browser types.☆39Oct 2, 2023Updated 2 years ago
- A library for hashing arbitrary Clojure data structures in a way that respects Clojure's value semantics☆66Aug 13, 2020Updated 5 years ago
- Daba is a graphical database client for REPL-enabled queries and visualization☆37Jan 5, 2026Updated 7 months ago
- Schema Inference of Malli Schemas☆18Jul 20, 2023Updated 3 years ago
- JiSE: Java in S-Expression☆120Sep 27, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A high-performance implementation of the rope data structure for Clojure.☆25May 30, 2025Updated last year
- View the sizes of your dependencies.☆53Oct 10, 2022Updated 3 years ago
- Drag and drop for ClojureScript☆18Feb 5, 2021Updated 5 years ago
- GCP, data driven☆17Apr 5, 2023Updated 3 years ago
- A sorted map implementation designed for ultra-fast initialization and merge operations.☆42Oct 8, 2020Updated 5 years ago
- Array manipulation library for Clojure with "sweet" array type notation and more safety by static types☆72May 29, 2025Updated last year
- A different PareEdit for Light Table - powered by rewrite-cljs☆14Feb 13, 2017Updated 9 years ago
- Cross-platform (JVM and JS atm.) edn data structure hashing for Clojure.☆133Jul 20, 2026Updated 3 weeks ago
- Simple monte carlo simulation system based on lazy non-caching streams.☆21Apr 28, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A library of continuation-passing, thunk-producing versions of many Clojure core functions.☆75Jul 31, 2022Updated 4 years ago
- Javadocs in your REPL☆37Feb 13, 2026Updated 5 months ago
- ☆48Jan 29, 2024Updated 2 years ago
- A lightweight, zero-deps JSON parser and writer☆12Apr 22, 2025Updated last year
- ☆11Sep 19, 2024Updated last year
- Build web components with ClojureScript☆27Jan 21, 2025Updated last year
- High performance HAMT☆167Jul 28, 2026Updated 2 weeks ago