Zil lang DSL for Lean 4
☆34Oct 31, 2026Updated last week
Alternatives and similar repositories for zil-lean
Users that are interested in zil-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [Discontinued] Zig as a Clojure library.☆14Sep 15, 2026Updated last month
- An agentic coding agent driven by statecharts.☆18Updated this week
- Static purity and effect analysis for Clojure.☆19Oct 24, 2026Updated 2 weeks ago
- form building platform☆24Jun 17, 2026Updated 4 months ago
- Mycelium uses Maestro state machines and Malli contracts to define "The Law of the Graph," providing a high-integrity environment where h…☆98Oct 23, 2026Updated 2 weeks 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.
- Extensible AI Agent in Clojure☆55Aug 31, 2026Updated 2 months ago
- Bash interpreter with git-like memory and fine grained access control.☆21Jul 28, 2026Updated 3 months ago
- A small Clojure event-store library☆13Jun 15, 2026Updated 4 months ago
- an experiment in geometry☆11Mar 30, 2024Updated 2 years ago
- An idiomatic Clojure wrapper for the latest version of cucumber-jvm, inspired by auxoncorp/clj-cucumber☆21May 21, 2026Updated 5 months ago
- A high-performance disk-backed queue for Clojure☆29Apr 13, 2026Updated 6 months ago
- Library to help build incremental views for datascript queries☆12Sep 15, 2026Updated last month
- An OpenAI-compatible bridge that anchors LLM reasoning in logical reality by using Z3 to incrementally verify, self-correct, and prove th…☆15Oct 15, 2026Updated 3 weeks ago
- ClojureScript bindings for TVOS☆15Oct 30, 2015Updated 11 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.
- lightweight, collaborative platform to organize events☆13Jun 29, 2023Updated 3 years ago
- The Hackable VS Code AI Assistant☆12Sep 19, 2024Updated 2 years ago
- Concise, curated resources for working with the Clojure Programming and LLM base coding agents☆27Mar 4, 2026Updated 8 months ago
- Ring FCIS (Functional Core Imperative Shell) support through nexus☆19Jul 28, 2025Updated last year
- 187 raylib examples in Jolt: native Clojure on Chez Scheme, binding libraylib 6.0 directly over its C ABI☆19Updated this 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
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Feb 18, 2026Updated 8 months ago
- ☆14Mar 10, 2026Updated 7 months ago
- A collection of Skills and Prompts for working with Clojure☆35Dec 5, 2025Updated 11 months 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.
- 🦅 EACL: Enterprise Access ControL is a ReBAC Authorization library inspired by SpiceDB, built in Clojure and backed by Datomic Pro, Data…☆98Oct 4, 2026Updated last month
- Convex Design and Documentation☆17Oct 31, 2026Updated last week
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Updated this week
- A Clojure TUI (Terminal User Interface) library inspired by Bubble Tea☆123Oct 28, 2026Updated last week
- A Clojure library exploring the application of pure reasoning algorithms.☆30Aug 4, 2026Updated 3 months ago
- Create Dear ImGui GUIs in jank☆21Oct 4, 2026Updated last month
- A behavior system for LLMs☆42Apr 30, 2026Updated 6 months ago
- GraphQL queries as Clojure data structures☆19Oct 1, 2024Updated 2 years ago
- Audible and visual feedback for test runs☆18Oct 21, 2025Updated last year
- 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.
- Carefree SL4J/Logback logging in boot projects☆10Sep 7, 2016Updated 10 years ago
- Generate hiccup (reagent/server rendering) components from HTML templates at compile time☆14Nov 24, 2025Updated 11 months ago
- A Modern, High-performance, Low-alloc Binary Serialization Library for Clojure with 0 dependencies☆28Aug 3, 2026Updated 3 months ago
- Krestianstvo | Electric - Clojure. Implementing a scalable Croquet VM.☆31May 20, 2024Updated 2 years ago
- Babashka CLIs☆56Updated this week
- ☆29Aug 8, 2026Updated 2 months ago
- Run one lexical scope across distributed peers.☆26Sep 3, 2026Updated 2 months ago