The Contract layer for Impatient Programming in Elixir: obligations, decision records, contract coverage, regeneration packs and obligation-credited mutation testing
☆30Oct 16, 2026Updated this week
Alternatives and similar repositories for covenant
Users that are interested in covenant are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A correctness-first SCXML 1.0 interpreter (ECMAScript data model) with custom elements for interactive statecharts☆25Oct 10, 2026Updated last week
- Protobuf messages in a bottle☆10Sep 15, 2026Updated last month
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆48Oct 5, 2026Updated last week
- Vigilant keeps watch over your processes.☆14Apr 29, 2019Updated 7 years ago
- Give your CLAUDE.md / AGENTS.md a checkup — audit size vitals, dead references, drifted claims, and backtest every rule against your own …☆38Aug 30, 2026Updated last month
- 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.
- Pockets is an Elixir wrapper around Erlang :ets and :dets, a disk-based term storage☆11Feb 7, 2025Updated last year
- A Fucking Fast Slack Data Model☆10Apr 16, 2017Updated 9 years ago
- Clone of nanoclaw in Elixir☆42Mar 2, 2026Updated 7 months ago
- DSPy prompt engineering☆37Aug 1, 2025Updated last year
- Your primitively secured AI operating system.☆37Updated this week
- Your engineering taste, in every coding agent. Shadowclone learns your rules and delivers them as skills to Claude Code, Codex, Cursor, P…☆21Updated this week
- Live Common Lisp image repair with OpenAI tools, persistent revisions, and a conversational CLI☆67Oct 7, 2026Updated last week
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- PowerShell module for X509 certificates, using BouncyCastle☆14Mar 4, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Dictionary (memory) optimized for a small number of items☆13Aug 29, 2017Updated 9 years ago
- Faster, smoother iOS development☆35Oct 22, 2013Updated 12 years ago
- Distributed processes manager and global process registry☆85Sep 19, 2026Updated last month
- Example configurations for Warp Factories, defined as files☆41Aug 25, 2026Updated last month
- Source code for samples from RavenDB in Action book☆14Jan 14, 2015Updated 11 years ago
- ACE (Adaptive Code Evolution) is an AI-powered system for code analysis and optimization.☆12Mar 25, 2026Updated 6 months ago
- Axel tries to accelerate HTTP/FTP downloading process by using multiple connections for one file. It can use multiple mirrors for a downl…☆12Jun 26, 2014Updated 12 years ago
- Placeholder for code examples☆18Nov 8, 2010Updated 15 years ago
- Native Rust runtime for adversarial extension workloads with deterministic replay, cryptographic decision receipts, and fleet-scale conta…☆32Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- deprecated.☆39Jan 23, 2014Updated 12 years ago
- A ServiceStack plugin providing auto-generated Postman collections☆10Aug 20, 2015Updated 11 years ago
- Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language☆10Nov 19, 2025Updated 10 months ago
- The Milo Programming Language☆34Updated this week
- A more complex example to practice the Mikado Method☆19Mar 16, 2011Updated 15 years ago
- Self-hosted, Elixir-native alternative to LiteLLM: one API for multi-provider routing, fallbacks, budgets, keys, and observability.☆27Oct 3, 2026Updated 2 weeks ago
- A slick user-interface toolkit created in JavaScript for use with HTML5 canvas.☆10Feb 28, 2016Updated 10 years ago
- ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of c…☆15Aug 21, 2026Updated last month
- Securely send Phoenix.PubSub one-way, over long distances☆14Sep 8, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Experiment in Nix formatting☆23Oct 4, 2019Updated 7 years ago
- A simple little toolkit for quick prototyping and experimenting with web UIs.☆13Feb 26, 2018Updated 8 years ago
- Formally proving complex protocols and systems using TLA+ Proof System (TLAPS)☆37Updated this week
- A implementation of Winston-like logger.☆14Sep 27, 2018Updated 8 years ago
- Build a custom nixos installation iso from any os with the help of vagrant☆17Jul 29, 2021Updated 5 years ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Jun 12, 2020Updated 6 years ago
- Distributed multi-agent framework for event-driven, graph-based computation. Elixir/Python, NATS event streaming, modular operator/XCS ar…☆14Mar 25, 2026Updated 6 months ago