design-by-contract
There are 47 repositories under design-by-contract topic.
life4/deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
AlexandreDecan/sismic
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
StefanUlbrich/design-by-contract
Handy decorator for elegant design-by-contract in 3.10+
sellout/quid-pro-quo
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
feO2x/Light.GuardClauses
A lightweight .NET library for expressive Guard Clauses.
orsinium-archive/djburger
Framework for safe and maintainable web-projects.
ErichDonGubler/adhesion-rs
D-inspired contract programming in Rust using macros
juancarlospaco/nim-contra
Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
keathley/oath
Design by contract in elixir
ciscoheat/HaxeContracts
A Design by contract library for Haxe.
boostorg/contract
Contract programming for C++
orsinium-labs/arguard
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
cowwoc/requirements.java
Fluent Design Contracts for Java Projects
drblez/dbc
Design-by-contract for Go1
final-hill/decorator-contracts
Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and the Open-closed principle of SOLID to support Design By Contract™.
marcellerusu/peacock-lang
A Fun Frontend Language
QuantumLeaps/DBC-for-embedded-C
Design By Contract (DBC) for embedded C and C++
shayanh/grpc-go-contracts
Verify the communication of your microservices by writing contracts for your RPCs
tungminhphan/traffic-intersection
This is an example of the design-by-contract method
yawaramin/dbc
Design-by-contract programming for JavaScript and ReasonML
dirkriehle/adap-course
A course on advanced object-oriented design and programming
anirudhgray/tahini-lang
A dynamic, interpreted and impurely functional programming language with testing and design-by-contract features.
cowwoc/requirements.js
Fluent Design by Contract for Javascript APIs
abeltavares/pysertive
✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, postconditions, and invariants with easy-to-use decorators.
delonnewman/contracts-gen
Generate data from contracts
sddevelopment-be/modular-validators
A lightweight validation framework for the JVM, allowing for internal and external validation logic to be combined in a transparant and reusable way
ysulaiman/communique
A Ruby Library for Planning Messages in Sequence Diagrams
arcadio/ajcontract
Design by contract extension to Java using annotations and bytecode injection
BenedictAdamson/DBC-assertions
Java unit-testing assertions to assist a Design By Contract style of programming
christophla/Envoice.Conditions
Code contracts library for pre and post condition validations in a fluent manner.
iamantoniodinuzzo/Java-practice
A set of exercises concerning dynamic binding, internal classes, design by contract, iterators and foreach loop, JFC, equality between objects and much more.
KonnerEL/Smarty
A Smart Contract Language based on design by contract and Event-B
prathgan/COASTL
Lightweight Python package for doing operations concerning Assume-Guarantee (A/G) Contracts and parsing, deriving constraints from, and solving Signal Temporal Logic. Built at DesCyPhy Lab, USC
serradura/bcdd-contract
🚧 Not yet ready for production
thiagodnf/jvalidation
A simple, fast and light-weight validation tool to express pre- and post-conditions in your java code
UniKnow/dbc4j
Library to apply Design By Contract on plain Java projects