A corpus of Python programs annotated with contracts
☆26Oct 16, 2025Updated last year
Alternatives and similar repositories for python-by-contract-corpus
Users that are interested in python-by-contract-corpus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Level-up your Hypothesis tests with CrossHair☆28Updated this week
- A simple and eloquent workflow for streaming messages to micro-services.☆16Jun 8, 2017Updated 9 years ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆419Jan 29, 2026Updated 9 months ago
- Repository for my Hypothesis training course☆11Sep 30, 2016Updated 10 years ago
- Combine contracts and automatic testing.☆92Jun 5, 2022Updated 4 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.
- Minimalistic, functional, JSON-formatted programming language☆20Mar 22, 2017Updated 9 years ago
- This Django package sends your text messages (SMS) through Amazon SNS and provides reporting helpers.☆11Dec 26, 2022Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 4 years ago
- An Excel formula parser☆12Mar 3, 2019Updated 7 years ago
- An analysis tool for Python that blurs the line between testing and type systems.☆1,341Updated this week
- Code for generating the JuICe dataset.☆37Oct 27, 2021Updated 5 years ago
- Modify dynamic linker, RPATH and other ELF metadata of executables☆11Oct 20, 2026Updated last week
- Temporal question answering dataset for Wikidata☆14Sep 17, 2025Updated last year
- clean contracts☆40Dec 17, 2024Updated last year
- 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.
- Corpus of runnable, open-source Java 1.5+ programs.☆19May 18, 2017Updated 9 years ago
- Lyra: A Benchmark for Turducken-Style Code Generation☆15Apr 22, 2022Updated 4 years ago
- A collection of tools for the Nix daemon wire protocol☆14Oct 21, 2026Updated last week
- Specify contracts for FastAPI endpoints.☆25Jan 28, 2022Updated 4 years ago
- A GitHub Action for suggesting Python type annotations.☆42Mar 23, 2023Updated 3 years ago
- ☆17Mar 20, 2025Updated last year
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆67Sep 6, 2023Updated 3 years ago
- Examples of Nix WASI derivations written in Rust☆14Jan 23, 2026Updated 9 months ago
- ☆14Jul 23, 2024Updated 2 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.
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 years ago
- JEMMA: An Extensible Java dataset for Many ML4Code Applications☆19Dec 12, 2022Updated 3 years ago
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago
- A system for running blockable Python in the browser, using Pyodide and Unthrow, specifically for CS Education☆10Jul 5, 2024Updated 2 years ago
- Extract sub-aperture images from captured light fields with Lytro Camera. Moreover, calibration data is given in order to rectify and col…☆11Jun 10, 2021Updated 5 years ago
- ☆13Oct 22, 2024Updated 2 years ago
- Typst Plugin to run javascript in contexts☆13May 29, 2026Updated 5 months ago
- Race through breathtaking 3-D graphics with Futhark!☆14Apr 6, 2021Updated 5 years ago
- A helper to get EXPLAIN or EXPLAIN ANALYZE OUTPUT for django queryset.☆19Sep 2, 2016Updated 10 years ago
- 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.
- A More Pythonic Logging System☆21Jun 29, 2020Updated 6 years ago
- Policy-driven failure handling for Python services.☆45Updated this week
- OptiX Software Development Kit☆14Jan 13, 2026Updated 9 months ago
- Museum-quality bit-archive storage management☆11Mar 25, 2026Updated 7 months ago
- Unstable egglog standard library.☆17Updated this week
- 🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.☆919Nov 30, 2025Updated 11 months ago
- [ECCV 2026] Robust Self-Supervised Cross-Modal Super-Resolution against Real-World Misaligned Observations☆21Oct 6, 2026Updated 3 weeks ago