a small theorem prover in clojure
☆19Mar 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 4 years ago
- ☆10Nov 11, 2019Updated 6 years ago
- Tools for introspecting the current JVM process in Clojure☆10Aug 4, 2022Updated 4 years ago
- A Truffle Clojure Interpreter (playground)☆12May 15, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple, fast, purely functional condition / restart system for Clojure.☆58May 23, 2024Updated 2 years ago
- Staged compilation for Clojure through environment & special-form aware syntax-quoting.☆84Oct 29, 2021Updated 5 years ago
- pprint that respects your space and time☆65Jul 2, 2026Updated 3 months ago
- Extensible conversion of Clojure code to Hiccup forms.☆14Jul 15, 2024Updated 2 years ago
- Multi person REPL & lets developers share information on CIDER nREPL sessions☆21Mar 13, 2016Updated 10 years ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Sep 24, 2021Updated 5 years ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆24Aug 22, 2023Updated 3 years ago
- Write synthesizable FPGA code with Clojure syntax☆22Mar 28, 2023Updated 3 years ago
- View the sizes of your dependencies.☆53Oct 10, 2022Updated 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.
- fuzzy filtering of clojure sequences☆21Nov 14, 2017Updated 8 years ago
- A Clojure-like scripting language for Elm apps.☆30Jun 29, 2023Updated 3 years ago
- Dev-time datafy and nav☆21Jul 15, 2024Updated 2 years ago
- Sketching use of clojure socket server for tooling use☆30Apr 6, 2016Updated 10 years ago
- A memory efficient trie data structure.☆41Mar 11, 2022Updated 4 years ago
- Elisp-Babashka bridge☆17Dec 18, 2024Updated last year
- A Clojure Companion to Jetty☆91Oct 6, 2026Updated 3 weeks ago
- Clojure CLI enhanced REPL☆45Updated this week
- A high-level http client for Clojure and ClojureScript☆49Mar 15, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Implement ClojureScript print handlers, as well Datify/Navigable for various built-in browser types.☆39Oct 2, 2023Updated 3 years ago
- Fast, portable CBOR serialization for Clojure and ClojureScript — in a format the rest of the world already reads (RFC 8949 / IETF STD 94…☆20Sep 6, 2026Updated last month
- Immutable interval trees and utilities☆63Jul 7, 2021Updated 5 years ago
- Clojure (language) integrated query (and database)☆11Jan 2, 2025Updated last year
- Call C libraries from Clojure, babashka and Node.js.☆23Updated this week
- GCP, data driven☆17Apr 5, 2023Updated 3 years ago
- Drag and drop for ClojureScript☆18Feb 5, 2021Updated 5 years ago
- A library for hashing arbitrary Clojure data structures in a way that respects Clojure's value semantics☆67Aug 13, 2020Updated 6 years ago
- JiSE: Java in S-Expression☆120Sep 27, 2020Updated 6 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 different PareEdit for Light Table - powered by rewrite-cljs☆14Feb 13, 2017Updated 9 years ago
- WIP clojure bindings for tree-sitter☆12Apr 28, 2025Updated last year
- A sorted map implementation designed for ultra-fast initialization and merge operations.☆42Oct 8, 2020Updated 6 years ago
- Html generation library inspired by squint's html tag☆66Sep 15, 2026Updated last month
- Javadocs in your REPL☆37Sep 24, 2026Updated last month
- A Clojure[Script] source code indexer☆124Jul 2, 2024Updated 2 years ago
- Simple monte carlo simulation system based on lazy non-caching streams.☆21Apr 28, 2023Updated 3 years ago