An OpenAI-compatible bridge that anchors LLM reasoning in logical reality by using Z3 to incrementally verify, self-correct, and prove the uniqueness of SMT-encoded solutions.
☆15Oct 15, 2026Updated last week
Alternatives and similar repositories for veriframe
Users that are interested in veriframe are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An agentic coding agent driven by statecharts.☆18Sep 30, 2026Updated 3 weeks ago
- a DSL that blocks AI mistakes via proof☆15Oct 8, 2026Updated 2 weeks ago
- A self modifying agentic harness for Clojure☆54Updated this week
- A lab and production line for building accountable agentic software features in Clojure☆22Updated this week
- Concise, curated resources for working with the Clojure Programming and LLM base coding agents☆27Mar 4, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Git-like, causal space-time lattice abstraction over systems supporting this memory model.☆22Oct 16, 2026Updated last week
- Bash interpreter with git-like memory and fine grained access control.☆21Jul 28, 2026Updated 2 months ago
- An AI prompting framework☆127Jul 21, 2026Updated 3 months ago
- A functional language for machine learning. Inspired by Clojure, compiled to GPUs.☆56Updated this week
- A Clojure compiler implemented on top of Chez Scheme☆343Updated this week
- A Modern, High-performance, Low-alloc Binary Serialization Library for Clojure with 0 dependencies☆28Aug 3, 2026Updated 2 months ago
- A collection of Skills and Prompts for working with Clojure☆35Dec 5, 2025Updated 10 months ago
- Extensible AI Agent in Clojure☆55Aug 31, 2026Updated last month
- List of awesome tools/libraries around Jolt☆17Oct 9, 2026Updated 2 weeks ago
- 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.
- form building platform☆23Jun 17, 2026Updated 4 months ago
- Glojure AOT Tool☆54Updated this week
- Reactive toolkit for Jolt☆23Oct 18, 2026Updated last week
- FRP-based LLM agent framework with git-like memory model.☆39Updated this week
- Jolt implementation of Laya non-autoregressive System 1 decision engine☆29Updated this week
- Mycelium uses Maestro state machines and Malli contracts to define "The Law of the Graph," providing a high-integrity environment where h…☆96Updated this week
- ZIL: a relational knowledge language implemented in Lean 4 with a Clojure runtime and toolchain☆34Oct 17, 2026Updated last week
- (Event-Sourced) Domain Driven Design Framework☆19Updated this week
- Example TodoMVC powered by fulcro, pathom, and hasura☆15Mar 9, 2021Updated 5 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.
- YAML configuration for Clojure application☆12Jul 5, 2023Updated 3 years ago
- Build Reasonable Applications with Clojure in the World of Natural Language Programming☆127Updated this week
- This project provides a modular Python wrapper for the LOINC API, with an MCP server interface that integrates seamlessly with Claude Des…☆12Mar 27, 2025Updated last year
- Contains detailed notes, codes, answers to quizzes and exercises of all the 3 courses of the AI for Medicine specialization, by deeplearn…☆13Aug 2, 2020Updated 6 years ago
- Decision-level holdout audits for benchmark-generation evaluators.☆16Jul 24, 2026Updated 3 months ago
- An engineering-focused guide to modern foundation models: architectures, training systems, inference, RAG, agents, evaluation, and safety…☆23Oct 17, 2026Updated last week
- A practical python library for identifying morphemes.☆13Mar 11, 2023Updated 3 years ago
- This is a generic knowledge agent for creating a RAG pipeline from source docs, etc.☆32Jul 8, 2026Updated 3 months ago
- Vibecoded Personal Autonomous Assistant☆13Sep 8, 2026Updated last month
- 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.
- Read Excel Files in babashka scripts☆52Apr 7, 2026Updated 6 months ago
- A bridge from Obsidian to Hugo for Static Website Generation (including ForeverLinks redirect support for Netlify).☆10Nov 11, 2024Updated last year
- BF IDE with visualization, step by step execution, breakpoints, examples, and syntax highlighting. Made with Godot☆24Apr 24, 2018Updated 8 years ago
- a lib to build MCP clients and MCP servers in Clojure(script)☆40Apr 7, 2026Updated 6 months ago
- Generalized algebraic theories and categorical programming for Clojure.☆23Jun 4, 2026Updated 4 months ago
- Cryptographic hashing facilities (pbkdf2/bcrypt/scrypt/argon2) for Clojure☆20Feb 1, 2023Updated 3 years ago
- Clojure native implementation of HNSW algorithm☆17Sep 5, 2026Updated last month