Design-by-Contract Java sample application.
☆18Oct 1, 2020Updated 6 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jun 18, 2024Updated 2 years ago
- Ansible playbook - Containerize, configure and deploy Prometheus ecosystem☆30Oct 26, 2026Updated last week
- ☆27Sep 30, 2026Updated last month
- Read bytes from stdin and pass them to the remote host☆13Oct 12, 2015Updated 11 years ago
- A PostgreSQL schema management tool☆14Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Jenkins plugin to monitor pull requests with customizable dashboard. You can also provide a view for your plugin that other developers ca…☆10Updated this week
- NATSSL: Zero-Configuration Distributed TLS for Private Infrastructure☆13Oct 27, 2026Updated last week
- Demo tool for Go concurrency analysis framework☆11Sep 13, 2018Updated 8 years ago
- An opinionated framework for building golang cli tools on top of mitchellh/cli.☆10Oct 13, 2026Updated 3 weeks ago
- Envoy-based PostgreSQL Proxy☆11Feb 3, 2020Updated 6 years ago
- NATS as backend for Queue Package☆14Updated this week
- A POC for Postgres logical replication in Rust☆11Oct 26, 2023Updated 3 years ago
- key-value in-memory database server☆13Aug 28, 2026Updated 2 months ago
- TOTP client for the command line - like Google Authenticator for your desktop.☆12Sep 10, 2015Updated 11 years ago
- 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.
- stream data generator☆15Jul 5, 2024Updated 2 years ago
- Tiny recursive descent expression parser, compiler, and evaluation engine for math expressions.☆11Jul 11, 2023Updated 3 years ago
- A go parser for m3u files. It parses the contents of m3u file to a slice of streams information which can be saved as a JSON file☆10Oct 4, 2025Updated last year
- A demo of gittuf☆13Oct 26, 2026Updated last week
- 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
- Semantic version parsing and comparison for Rust, based on the node-semver package.☆10Nov 22, 2021Updated 4 years ago
- Installer for Nexus IQ Server☆10Jul 8, 2026Updated 3 months ago
- random notes and scripts☆11Dec 17, 2018Updated 7 years ago
- Azure Active Directory OpenVPN Plugin☆10Aug 16, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ExaLogLog: Space-Efficient and Practical Approximate Distinct Counting up to the Exa-Scale☆13Mar 14, 2025Updated last year
- This repository holds all material related to the Ory Summit, specifically the presentations.☆12Sep 30, 2026Updated last month
- An exploration of Flink and change-data-capture via flink-cdc-connectors☆11Jul 7, 2021Updated 5 years ago
- ☆12May 10, 2023Updated 3 years ago
- Support for root over network block device☆12Aug 3, 2016Updated 10 years ago
- Bindings to HDFS Native C API.☆14Oct 26, 2026Updated last week
- Python Pydantic model of the Prometheus Alertmanager alert payload☆10Jul 24, 2023Updated 3 years ago
- The Auditree data gathering and reporting tool.☆17Aug 23, 2024Updated 2 years ago
- Deterministic U2F token project☆11Oct 29, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A memcache to redis proxy/protocol translator written in golang☆17Jun 7, 2013Updated 13 years ago
- MQTT Load Tester and Monitoring Tool☆12Aug 4, 2023Updated 3 years ago
- Firefox Container Redirector Extension☆12Jan 27, 2026Updated 9 months ago
- Utility that allows users to manage netrc files☆11Oct 27, 2026Updated last week
- In this project, we build, deploy, and manage a Kubernetes cluster using RKE2 (Rancher Kubernetes Engine v2) using Cloud VMs (on Google C…☆14Jun 30, 2025Updated last year
- Practical DevOps Second Edition, published by Packt☆12Jan 30, 2023Updated 3 years ago
- Dashboard to manage right-time data movement with Estuary☆17Updated this week