Design-by-contract for Go1
☆17Mar 16, 2019Updated 7 years ago
Alternatives and similar repositories for dbc
Users that are interested in dbc are comparing it to the libraries listed below
Sorting:
- Fuse driver to simulate slow disk IO for testing purposes☆15Jul 24, 2014Updated 11 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Minimalist process isolation tool implemented with Linux namespaces☆20Sep 14, 2016Updated 9 years ago
- uncov(er) is a tool that collects and processes code coverage reports.☆15Nov 26, 2025Updated 3 months ago
- Building an intuition for latency and throughput of basic operations across SQL databases.☆55Oct 5, 2023Updated 2 years ago
- A Go package for cpio archives☆13Apr 5, 2022Updated 3 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Run a process in its own cgroup☆26Jul 9, 2014Updated 11 years ago
- Reverse dependency lister for Go☆12Feb 10, 2014Updated 12 years ago
- Prints windows exe header and export/import info☆10May 6, 2022Updated 3 years ago
- Zabbix Extended Monitoring Scripts (and templates)☆14Feb 10, 2021Updated 5 years ago
- profanity — word filter service☆13Oct 29, 2015Updated 10 years ago
- DataScience intro with Go for the JDEV-2017☆10Nov 16, 2017Updated 8 years ago
- Rust privsep experiments☆19Nov 18, 2021Updated 4 years ago
- Many queue implementations with a test-suite☆11May 4, 2022Updated 3 years ago
- It'is a agent module to check network sockets status with zabbix > 2.2.x on Linux☆16May 30, 2019Updated 6 years ago
- A flat file social network for tilde servers☆15Sep 11, 2020Updated 5 years ago
- Sample project to emit/handle events using bus package☆11Dec 11, 2021Updated 4 years ago
- RZabbix is an R wrapper for Zabbix API.☆12Nov 28, 2016Updated 9 years ago
- The vmd application from OpenBSD adjusted to work on macOS. Using the Apple Virtualization Framework.☆21Jun 13, 2022Updated 3 years ago
- A site that compares Rust to C++ and Java☆12Apr 10, 2022Updated 3 years ago
- A tool for design-by-contract in Go☆117Jan 26, 2019Updated 7 years ago
- Generate GitHub Actions matrix on the fly based on your constraints☆12Apr 1, 2024Updated last year
- Files to build rpm for vault☆11Sep 19, 2020Updated 5 years ago
- Simple fan-in batching for optimization of highly concurrent workloads☆16Feb 6, 2026Updated last month
- Zabbix Loadable Module for make monitoring with PHP scripting language☆15Nov 6, 2024Updated last year
- GCounter CRDT Implemented in Go & Docker☆15Sep 5, 2020Updated 5 years ago
- Spectron TypeScript Starter for e2e testing electron applications☆15Sep 28, 2018Updated 7 years ago
- A very simple cli helper that encrypts files in directories using AES-GCM (128bit)☆15Oct 22, 2025Updated 4 months ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Mar 8, 2016Updated 10 years ago
- Unixy security tools for reporting and alerting about security information and events☆15May 8, 2022Updated 3 years ago
- ☆30Feb 11, 2026Updated last month
- Go wrapper for LMDB - OpenLDAP Lightning Memory-Mapped Database☆11Feb 25, 2018Updated 8 years ago
- Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)☆30Dec 16, 2022Updated 3 years ago
- Experimental: Cody in Neovim.☆12Apr 1, 2024Updated last year
- Golang bindings for https://github.com/valeriansaliou/sonic☆23Dec 5, 2025Updated 3 months ago
- Play with CRIU in vagrant, all automated.☆10Oct 11, 2015Updated 10 years ago
- Module to help build a custom command-line vocabulary for your bot☆15Apr 25, 2018Updated 7 years ago
- Golang Linux memfd library☆87Feb 19, 2017Updated 9 years ago