GitHub topics: contract-programming
AirshipSim/SnakeD
A snake game to demo D contract programming in regards to DO-178c
Language: D - Size: 9.27 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
dsheiko/bycontract
Argument validation library based on JSDOC syntax
Language: JavaScript - Size: 1.51 MB - Last synced at: 20 days ago - Pushed at: 2 months ago - Stars: 31 - Forks: 6
FinnishCancerRegistry/dbc
Design-by-contract: verify your function inputs and outputs. Includes a large number of generated verifcation functions for convenience.
Language: R - Size: 1.44 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
