Awesome Open Source

Programming Languages

Search results for design by contract

design-by-contract x

22 search results found

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Framework ⭐ 251

Design by Contract framework for PHP

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

Design By Contract ⭐ 83

Handy decorator for elegant design-by-contract in 3.10+

Light.guardclauses ⭐ 81

A lightweight .NET library for expressive Guard Clauses.

Quid Pro Quo ⭐ 78

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

Djburger ⭐ 75

Framework for safe and maintainable web-projects.

Adhesion Rs ⭐ 48

D-inspired contract programming in Rust using macros

Nim Contra ⭐ 45

Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.

Haxecontracts ⭐ 45

A Design by contract library for Haxe.

Design by contract in elixir

Contract ⭐ 28

Contract programming for C++

🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).

Peacock Lang ⭐ 16

A Fun Frontend Language

Introspectable Contracts Programming for JavaScript

Decorator Contracts ⭐ 13

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™.

Design-by-contract programming for JavaScript and ReasonML

Requirements.java ⭐ 10

Fluent Design by Contract for Java APIs

Grpc Go Contracts ⭐ 9

Verify the communication of your microservices by writing contracts for your RPCs

Requirements.js ⭐ 6

Fluent Design by Contract for Javascript APIs

Adap Course ⭐ 6

A course on advanced object-oriented design and programming

Reliable contract definition, data validation, and type checking for Ruby.

Related Searches

Contracts Design By Contract (22)

Design By Contract Contracts Programming (8)

Design By Contract Preconditions (8)

Dbc Design By Contract (8)

Programming Design By Contract (7)

Design By Contract Invariants (7)

Java Design By Contract (7)

Python Design By Contract (6)

Javascript Design By Contract (5)

Design By Contract Postconditions (5)

1-22 of 22 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.