| react-profiling | 0 |
| react-import-map | react,react-dom,react-dom/client,react-dom/profiling,react-is,react-reconciler,react/compiler-runtime,react/jsx-dev-runtime,react/jsx-runtime,scheduler@d5750093facf |
| route-pattern | /topics/:topic_name(.:format) |
| route-controller | topics |
| route-action | show |
| fetch-nonce | v2:96ecaa04-a8a4-467f-5901-0699dcf06be7 |
| current-catalog-service-hash | 78339b992060a6a11548e4f18438b88c3ea1eec1b6705962d1fd145365fa2db1 |
| request-id | AB72:9B30C:863D77:B832A0:6AED97ED |
| html-safe-nonce | 63ecc69f6091f1f97153a13c6138f2f05d6ae3124e099bc2127092647a7c2ffc |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBQjcyOjlCMzBDOjg2M0Q3NzpCODMyQTA6NkFFRDk3RUQiLCJ2aXNpdG9yX2lkIjoiMzIxOTc3MDcyMTEyNjE2MDM2NSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | 83146b035b7d00443f92c9787d2ec32edbedd6153c5c646144b0d2bc2dd80753 |
| github-keyboard-shortcuts | copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/topics/design-by-contract |
| og:site_name | GitHub |
| og:image | https://github.githubassets.com/assets/github-octocat-13c86b8b336d.png |
| og:image:type | image/png |
| og:image:width | 1200 |
| og:image:height | 620 |
| twitter:site:id | 13334762 |
| twitter:creator | github |
| twitter:creator:id | 13334762 |
| twitter:card | summary_large_image |
| twitter:image | https://github.githubassets.com/assets/github-logo-55c5b9a1fe52.png |
| twitter:image:width | 1200 |
| twitter:image:height | 1200 |
| hostname | github.com |
| expected-hostname | github.com |
| None | 56fb42677ae87ed3e64410323d67980aa65d0485568a7858f874e7edfc6d1c11 |
| turbo-cache-control | no-preview |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 9c9a37e2423ed382cf39f70b5aa4b4858b40a3b0 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://github.com/topics/design-by-contract#start-of-content |
| https://github.com/ |
| Sign in | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fdesign-by-contract |
| GitHubRepository hosting, code review, and collaboration | https://github.com/platform |
| CopilotAI coding agent for tasks, projects, and automated work | https://github.com/features/copilot |
| ActionsCI/CD and automation | https://github.com/features/actions |
| Code QualityQuality analysis, fixes, and enforcement | https://github.com/features/code-quality |
| CodespacesCloud development environments | https://github.com/features/codespaces |
| Code SecurityVulnerability detection and remediation | https://github.com/security/advanced-security/code-security |
| Secret ProtectionSecret scanning and leak prevention | https://github.com/security/advanced-security/secret-protection |
| All Features | https://github.com/features |
| Documentation | https://docs.github.com/en |
| Training | https://learn.github.com/skills |
| Certifications | https://learn.github.com/credentials |
| Build with Copilot | https://github.com/features/ai |
| Customize Copilot | https://docs.github.com/en/copilot/how-tos/copilot-on-github/customize-copilot/customize-copilot-overview |
| Integrations | https://github.com/marketplace |
| Trending repos | https://github.com/trending |
| GitHub Sponsors | https://github.com/open-source/sponsors |
| Developer articles | https://github.com/resources/articles |
| ChangelogYour source for the latest features, improvements, and fixes across GitHub products, all in one place. | https://github.blog/changelog/ |
| Enterprises | https://github.com/enterprise |
| Team | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| See all industries | https://github.com/solutions/industry |
| Why GitHub | https://github.com/why-github |
| Customer Stories | https://github.com/customer-stories |
| Business insights | https://github.com/solutions/executive-insights |
| Trust Center | https://github.com/trust-center |
| GitHub Advanced SecurityEnterprise-grade code security | https://github.com/security/advanced-security |
| Copilot for businessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/enterprise/premium-support |
| Documentation | https://docs.github.com/en |
| Resource center | https://github.com/resources |
| Blog | https://github.blog/ |
| Events & webinars | https://github.com/resources/events |
| Community Forum | https://github.com/orgs/community/discussions |
| Customer Stories | https://github.com/customer-stories |
| Integrations | https://github.com/marketplace |
| Customer support | https://help.github.com/ |
| Training | https://learn.github.com/skills |
| GitHub Status | https://www.githubstatus.com/ |
| About | https://github.com/about |
| Partners | https://github.com/partners |
| Changelog | https://github.blog/changelog/ |
| GitHub UniverseThe event for developers, by developers — talks, workshops, and what’s next for GitHub. | https://githubuniverse.com/ |
| Pricing | https://github.com/pricing |
| Sign in | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fdesign-by-contract |
| Sign up | https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fdesign-by-contract&source=header |
| Reload | https://github.com/topics/design-by-contract |
| Reload | https://github.com/topics/design-by-contract |
| Reload | https://github.com/topics/design-by-contract |
| Explore | https://github.com/explore |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Events | https://github.com/events |
| GitHub Sponsors | https://github.com/sponsors/explore |
|
Star
| https://github.com/login?return_to=%2Ftopic.design-by-contract |
|
All
121
| https://github.com/topics/design-by-contract |
|
Python
26
| https://github.com/topics/design-by-contract?l=python |
|
Java
13
| https://github.com/topics/design-by-contract?l=java |
|
Rust
12
| https://github.com/topics/design-by-contract?l=rust |
|
TypeScript
10
| https://github.com/topics/design-by-contract?l=typescript |
|
Go
9
| https://github.com/topics/design-by-contract?l=go |
|
C#
7
| https://github.com/topics/design-by-contract?l=c%23 |
|
Eiffel
5
| https://github.com/topics/design-by-contract?l=eiffel |
|
JavaScript
5
| https://github.com/topics/design-by-contract?l=javascript |
|
Ruby
5
| https://github.com/topics/design-by-contract?l=ruby |
|
C
3
| https://github.com/topics/design-by-contract?l=c |
|
Most stars
| https://github.com/topics/design-by-contract?o=desc&s=stars |
|
Fewest stars
| https://github.com/topics/design-by-contract?o=asc&s=stars |
|
Most forks
| https://github.com/topics/design-by-contract?o=desc&s=forks |
|
Fewest forks
| https://github.com/topics/design-by-contract?o=asc&s=forks |
|
Recently updated
| https://github.com/topics/design-by-contract?o=desc&s=updated |
|
Least recently updated
| https://github.com/topics/design-by-contract?o=asc&s=updated |
| life4 | https://github.com/life4 |
| deal | https://github.com/life4/deal |
|
Star
920
| https://github.com/login?return_to=%2Flife4%2Fdeal |
|
Code
| https://github.com/life4/deal |
|
Issues
| https://github.com/life4/deal/issues |
|
Pull requests
| https://github.com/life4/deal/pulls |
| python | https://github.com/topics/python |
| testing | https://github.com/topics/testing |
| validation | https://github.com/topics/validation |
| interface | https://github.com/topics/interface |
| functional-programming | https://github.com/topics/functional-programming |
| linter | https://github.com/topics/linter |
| decorators | https://github.com/topics/decorators |
| typing | https://github.com/topics/typing |
| property-based-testing | https://github.com/topics/property-based-testing |
| flake8 | https://github.com/topics/flake8 |
| refinement-types | https://github.com/topics/refinement-types |
| pythonic | https://github.com/topics/pythonic |
| contracts-programming | https://github.com/topics/contracts-programming |
| contracts | https://github.com/topics/contracts |
| invariant | https://github.com/topics/invariant |
| hacktoberfest | https://github.com/topics/hacktoberfest |
| mypy | https://github.com/topics/mypy |
| dbc | https://github.com/topics/dbc |
| design-by-contract | https://github.com/topics/design-by-contract |
| deal | https://github.com/topics/deal |
| AlexandreDecan | https://github.com/AlexandreDecan |
| sismic | https://github.com/AlexandreDecan/sismic |
|
Sponsor
| https://github.com/sponsors/AlexandreDecan |
|
Star
172
| https://github.com/login?return_to=%2FAlexandreDecan%2Fsismic |
|
Code
| https://github.com/AlexandreDecan/sismic |
|
Issues
| https://github.com/AlexandreDecan/sismic/issues |
|
Pull requests
| https://github.com/AlexandreDecan/sismic/pulls |
| http://sismic.readthedocs.io/ | http://sismic.readthedocs.io/ |
| python | https://github.com/topics/python |
| testing | https://github.com/topics/testing |
| uml | https://github.com/topics/uml |
| finite-state-machine | https://github.com/topics/finite-state-machine |
| behavior-driven-development | https://github.com/topics/behavior-driven-development |
| property-testing | https://github.com/topics/property-testing |
| statecharts | https://github.com/topics/statecharts |
| hierarchical-state-machine | https://github.com/topics/hierarchical-state-machine |
| design-by-contract | https://github.com/topics/design-by-contract |
| tetrionlabs | https://github.com/tetrionlabs |
| mathema | https://github.com/tetrionlabs/mathema |
|
Star
141
| https://github.com/login?return_to=%2Ftetrionlabs%2Fmathema |
|
Code
| https://github.com/tetrionlabs/mathema |
|
Issues
| https://github.com/tetrionlabs/mathema/issues |
|
Pull requests
| https://github.com/tetrionlabs/mathema/pulls |
| property-based-testing | https://github.com/topics/property-based-testing |
| code-review | https://github.com/topics/code-review |
| test-driven-development | https://github.com/topics/test-driven-development |
| software-verification | https://github.com/topics/software-verification |
| design-by-contract | https://github.com/topics/design-by-contract |
| ai-assisted-development | https://github.com/topics/ai-assisted-development |
| mcp-server | https://github.com/topics/mcp-server |
| spec-driven-development | https://github.com/topics/spec-driven-development |
| claim-driven-development | https://github.com/topics/claim-driven-development |
| system-0-engine | https://github.com/topics/system-0-engine |
| StefanUlbrich | https://github.com/StefanUlbrich |
| design-by-contract | https://github.com/StefanUlbrich/design-by-contract |
|
Star
102
| https://github.com/login?return_to=%2FStefanUlbrich%2Fdesign-by-contract |
|
Code
| https://github.com/StefanUlbrich/design-by-contract |
|
Issues
| https://github.com/StefanUlbrich/design-by-contract/issues |
|
Pull requests
| https://github.com/StefanUlbrich/design-by-contract/pulls |
|
Discussions
| https://github.com/StefanUlbrich/design-by-contract/discussions |
| python | https://github.com/topics/python |
| design-by-contract | https://github.com/topics/design-by-contract |
| python310 | https://github.com/topics/python310 |
| sellout | https://github.com/sellout |
| quid-pro-quo | https://github.com/sellout/quid-pro-quo |
|
Sponsor
| https://github.com/sponsors/sellout |
|
Star
102
| https://github.com/login?return_to=%2Fsellout%2Fquid-pro-quo |
|
Code
| https://github.com/sellout/quid-pro-quo |
|
Issues
| https://github.com/sellout/quid-pro-quo/issues |
|
Pull requests
| https://github.com/sellout/quid-pro-quo/pulls |
| eiffel | https://github.com/topics/eiffel |
| common-lisp | https://github.com/topics/common-lisp |
| postcondition | https://github.com/topics/postcondition |
| preconditions | https://github.com/topics/preconditions |
| design-by-contract | https://github.com/topics/design-by-contract |
| feO2x | https://github.com/feO2x |
| Light.GuardClauses | https://github.com/feO2x/Light.GuardClauses |
|
Star
92
| https://github.com/login?return_to=%2FfeO2x%2FLight.GuardClauses |
|
Code
| https://github.com/feO2x/Light.GuardClauses |
|
Issues
| https://github.com/feO2x/Light.GuardClauses/issues |
|
Pull requests
| https://github.com/feO2x/Light.GuardClauses/pulls |
|
Discussions
| https://github.com/feO2x/Light.GuardClauses/discussions |
| csharp | https://github.com/topics/csharp |
| dotnet | https://github.com/topics/dotnet |
| assertions | https://github.com/topics/assertions |
| preconditions | https://github.com/topics/preconditions |
| dbc | https://github.com/topics/dbc |
| guard-clauses | https://github.com/topics/guard-clauses |
| design-by-contract | https://github.com/topics/design-by-contract |
| precondition-checks | https://github.com/topics/precondition-checks |
| orsinium-archive | https://github.com/orsinium-archive |
| djburger | https://github.com/orsinium-archive/djburger |
|
Star
75
| https://github.com/login?return_to=%2Forsinium-archive%2Fdjburger |
|
Code
| https://github.com/orsinium-archive/djburger |
|
Issues
| https://github.com/orsinium-archive/djburger/issues |
|
Pull requests
| https://github.com/orsinium-archive/djburger/pulls |
| python | https://github.com/topics/python |
| api | https://github.com/topics/api |
| scheme | https://github.com/topics/scheme |
| django | https://github.com/topics/django |
| parse | https://github.com/topics/parse |
| validation | https://github.com/topics/validation |
| rest | https://github.com/topics/rest |
| mvc | https://github.com/topics/mvc |
| solid | https://github.com/topics/solid |
| rest-api | https://github.com/topics/rest-api |
| clean-code | https://github.com/topics/clean-code |
| validator | https://github.com/topics/validator |
| decorators | https://github.com/topics/decorators |
| django-rest-framework | https://github.com/topics/django-rest-framework |
| mvc-framework | https://github.com/topics/mvc-framework |
| marshmallow | https://github.com/topics/marshmallow |
| contracts-programming | https://github.com/topics/contracts-programming |
| restful-api | https://github.com/topics/restful-api |
| cbv | https://github.com/topics/cbv |
| design-by-contract | https://github.com/topics/design-by-contract |
| spectrelang | https://github.com/spectrelang |
| spectre | https://github.com/spectrelang/spectre |
|
Star
75
| https://github.com/login?return_to=%2Fspectrelang%2Fspectre |
|
Code
| https://github.com/spectrelang/spectre |
|
Issues
| https://github.com/spectrelang/spectre/issues |
|
Pull requests
| https://github.com/spectrelang/spectre/pulls |
|
Discussions
| https://github.com/spectrelang/spectre/discussions |
| programming-language | https://github.com/topics/programming-language |
| compiler | https://github.com/topics/compiler |
| design-by-contract | https://github.com/topics/design-by-contract |
| aretta-ai | https://github.com/aretta-ai |
| aristo | https://github.com/aretta-ai/aristo |
|
Star
65
| https://github.com/login?return_to=%2Faretta-ai%2Faristo |
|
Code
| https://github.com/aretta-ai/aristo |
|
Issues
| https://github.com/aretta-ai/aristo/issues |
|
Pull requests
| https://github.com/aretta-ai/aristo/pulls |
|
Discussions
| https://github.com/aretta-ai/aristo/discussions |
| rust | https://github.com/topics/rust |
| cli | https://github.com/topics/cli |
| verification | https://github.com/topics/verification |
| formal-methods | https://github.com/topics/formal-methods |
| mit-license | https://github.com/topics/mit-license |
| design-by-contract | https://github.com/topics/design-by-contract |
| code-verification | https://github.com/topics/code-verification |
| coding-agents | https://github.com/topics/coding-agents |
| juancarlospaco | https://github.com/juancarlospaco |
| nim-contra | https://github.com/juancarlospaco/nim-contra |
|
Star
58
| https://github.com/login?return_to=%2Fjuancarlospaco%2Fnim-contra |
|
Code
| https://github.com/juancarlospaco/nim-contra |
|
Issues
| https://github.com/juancarlospaco/nim-contra/issues |
|
Pull requests
| https://github.com/juancarlospaco/nim-contra/pulls |
| javascript | https://github.com/topics/javascript |
| immutable | https://github.com/topics/immutable |
| nim | https://github.com/topics/nim |
| testing-tools | https://github.com/topics/testing-tools |
| hardening | https://github.com/topics/hardening |
| contracts-programming | https://github.com/topics/contracts-programming |
| contracts | https://github.com/topics/contracts |
| security-hardening | https://github.com/topics/security-hardening |
| assertion-library | https://github.com/topics/assertion-library |
| immutable-objects | https://github.com/topics/immutable-objects |
| nim-lang | https://github.com/topics/nim-lang |
| testing-framework | https://github.com/topics/testing-framework |
| design-by-contract | https://github.com/topics/design-by-contract |
| hardened | https://github.com/topics/hardened |
| nimscript | https://github.com/topics/nimscript |
| self-test | https://github.com/topics/self-test |
| compiletime | https://github.com/topics/compiletime |
| ErichDonGubler | https://github.com/ErichDonGubler |
| adhesion-rs | https://github.com/ErichDonGubler/adhesion-rs |
|
Sponsor
| https://github.com/sponsors/ErichDonGubler |
|
Star
53
| https://github.com/login?return_to=%2FErichDonGubler%2Fadhesion-rs |
|
Code
| https://github.com/ErichDonGubler/adhesion-rs |
|
Issues
| https://github.com/ErichDonGubler/adhesion-rs/issues |
|
Pull requests
| https://github.com/ErichDonGubler/adhesion-rs/pulls |
| rust | https://github.com/topics/rust |
| design-patterns | https://github.com/topics/design-patterns |
| design-by-contracts | https://github.com/topics/design-by-contracts |
| contracts-programming | https://github.com/topics/contracts-programming |
| contract-testing | https://github.com/topics/contract-testing |
| design-by-contract | https://github.com/topics/design-by-contract |
| keathley | https://github.com/keathley |
| oath | https://github.com/keathley/oath |
|
Sponsor
| https://github.com/sponsors/keathley |
|
Star
46
| https://github.com/login?return_to=%2Fkeathley%2Foath |
|
Code
| https://github.com/keathley/oath |
|
Issues
| https://github.com/keathley/oath/issues |
|
Pull requests
| https://github.com/keathley/oath/pulls |
| elixir | https://github.com/topics/elixir |
| design-by-contract | https://github.com/topics/design-by-contract |
| ciscoheat | https://github.com/ciscoheat |
| HaxeContracts | https://github.com/ciscoheat/HaxeContracts |
|
Sponsor
| https://github.com/sponsors/ciscoheat |
|
Star
44
| https://github.com/login?return_to=%2Fciscoheat%2FHaxeContracts |
|
Code
| https://github.com/ciscoheat/HaxeContracts |
|
Issues
| https://github.com/ciscoheat/HaxeContracts/issues |
|
Pull requests
| https://github.com/ciscoheat/HaxeContracts/pulls |
| haxe | https://github.com/topics/haxe |
| contracts-programming | https://github.com/topics/contracts-programming |
| design-by-contract | https://github.com/topics/design-by-contract |
| boostorg | https://github.com/boostorg |
| contract | https://github.com/boostorg/contract |
|
Star
42
| https://github.com/login?return_to=%2Fboostorg%2Fcontract |
|
Code
| https://github.com/boostorg/contract |
|
Issues
| https://github.com/boostorg/contract/issues |
|
Pull requests
| https://github.com/boostorg/contract/pulls |
| boost | https://github.com/topics/boost |
| contract | https://github.com/topics/contract |
| design-by-contracts | https://github.com/topics/design-by-contracts |
| contracts-programming | https://github.com/topics/contracts-programming |
| contracts | https://github.com/topics/contracts |
| design-by-contract | https://github.com/topics/design-by-contract |
| Over9rowth | https://github.com/Over9rowth |
| O9-RD-MAO-Governance | https://github.com/Over9rowth/O9-RD-MAO-Governance |
|
Star
39
| https://github.com/login?return_to=%2FOver9rowth%2FO9-RD-MAO-Governance |
|
Code
| https://github.com/Over9rowth/O9-RD-MAO-Governance |
|
Issues
| https://github.com/Over9rowth/O9-RD-MAO-Governance/issues |
|
Pull requests
| https://github.com/Over9rowth/O9-RD-MAO-Governance/pulls |
|
Discussions
| https://github.com/Over9rowth/O9-RD-MAO-Governance/discussions |
| software-engineering | https://github.com/topics/software-engineering |
| multi-agent-systems | https://github.com/topics/multi-agent-systems |
| design-by-contract | https://github.com/topics/design-by-contract |
| black-box-testing | https://github.com/topics/black-box-testing |
| ai-governance | https://github.com/topics/ai-governance |
| cursorrules | https://github.com/topics/cursorrules |
| llm-workflow | https://github.com/topics/llm-workflow |
| agent-orchestration | https://github.com/topics/agent-orchestration |
| claude-code | https://github.com/topics/claude-code |
| o9-rd | https://github.com/topics/o9-rd |
| chavacava | https://github.com/chavacava |
| dbc4go | https://github.com/chavacava/dbc4go |
|
Star
37
| https://github.com/login?return_to=%2Fchavacava%2Fdbc4go |
|
Code
| https://github.com/chavacava/dbc4go |
|
Issues
| https://github.com/chavacava/dbc4go/issues |
|
Pull requests
| https://github.com/chavacava/dbc4go/pulls |
| golang | https://github.com/topics/golang |
| code-generation | https://github.com/topics/code-generation |
| design-by-contract | https://github.com/topics/design-by-contract |
| runtime-verification | https://github.com/topics/runtime-verification |
| cowwoc | https://github.com/cowwoc |
| requirements.java | https://github.com/cowwoc/requirements.java |
|
Sponsor
| https://github.com/sponsors/cowwoc |
|
Star
32
| https://github.com/login?return_to=%2Fcowwoc%2Frequirements.java |
|
Code
| https://github.com/cowwoc/requirements.java |
|
Issues
| https://github.com/cowwoc/requirements.java/issues |
|
Pull requests
| https://github.com/cowwoc/requirements.java/pulls |
| java | https://github.com/topics/java |
| invariants | https://github.com/topics/invariants |
| preconditions | https://github.com/topics/preconditions |
| requirements | https://github.com/topics/requirements |
| design-by-contract | https://github.com/topics/design-by-contract |
| postconditions | https://github.com/topics/postconditions |
| QuantumLeaps | https://github.com/QuantumLeaps |
| DBC-for-embedded-C | https://github.com/QuantumLeaps/DBC-for-embedded-C |
|
Star
25
| https://github.com/login?return_to=%2FQuantumLeaps%2FDBC-for-embedded-C |
|
Code
| https://github.com/QuantumLeaps/DBC-for-embedded-C |
|
Issues
| https://github.com/QuantumLeaps/DBC-for-embedded-C/issues |
|
Pull requests
| https://github.com/QuantumLeaps/DBC-for-embedded-C/pulls |
| assert | https://github.com/topics/assert |
| minimalist | https://github.com/topics/minimalist |
| embedded-c | https://github.com/topics/embedded-c |
| design-by-contract | https://github.com/topics/design-by-contract |
| assert-library | https://github.com/topics/assert-library |
| orsinium-labs | https://github.com/orsinium-labs |
| arguard | https://github.com/orsinium-labs/arguard |
|
Star
23
| https://github.com/login?return_to=%2Forsinium-labs%2Farguard |
|
Code
| https://github.com/orsinium-labs/arguard |
|
Issues
| https://github.com/orsinium-labs/arguard/issues |
|
Pull requests
| https://github.com/orsinium-labs/arguard/pulls |
| lint | https://github.com/topics/lint |
| go | https://github.com/topics/go |
| golang | https://github.com/topics/golang |
| ci | https://github.com/topics/ci |
| linter | https://github.com/topics/linter |
| static-analysis | https://github.com/topics/static-analysis |
| safety | https://github.com/topics/safety |
| contracts | https://github.com/topics/contracts |
| dbc | https://github.com/topics/dbc |
| type-checker | https://github.com/topics/type-checker |
| design-by-contract | https://github.com/topics/design-by-contract |
| guards | https://github.com/topics/guards |
| deal | https://github.com/topics/deal |
| golangci-lint | https://github.com/topics/golangci-lint |
| habedi | https://github.com/habedi |
| zig-dbc | https://github.com/habedi/zig-dbc |
|
Sponsor
| https://github.com/sponsors/habedi |
|
Star
22
| https://github.com/login?return_to=%2Fhabedi%2Fzig-dbc |
|
Code
| https://github.com/habedi/zig-dbc |
|
Issues
| https://github.com/habedi/zig-dbc/issues |
|
Pull requests
| https://github.com/habedi/zig-dbc/pulls |
|
Discussions
| https://github.com/habedi/zig-dbc/discussions |
| zig | https://github.com/topics/zig |
| design-by-contract | https://github.com/topics/design-by-contract |
| software-correctness | https://github.com/topics/software-correctness |
| ziglang | https://github.com/topics/ziglang |
| zig-library | https://github.com/topics/zig-library |
| zig-package | https://github.com/topics/zig-package |
|
Learn more
| https://docs.github.com/en/articles/classifying-your-repository-with-topics |
|
| https://github.com |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |