Design-by-Contract Java sample application.
☆17Oct 1, 2020Updated 5 years ago
Alternatives and similar repositories for design-by-contract
Users that are interested in design-by-contract are comparing it to the libraries listed below
Sorting:
- key-value in-memory database server☆13Jan 20, 2023Updated 3 years ago
- OpenConext SAML 2.0 IdP/SP Gateway☆17Updated this week
- Go implementation of Neubot's DASH experiment☆13Aug 24, 2023Updated 2 years ago
- Packer plugin for Alibaba Cloud Image Builder☆15Dec 22, 2025Updated 2 months ago
- Deterministic U2F token project☆10Oct 29, 2019Updated 6 years ago
- Jenkins plugin to monitor pull requests with customizable dashboard. You can also provide a view for your plugin that other developers ca…☆10Jun 26, 2025Updated 8 months ago
- This repository holds all material related to the Ory Summit, specifically the presentations.☆12Oct 22, 2025Updated 4 months ago
- MQTT Load Tester and Monitoring Tool☆12Aug 4, 2023Updated 2 years ago
- ☆13May 10, 2023Updated 2 years ago
- An exploration of Flink and change-data-capture via flink-cdc-connectors☆11Jul 7, 2021Updated 4 years ago
- dump elasticsearch index with golang☆11Nov 8, 2025Updated 3 months ago
- Pipeliner is a set of CICD pipeline templates for GitLab based on Trunk-Based Development git workflows☆11Feb 24, 2022Updated 4 years ago
- Method for storing and unsealing Hashicorp Vault using Ansible and Mac Keychain☆14Nov 29, 2017Updated 8 years ago
- ☆13Feb 27, 2026Updated last week
- NATS as backend for Queue Package☆13Mar 31, 2025Updated 11 months ago
- Wireguard with ACLs and TOTP 2FA☆10Mar 28, 2023Updated 2 years ago
- Python Pydantic model of the Prometheus Alertmanager alert payload☆10Jul 24, 2023Updated 2 years ago
- ☆11Feb 25, 2023Updated 3 years ago
- Docker image for the BIRD Internet Routing Daemon☆11May 1, 2021Updated 4 years ago
- Unix/Linux Programming in C course materials☆15Jan 5, 2026Updated 2 months ago
- Read bytes from stdin and pass them to the remote host☆13Oct 12, 2015Updated 10 years ago
- An application suite to receive TLSRPT datagrams and to generate and deliver TLSRPT reports☆14Nov 11, 2025Updated 3 months ago
- Manifest, appear!☆11Dec 18, 2025Updated 2 months ago
- Generic API clients based on Pydantic and protocols☆13Feb 26, 2026Updated last week
- Initiates PostgreSQL streaming replication using rsync and ssh☆20May 16, 2013Updated 12 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- ☆16Jun 20, 2024Updated last year
- Support for root over network block device☆12Aug 3, 2016Updated 9 years ago
- Simple storage for stock prices with adjusted prices calculation based on Center for Research in Security Prices (CRSP) standards☆12Feb 15, 2018Updated 8 years ago
- NVMesh Container Storage Interface (CSI) Driver for Kubernetes☆11Oct 7, 2024Updated last year
- A working example of how to use interfaces and abstract classes in PHP.☆11Jan 16, 2020Updated 6 years ago
- Name Service Switch (NSS) lookups with custom commands☆13Aug 14, 2025Updated 6 months ago
- PagerDuty's developer documentation☆16Dec 16, 2025Updated 2 months ago
- Demo tool for Go concurrency analysis framework☆11Sep 13, 2018Updated 7 years ago
- Source code and logic to build Luau for Rust☆10Updated this week
- Collection of Helm charts that developed by the BeeInventor.☆10Feb 20, 2025Updated last year
- A self-serve automated SSH CA implemented as an SSH forced command☆13Sep 21, 2018Updated 7 years ago
- Asyncio remote procedure call (RPC) client & server with MsgPack serialization☆11Apr 30, 2025Updated 10 months ago
- Authentication / Authorization microservice☆10Mar 3, 2019Updated 7 years ago