Open format for specifying structured assumptions and requirements about code.
☆97Sep 11, 2026Updated last month
Alternatives and similar repositories for code-contracts
Users that are interested in code-contracts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability☆15Oct 5, 2026Updated 2 weeks ago
- Programming language for AI age☆83Updated this week
- Gloop is a self-modifying, self-replicating CLI AI agent☆15Oct 7, 2026Updated 2 weeks ago
- Keep specialist bots, their memory, and their conversations together across projects.☆31Updated this week
- An opinionated, personal ADE that supports remote backends, agent tools exposed over a control plane and scriptable notification hooks in…☆15Oct 17, 2026Updated last week
- 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.
- ☆17Feb 13, 2026Updated 8 months ago
- Automated app testing from the future☆143Updated this week
- Pair git worktrees with tmux sessions. Jump between workspaces instantly.☆13Dec 26, 2025Updated 9 months ago
- IDE-like refactoring for agents - ~2x faster with ~50% less tokens. Works with TS, Vue, React & more☆112Oct 12, 2026Updated last week
- Native, local-first knowledge graph engine for code and project artifacts—inspired by Graphify, built in Rust, and evolving beyond it.☆175Updated this week
- A Jev-powered resolver for agent harnesses to find deterministic commands and their context in a nested capability tree.☆19Sep 20, 2026Updated last month
- ☆22Updated this week
- 🐀 Agentic TypeScript scaffold: Effect 4, XState 6 + @xstate/effect, Alchemy infra, varlock config, and a fence that makes cheating uncom…☆126Updated this week
- ☆50Aug 11, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- AI Skills for Antithesis Users☆299Updated this week
- Sawyer Hood's BB plugins: Cascade, Compact Nav, CoW copy, Miku Companion, SlopCop, and T3 Sidebar in one repository☆20Oct 3, 2026Updated 3 weeks ago
- Sandbox is a TypeScript-first Node.js library for spawning libkrun-backed microVMs.☆49Sep 7, 2026Updated last month
- ☆29Jul 9, 2026Updated 3 months ago
- https://codex-infinity.com AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods☆25Aug 24, 2026Updated last month
- Sandbox first AI coding harness☆48Updated this week
- Drop-in toolbar for any website — annotate the UI and capture selectors, computed styles, React component trees, and screenshots as an ag…☆31Oct 1, 2026Updated 3 weeks ago
- DeepSeek 4 Flash local inference engine for Metal☆65May 15, 2026Updated 5 months ago
- Multi-agent collaboration extension for pi — task decomposition, dependency management, parallel execution, TUI panel☆51Aug 20, 2026Updated 2 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.
- Lean 4 tree-sitter bindings — typed grammar schemas, declaration extraction, source maps, and verified properties☆21Jul 16, 2026Updated 3 months ago
- Useful skills.☆140Oct 15, 2026Updated last week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆37Updated this week
- RLM-first backend for the Pi coding agent: a small local model writes code, runs it, verifies, and iterates. Code generation first, with …☆13Aug 29, 2026Updated last month
- Let Claude Code or Codex draw real Excalidraw diagrams — flowcharts, wireframes, slide decks, SWOT, Lean Canvas & 17 official use cases. …☆16Updated this week
- A web interface to capture pi session customType exports from pi-tps.☆16Oct 16, 2026Updated last week
- A fast, streaming-friendly BM25 search engine in Rust with mmap support☆56Mar 19, 2026Updated 7 months ago
- Extract streaming data from text using prefix completion.☆10Oct 6, 2024Updated 2 years ago
- Agent skills from Modem — starting with write-discoverable-code☆59Aug 19, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Challenge, Rethink, Ascend☆20Sep 26, 2026Updated 3 weeks ago
- NLSpec instruction following benchmark for https://factory.strongdm.ai/products/attractor☆22Feb 26, 2026Updated 7 months ago
- Native Rust runtime for adversarial extension workloads with deterministic replay, cryptographic decision receipts, and fleet-scale conta…☆32Updated this week
- ☆85Sep 30, 2026Updated 3 weeks ago
- Agent-first notification service in Rust. Email, SMS, push, in-app inbox. One binary, Postgres only, MCP server built in.☆17Updated this week
- 🪄 Living documents that update themselves from your conversation — a pi extension☆50Mar 31, 2026Updated 6 months ago
- Copy-on-write worktrees with memory that survives them☆167Updated this week