GitHub topics: postconditions
andreamancuso/rivar-lang
Rivar is a minimal, contract-first, class-based programming language inspired by Eiffel.
Language: OCaml - Size: 155 KB - Last synced at: 5 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0
cowwoc/requirements.java
Fluent Design Contracts for Java Projects
Language: Java - Size: 9.24 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 25 - Forks: 1
cowwoc/requirements.js
Fluent Design by Contract for Javascript APIs
Language: TypeScript - Size: 4.02 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 8 - Forks: 0
mchalapuk/offensive.js
:facepunch: Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.
Language: TypeScript - Size: 1.03 MB - Last synced at: 28 days ago - Pushed at: 11 months ago - Stars: 9 - Forks: 2
abeltavares/pysertive
✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, postconditions, and invariants with easy-to-use decorators.
Language: Python - Size: 98.6 KB - Last synced at: 8 days ago - Pushed at: 11 months ago - Stars: 5 - Forks: 1
ArturLavrov/DeclarativeContracts
Small library that enforce design by contract approach in declarative manner
Language: C# - Size: 86.9 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1
lsolano/triplex
Validation library inspired by the concepts of Secure by Design, by Dan Bergh Johnsson, Daniel Deogun, and Daniel Sawano (MEAP 2019 Manning Publications).
Language: C# - Size: 470 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
chtoucas/Cerbere 📦
Code Contracts and debugging put together.
Language: C# - Size: 57.6 KB - Last synced at: 9 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
