Dependently typed Clojure DSL with a Lean4 compatible kernel.
☆83Nov 10, 2026Updated this week
Alternatives and similar repositories for ansatz
Users that are interested in ansatz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cross-platform FRP runtime with a git-like memory model.☆36Updated this week
- Fast, functional numerical computing for Clojure/JVM.☆69Nov 4, 2026Updated last week
- Behavioral Programming for Clojure☆63Updated this week
- form building platform☆24Jun 17, 2026Updated 4 months ago
- A small, zero-dependency Clojure TCP server that uses Java NIO☆47Aug 29, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A lean and efficient continuation passing style transform, includes async-await support.☆41Nov 5, 2026Updated last week
- A self-hosted workspace where people and AI agents share one memory: chat, wiki, knowledge bases, an accounting book and a code repositor…☆12Updated this week
- MCP server for hive-framework development. A memory and agentic coordination solution.☆30Updated this week
- Static purity and effect analysis for Clojure.☆19Oct 24, 2026Updated 2 weeks ago
- FRP-based LLM agent framework with git-like memory model.☆40Nov 5, 2026Updated last week
- A small data structure library☆54Dec 31, 2025Updated 10 months ago
- A static code analyzer that leverages guardrails and generators to do code analysis to find potential type-like errors in your code.☆13Sep 28, 2026Updated last month
- Git-like, causal space-time lattice abstraction over systems supporting this memory model.☆22Oct 26, 2026Updated 2 weeks ago
- Generalized algebraic theories and categorical programming for Clojure.☆24Jun 4, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Live coding for Clojure dialects.☆111Aug 17, 2026Updated 2 months ago
- Fast starting Clojure runtime built with GraalVM native-image + Crema☆173Updated this week
- Lucene with git-like semantics and Clojure integration.☆20Aug 31, 2026Updated 2 months ago
- A columnar database for analytics☆44Nov 2, 2026Updated last week
- tools that help AI development assistants do Clojure☆17Jul 13, 2026Updated 4 months ago
- A Clojure library for building real-time voice-enabled AI Agents. Simulflow handles the orchestration of speech recognition, audio proces…☆97Sep 3, 2025Updated last year
- An opinionated Datomic queue for building (more) reliable systems. Supports retries, backoff, ordering and more.☆59Sep 22, 2025Updated last year
- Versioned, fast and scalable columnar database.☆69Aug 31, 2026Updated 2 months ago
- Surface syntax for Clojure to help exposition/onboarding.☆45Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- JSON appender for Timbre☆45Apr 28, 2024Updated 2 years ago
- Reactive server-rendered web framework for Clojure☆155Nov 5, 2026Updated last week
- A lightweight contractor invoice management system built with Clojure.☆10Jan 17, 2026Updated 9 months ago
- Build Reasonable Applications with Clojure in the World of Natural Language Programming☆147Nov 2, 2026Updated last week
- A Clojure library for composable async tasks with automatic parallelization, structured concurrency, and parent-child and chain cancellat…☆37Updated this week
- ☆12Updated this week
- A ClojureScript library which "de-duplicates" Persistent Data Structures so they can be more efficiently serialised.☆26May 13, 2026Updated 5 months ago
- maps, sets and vectors with on-demand secondary indexes.☆83Jul 30, 2026Updated 3 months ago
- A standalone BDD test framework for Clojure☆74Sep 18, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An agentic coding agent driven by statecharts.☆18Nov 3, 2026Updated last week
- Utilities for managing Datalog rulesets from Clojure☆47Dec 3, 2016Updated 9 years ago
- Data-first stateful generator for Clojure☆113Jan 12, 2025Updated last year
- A Skill for pair-programing with Claude Code on a re-frame app.☆21Jul 9, 2026Updated 4 months ago
- Extensible Value Encoding☆67Updated this week
- Clojurescript WebComponents library☆31Updated this week
- Clojure(Script) client for Declarative Dataflow.☆340Nov 8, 2019Updated 7 years ago
Are these results useful?