Dependently typed Clojure DSL with a Lean4 compatible kernel.
☆80Oct 15, 2026Updated last 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:
- form building platform☆23Jun 17, 2026Updated 4 months ago
- Cross-platform FRP runtime with a git-like memory model.☆35Updated this week
- Fast, functional numerical computing for Clojure/JVM.☆67Updated this week
- A small, zero-dependency Clojure TCP server that uses Java NIO☆46Aug 29, 2026Updated last month
- A lean and efficient continuation passing style transform, includes async-await support.☆41Oct 15, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- FRP-based LLM agent framework with git-like memory model.☆37Oct 16, 2026Updated last week
- An agentic coding agent driven by statecharts.☆18Sep 30, 2026Updated 3 weeks ago
- MCP server for hive-framework development. A memory and agentic coordination solution.☆29Updated this week
- Static purity and effect analysis for Clojure.☆19Apr 10, 2026Updated 6 months ago
- Git-like, causal space-time lattice abstraction over systems supporting this memory model.☆22Oct 16, 2026Updated last week
- A columnar database for analytics☆43Jun 11, 2026Updated 4 months ago
- Lucene with git-like semantics and Clojure integration.☆20Aug 31, 2026Updated last month
- 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
- A small data structure library☆54Dec 31, 2025Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Reactive server-rendered web framework for Clojure☆148Oct 14, 2026Updated last week
- Surface syntax for Clojure to help exposition/onboarding.☆45Sep 28, 2026Updated 3 weeks ago
- JSON appender for Timbre☆45Apr 28, 2024Updated 2 years ago
- A Clojure library for composable async tasks with automatic parallelization, structured concurrency, and parent-child and chain cancellat…☆36Oct 1, 2026Updated 3 weeks ago
- tools that help AI development assistants do Clojure☆17Jul 13, 2026Updated 3 months ago
- Live coding for Clojure dialects.☆111Aug 17, 2026Updated 2 months ago
- Versioned, fast and scalable columnar database.☆68Aug 31, 2026Updated last month
- A Modern, High-performance, Low-alloc Binary Serialization Library for Clojure with 0 dependencies☆28Aug 3, 2026Updated 2 months ago
- Concise, curated resources for working with the Clojure Programming and LLM base coding agents☆27Mar 4, 2026Updated 7 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A standalone BDD test framework for Clojure☆73Sep 18, 2026Updated last month
- 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 3 months ago
- Clojurescript WebComponents library☆31Oct 15, 2026Updated last week
- Extensible Value Encoding☆67Updated this week
- Fast starting Clojure runtime built with GraalVM native-image + Crema☆168Jul 27, 2026Updated 2 months ago
- Generate GraphQL queries using Clojure data structures.☆61May 14, 2026Updated 5 months ago
- A library for storing and querying graph data in Clojure☆239May 20, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Unified LLM API and agent runtime for Clojure, ClojureScript (and soon Clojure Dart)☆17Oct 12, 2026Updated last week
- A spreadsheet evaluator for Clojure/Script.☆18Oct 10, 2026Updated last week
- Html generation library inspired by squint's html tag☆66Sep 15, 2026Updated last month
- Run tests against common configuration file formats using Clojure!☆17May 7, 2026Updated 5 months ago
- maps, sets and vectors with on-demand secondary indexes.☆83Jul 30, 2026Updated 2 months ago
- A lab and production line for building accountable agentic software features in Clojure☆22Oct 7, 2026Updated 2 weeks ago
- Safely is a Clojure's circuit-breaker library for handling retries in an elegant declarative way.☆259Feb 10, 2026Updated 8 months ago