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 3 weeks ago
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.☆18Nov 3, 2026Updated last week
- a DSL that blocks AI mistakes via proof☆17Nov 5, 2026Updated last week
- Concise, curated resources for working with the Clojure Programming and LLM base coding agents☆27Mar 4, 2026Updated 8 months ago
- A self modifying agentic harness for Clojure☆67Updated this week
- Git-like, causal space-time lattice abstraction over systems supporting this memory model.☆22Oct 26, 2026Updated 2 weeks 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.
- A lab and production line for building accountable agentic software features in Clojure☆36Updated this week
- An AI prompting framework☆127Jul 21, 2026Updated 3 months ago
- Bash interpreter with git-like memory and fine grained access control.☆21Jul 28, 2026Updated 3 months ago
- A functional language for machine learning. Inspired by Clojure, compiled to GPUs.☆58Updated this week
- A collection of Skills and Prompts for working with Clojure☆35Dec 5, 2025Updated 11 months ago
- Extensible AI Agent in Clojure☆55Aug 31, 2026Updated 2 months ago
- A Modern, High-performance, Low-alloc Binary Serialization Library for Clojure with 0 dependencies☆28Aug 3, 2026Updated 3 months ago
- List of awesome tools/libraries around Jolt☆16Updated this week
- A Clojure compiler implemented on top of Chez Scheme☆354Updated this 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.
- Glojure AOT Tool☆55Updated this week
- FRP-based LLM agent framework with git-like memory model.☆40Nov 5, 2026Updated last week
- (Event-Sourced) Domain Driven Design Framework☆19Updated this week
- form building platform☆24Jun 17, 2026Updated 4 months ago
- Example TodoMVC powered by fulcro, pathom, and hasura☆15Mar 9, 2021Updated 5 years ago
- Mycelium uses Maestro state machines and Malli contracts to define "The Law of the Graph," providing a high-integrity environment where h…☆101Oct 23, 2026Updated 3 weeks ago
- YAML configuration for Clojure application☆12Jul 5, 2023Updated 3 years ago
- Reactive toolkit for Jolt☆25Updated this week
- Jolt implementation of Laya non-autoregressive System 1 decision engine☆30Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Vibecoded Personal Autonomous Assistant☆13Sep 8, 2026Updated 2 months ago
- An opinionated linter for SKILL.md files☆15May 27, 2026Updated 5 months ago
- Build Reasonable Applications with Clojure in the World of Natural Language Programming☆147Nov 2, 2026Updated last week
- A bridge from Obsidian to Hugo for Static Website Generation (including ForeverLinks redirect support for Netlify).☆10Nov 11, 2024Updated 2 years ago
- 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
- ☆16Oct 14, 2025Updated last year
- a lib to build MCP clients and MCP servers in Clojure(script)☆39Apr 7, 2026Updated 7 months ago
- Use your Kimi Code (Moonshot) subscription in OpenCode via OAuth device flow☆18Jul 17, 2026Updated 3 months ago
- BF IDE with visualization, step by step execution, breakpoints, examples, and syntax highlighting. Made with Godot☆24Apr 24, 2018Updated 8 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.
- Read Excel Files in babashka scripts☆52Apr 7, 2026Updated 7 months ago
- Cryptographic hashing facilities (pbkdf2/bcrypt/scrypt/argon2) for Clojure☆20Feb 1, 2023Updated 3 years ago
- Claude Desktop for Debian-based Linux distributions☆12Oct 31, 2025Updated last year
- ☆17Oct 18, 2026Updated 3 weeks ago
- Clojure native implementation of HNSW algorithm☆18Sep 5, 2026Updated 2 months ago
- A practical python library for identifying morphemes.☆13Mar 11, 2023Updated 3 years ago
- This project provides a modular Python wrapper for the LOINC API, with an MCP server interface that integrates seamlessly with Claude Des…☆13Mar 27, 2025Updated last year
Are these results useful?