Dependently typed Clojure DSL with a Lean4 compatible kernel.
☆64Jul 11, 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:
- Fast, functional numerical computing for Clojure/JVM.☆54Updated this week
- FRP-based LLM agent framework with git-like memory model.☆24Updated this week
- A columnar database for analytics☆41Jun 11, 2026Updated last month
- A Clojure library for building real-time voice-enabled AI Agents. Simulflow handles the orchestration of speech recognition, audio proces…☆95Sep 3, 2025Updated 10 months ago
- Utilities for managing Datalog rulesets from Clojure☆47Dec 3, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Data-first stateful generator for Clojure☆112Jan 12, 2025Updated last year
- A small, zero-dependency Clojure TCP server that uses Java NIO☆41Updated this week
- A spreadsheet evaluator for Clojure/Script.☆16Updated this week
- A library for storing and querying graph data in Clojure☆237May 20, 2025Updated last year
- Embeddable Clojure-inspired Lisp.☆20Jun 30, 2026Updated 2 weeks ago
- A standalone BDD test framework for Clojure☆71Apr 1, 2026Updated 3 months ago
- A Clojure compiler implemented on top of Chez Scheme☆87Updated this week
- A lean and efficient continuation passing style transform, includes async-await support.☆41Jun 30, 2026Updated 2 weeks ago
- JSON appender for Timbre☆45Apr 28, 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.
- Utilities for targeting different compilation environments in Clojure/script☆15Apr 10, 2021Updated 5 years ago
- A union-find data structure for Clojure☆16May 4, 2020Updated 6 years ago
- Aho Corasick implementation in Clojure☆23Feb 25, 2021Updated 5 years ago
- Datomic Datalog parser in Clojure with malli☆15Sep 24, 2022Updated 3 years ago
- A Clojure model checker (using the TLA+/TLC engine)☆143Dec 29, 2025Updated 6 months ago
- clojure log4j2☆15Jun 19, 2025Updated last year
- A simple, fast, purely functional condition / restart system for Clojure.☆57May 23, 2024Updated 2 years ago
- Safely is a Clojure's circuit-breaker library for handling retries in an elegant declarative way.☆258Feb 10, 2026Updated 5 months ago
- Mycelium uses Maestro state machines and Malli contracts to define "The Law of the Graph," providing a high-integrity environment where h…☆80May 29, 2026Updated last month
- 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 DAG task execution engine for Clojure☆77Jan 3, 2020Updated 6 years ago
- An extremely lightweight fault tolerance library for Clojure(Script) and Babashka☆202Sep 8, 2025Updated 10 months ago
- Array manipulation library for Clojure with "sweet" array type notation and more safety by static types☆72May 29, 2025Updated last year
- maps, sets and vectors with on-demand secondary indexes.☆82Sep 1, 2020Updated 5 years ago
- Html generation library inspired by squint's html tag☆66Jun 25, 2026Updated 2 weeks ago
- ☆235Jul 21, 2023Updated 2 years ago
- A modern React (v16.8+) wrapper for ClojureScript☆32Apr 30, 2023Updated 3 years ago
- Clojure(Script) client for Declarative Dataflow.☆334Nov 8, 2019Updated 6 years ago
- Data security framework for Clojure☆151Dec 10, 2025Updated 7 months 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.
- Efficient, hassle-free function call validation with a concise inline syntax for clojure.spec and Malli☆258Jun 3, 2026Updated last month
- Unified LLM API and agent runtime for Clojure, ClojureScript (and soon Clojure Dart)☆16Updated this week
- A curated list of Clojure resources for dealing with graph-like data.☆301Jul 28, 2024Updated last year
- Explorations in durable persistent datastructures for Clojure.☆22Jun 7, 2017Updated 9 years ago
- Utils/Helpers for clojure spec☆16Nov 21, 2019Updated 6 years ago
- Reactive database environment for your files.☆104Sep 7, 2024Updated last year
- easy directory watches in clojure☆11Sep 9, 2019Updated 6 years ago