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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Expressive flags for Go☆18Sep 30, 2026Updated 2 weeks ago
- uncov(er) is a tool that collects and processes code coverage reports.☆15Jul 20, 2026Updated 2 months ago
- Building an intuition for latency and throughput of basic operations across SQL databases.☆55Oct 5, 2023Updated 3 years ago
- Prints windows exe header and export/import info☆10May 6, 2022Updated 4 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.
- Zabbix Extended Monitoring Scripts (and templates)☆14Feb 10, 2021Updated 5 years ago
- Reverse dependency lister for Go☆12Feb 10, 2014Updated 12 years ago
- A hashmap for Go that uses crypto random seeds, hash hints, open addressing, and robin hood hashing.☆29May 18, 2019Updated 7 years ago
- The vmd application from OpenBSD adjusted to work on macOS. Using the Apple Virtualization Framework.☆21Jun 13, 2022Updated 4 years ago
- Rust privsep experiments☆19Nov 18, 2021Updated 4 years ago
- Emacs SSH Machines Management Tool☆13Mar 13, 2026Updated 7 months ago
- DataScience intro with Go for the JDEV-2017☆10Nov 16, 2017Updated 8 years ago
- Developer friendly Docker orchestration, observations, and continuous integration☆12Jan 11, 2023Updated 3 years ago
- profanity — word filter service☆13Oct 29, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- It'is a agent module to check network sockets status with zabbix > 2.2.x on Linux☆16May 30, 2019Updated 7 years ago
- Hiera AWS Backend☆24Mar 29, 2022Updated 4 years ago
- Tool for simple use of ast-based code generation☆11Nov 5, 2024Updated last year
- Sample project to emit/handle events using bus package☆12Dec 11, 2021Updated 4 years ago
- Extension of project.el to detect project root with root file (e.g. Gemfile).☆14Dec 7, 2025Updated 10 months ago
- Wrapper library for date/time conversion. Takes many standard ISO date formats as stirngs and creates internally consistent datetime obje…☆14Jun 29, 2023Updated 3 years ago
- A flat file social network for tilde servers☆15May 2, 2026Updated 5 months ago
- Many queue implementations with a test-suite☆11May 4, 2022Updated 4 years ago
- [BROKEN] Zabbix agent (3.0) native plugin for Mongodb monitoring☆11Aug 28, 2018Updated 8 years ago
- 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.
- a monitoring system for Go applications using expvar (/debug/vars)☆22Sep 29, 2019Updated 7 years ago
- RZabbix is an R wrapper for Zabbix API.☆12Nov 28, 2016Updated 9 years ago
- A simple Racket package to display text tables with utf-8 boxes☆13Jun 28, 2023Updated 3 years ago
- Exhaustive BCD Verifier Sega Genesis ROM for the M68000 processor☆18Aug 31, 2018Updated 8 years ago
- A site that compares Rust to C++ and Java☆12Apr 10, 2022Updated 4 years ago
- A tool for design-by-contract in Go☆119Jan 26, 2019Updated 7 years ago
- Generate GitHub Actions matrix on the fly based on your constraints☆13Aug 30, 2026Updated last month
- Add _ as a shorthand in shell mode for the last shell output☆16Aug 30, 2022Updated 4 years ago
- Simple fan-in batching for optimization of highly concurrent workloads☆16Feb 6, 2026Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- deterministic subsetting☆25Mar 29, 2018Updated 8 years ago
- Zabbix Loadable Module for make monitoring with PHP scripting language☆17Nov 6, 2024Updated last year
- Property based testing in Lua, inspired by the original QuickCheck.☆43Jan 30, 2022Updated 4 years ago
- A very simple cli helper that encrypts files in directories using AES-GCM (128bit)☆16Sep 30, 2026Updated last week
- Сhecks that the Structes are created by the Factory☆15Updated this week
- Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)☆31Dec 16, 2022Updated 3 years ago
- WebSocket-enabled PDF viewer☆15Jun 6, 2022Updated 4 years ago