This repository provides invariant verification in Datalog for immutable databases like Datahike.
☆11Jun 7, 2026Updated 4 months ago
Alternatives and similar repositories for invariant
Users that are interested in invariant are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Async procedures for Clojure☆13Oct 5, 2022Updated 4 years ago
- BareDOM: Lightweight UI components built on web standards (Custom Elements, Shadow DOM, ES modules). Build in CLJS. No framework, just th…☆42Updated this week
- Can we gain anything from Clojure tags?☆20Mar 7, 2025Updated last year
- Extensible conversion of Clojure code to Hiccup forms.☆14Jul 15, 2024Updated 2 years ago
- map type maps☆29Feb 8, 2026Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10Apr 30, 2025Updated last year
- A very light weight, simple websocket based messaging system in Clojure(Script). Converse/talk 話す(hanasu).☆26Jul 2, 2025Updated last year
- Clojure (language) integrated query (and database)☆11Jan 2, 2025Updated last year
- Rewrite nested Clojure data with a declared shape.☆21Feb 5, 2026Updated 8 months ago
- Clojure bindings for Hegel, a property-based testing system.☆11Oct 9, 2026Updated 3 weeks ago
- A composable content management system for bespoke websites.☆27Aug 23, 2023Updated 3 years ago
- A 0-dependency Clojure library for parsing and generating Structured Field Values for HTTP (RFC 9651/8941) [maintainer=@Ramblurr]☆13Oct 26, 2026Updated last week
- The caribou migration tool for Datomic☆27Sep 25, 2025Updated last year
- Represent partial Datomic datalog queries with their bindings and combine them safely.☆28Oct 15, 2024Updated 2 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.
- clojure log4j2☆15Jun 19, 2025Updated last year
- 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
- Patching micro lib for Clojure☆10Oct 3, 2026Updated last month
- Modern logging facade for Clojure/Script☆43Jul 26, 2026Updated 3 months ago
- [Discontinued] Knowledge graph for your codebase.☆16Sep 15, 2026Updated last month
- Time computation library with CRON scheduling capability☆44Mar 18, 2026Updated 7 months ago
- A small and powerful toolset that brings state machines to re-frame.☆23Mar 18, 2022Updated 4 years ago
- A Clojure library providing client-side implementations of Clojure datastructures served by replicant-server.☆14Jul 15, 2024Updated 2 years ago
- A little Clojure library that provides regex-based file grepping and/or text substitution.☆14Mar 18, 2026Updated 7 months ago
- 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.
- A functional behavior tree implementation☆27May 29, 2021Updated 5 years ago
- A library for categorizing values in Clojure dialects☆21Updated this week
- scales for clojure☆19Sep 25, 2024Updated 2 years ago
- A dynamic approach to application components☆65Jul 12, 2021Updated 5 years ago
- Map interpolation and DIY i18n/theming toolkit☆40Jul 6, 2026Updated 3 months ago
- Clojure printing for human-readable tables☆25Apr 12, 2026Updated 6 months ago
- A Clojure library providing remote implementations of the Clojure data structures and a remote REPL server.☆43Jul 15, 2024Updated 2 years ago
- A Modern, High-performance, Low-alloc Binary Serialization Library for Clojure with 0 dependencies☆28Aug 3, 2026Updated 3 months ago
- Quickly define print handlers for tagged literals across print/pprint implementations.☆24Feb 11, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A small Clojure/Babashka library for hashing static assets☆23Jan 15, 2026Updated 9 months ago
- Tips and snippets for a robust Reloaded workflow☆21Mar 11, 2019Updated 7 years ago
- Zero config CLI, HTTP, and REPL interface for Clojure.☆37Jul 3, 2026Updated 4 months ago
- this time hooks will work☆26Jul 25, 2026Updated 3 months ago
- Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless…☆110Mar 16, 2024Updated 2 years ago
- A simple tool for compiling Java from the Clojure CLI.☆60Aug 26, 2021Updated 5 years ago
- An opinionated Datomic queue for building (more) reliable systems. Supports retries, backoff, ordering and more.☆59Sep 22, 2025Updated last year