Open format for specifying structured assumptions and requirements about code.
☆35Sep 11, 2026Updated this week
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:
- DeepSeek 4 Flash local inference engine for Metal☆63May 15, 2026Updated 3 months ago
- Ultra-low-latency, high-throughput multiprocess transport over SHM and mmap. LMAX-Disruptor-style cross-process ring substrate.☆20Aug 6, 2026Updated last month
- Generate documentation from Actions and Reusable Workflows.☆12Jan 13, 2026Updated 8 months ago
- Unison Share's backend server☆31Sep 3, 2026Updated last week
- Updated voice agent with Nemotron 3.5 ASR☆18Jun 4, 2026Updated 3 months 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.
- Creating diff that supports wildcard produced by LLMs☆16Sep 18, 2024Updated last year
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Notify Honeybadger about Haskell exceptions.☆12Aug 10, 2026Updated last month
- Lightweight Python library for formatting LLM chat prompts☆14Jan 22, 2024Updated 2 years ago
- Type definitions and low level interface implementations for the W3C WebSocket API☆12Apr 27, 2022Updated 4 years ago
- Lossless Context Management for Pi. DAG-based summarization with full history recovery.☆17Apr 2, 2026Updated 5 months ago
- A simple and easy library for text-based game development☆11Feb 16, 2026Updated 6 months ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years 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.
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Code for AttriBoT from "AttriBoT: A Bag of Tricks for Efficiently Approximating Leave-One-Out Context Attribution"☆15Apr 21, 2025Updated last year
- Opinionated Makefile to build ES6 JS, JSX and Pug files☆15Dec 15, 2017Updated 8 years ago
- Mine-tuning is a methodology for synchronizing human and AI attention.☆21Jun 16, 2024Updated 2 years ago
- Faktory Worker for Haskell☆17Updated this week
- ☆10Apr 25, 2018Updated 8 years ago
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆19Mar 4, 2026Updated 6 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Aug 6, 2026Updated last month
- Fast, compact and modular redstone circuit, inspired by Compact Machine and real world computer engineering.☆15Jul 6, 2026Updated 2 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.
- Enforce HTTPS in Wai server app safely.☆13Nov 1, 2021Updated 4 years ago
- ☆37Apr 25, 2026Updated 4 months ago
- A modern schema validation and filtration library with great TypeScript support.☆19Jul 1, 2025Updated last year
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated 2 months ago
- 💡😍 Small side project ideas for people to pick up and implement☆10Oct 21, 2019Updated 6 years ago
- ☆23Apr 23, 2026Updated 4 months ago
- Some code for syncing GameObject behaviors to real-time audio events☆26Nov 2, 2014Updated 11 years ago
- Graphviz code generation with Haskell☆18Jan 26, 2023Updated 3 years ago
- Beat for traceroute command☆14Oct 5, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Easily create a Babel File object☆11Aug 10, 2018Updated 8 years ago
- A minimal implementation of Agentic RAG using GRPO☆17Jun 11, 2025Updated last year
- my stuff for pi☆38Aug 24, 2026Updated 2 weeks ago
- Give agents control of your screen, securely.☆39Mar 13, 2026Updated 6 months ago
- A native desktop app for Git worktree management☆18Sep 3, 2026Updated last week
- ☆26Sep 1, 2026Updated last week
- AI Agent for Spreadsheet☆15Sep 18, 2025Updated 11 months ago