design-by-contract | Topic | Ecosyste.ms: Repos

Topic: "design-by-contract"

life4/deal

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

Language: Python - Size: 1.95 MB - Last synced at: 10 days ago - Pushed at: 18 days ago - Stars: 797 - Forks: 31

AlexandreDecan/sismic

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

Language: Python - Size: 3.05 MB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 148 - Forks: 28

StefanUlbrich/design-by-contract

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

Language: Python - Size: 1.77 MB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 101 - Forks: 7

sellout/quid-pro-quo

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

Language: Common Lisp - Size: 423 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 95 - Forks: 10

feO2x/Light.GuardClauses

A lightweight .NET library for expressive Guard Clauses.

Language: C# - Size: 3.51 MB - Last synced at: 24 days ago - Pushed at: 3 months ago - Stars: 90 - Forks: 8

orsinium-archive/djburger 📦

Framework for safe and maintainable web-projects.

Language: Python - Size: 233 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 73 - Forks: 6

ErichDonGubler/adhesion-rs

D-inspired contract programming in Rust using macros

Language: Rust - Size: 64.5 KB - Last synced at: 18 days ago - Pushed at: almost 4 years ago - Stars: 54 - Forks: 1

juancarlospaco/nim-contra

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

Language: Nim - Size: 327 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 53 - Forks: 3

keathley/oath

Design by contract in elixir

Language: Elixir - Size: 37.1 KB - Last synced at: 26 days ago - Pushed at: about 4 years ago - Stars: 46 - Forks: 3

ciscoheat/HaxeContracts

A Design by contract library for Haxe.

Language: Haxe - Size: 73.2 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 44 - Forks: 4

boostorg/contract

Contract programming for C++

Language: C++ - Size: 11.9 MB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 41 - Forks: 28

cowwoc/requirements.java

Fluent Design Contracts for Java Projects

Language: Java - Size: 9.24 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 25 - Forks: 1

orsinium-labs/arguard

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

Language: Go - Size: 60.5 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 1

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

Language: TypeScript - Size: 1.65 MB - Last synced at: 18 days ago - Pushed at: 9 months ago - Stars: 17 - Forks: 2

marcellerusu/peacock-lang 📦

A Fun Frontend Language

Language: Ruby - Size: 1.12 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 16 - Forks: 0

shayanh/grpc-go-contracts

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

Language: Go - Size: 109 KB - Last synced at: 12 months ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 1

drblez/dbc

Design-by-contract for Go1

Language: Go - Size: 10.7 KB - Last synced at: 12 months ago - Pushed at: about 6 years ago - Stars: 15 - Forks: 0

tungminhphan/traffic-intersection

This is an example of the design-by-contract method

Language: Python - Size: 13.3 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 6

yawaramin/dbc

Design-by-contract programming for JavaScript and ReasonML

Language: OCaml - Size: 12.7 KB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 2

dirkriehle/adap-course

A course on advanced object-oriented design and programming

Language: Java - Size: 142 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 11 - Forks: 8

chavacava/dbc4go

Design by Contract for Go

Language: Go - Size: 1.22 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 10 - Forks: 0

cowwoc/requirements.js

Fluent Design by Contract for Javascript APIs

Language: TypeScript - Size: 4.02 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 8 - Forks: 0

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: 25 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 1

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

Language: HTML - Size: 7.18 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

QuantumLeaps/DBC-for-embedded-C

Design By Contract (DBC) for embedded C and C++

Language: C - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

delonnewman/contracts-gen

Generate data from contracts

Language: Ruby - Size: 15.6 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

ysulaiman/communique

A Ruby Library for Planning Messages in Sequence Diagrams

Language: Ruby - Size: 273 KB - Last synced at: about 2 years ago - Pushed at: about 12 years ago - Stars: 2 - Forks: 0

LordUbuntu/maths

Maths algorithms and data structures you'll find useful, formally verified and optimized

Language: Python - Size: 195 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0

KooiInc/es-contract-fiddler

Design By Contract for ECMAScript

Language: JavaScript - Size: 143 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

thiagodnf/jvalidation

A simple, fast and light-weight validation tool to express pre- and post-conditions in your java code

Language: Java - Size: 602 KB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

BenedictAdamson/DBC-assertions

Java unit-testing assertions to assist a Design By Contract style of programming

Language: Java - Size: 216 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

serradura/bcdd-contract 📦

🚧 Not yet ready for production

Language: Ruby - Size: 147 KB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

arcadio/ajcontract

Design by contract extension to Java using annotations and bytecode injection

Language: Java - Size: 20.5 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

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.

Language: Java - Size: 271 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 2

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

Language: Python - Size: 4.48 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

KonnerEL/Smarty

A Smart Contract Language based on design by contract and Event-B

Language: Java - Size: 14.6 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

panozkaiscool/guard-clauses

A .NET repository demonstrating the use of guard clauses for input validation and defensive programming. Includes implementations using both built-in .NET features and custom guard clauses, with practical examples for Order and Customer objects in a console application.

Size: 1.95 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

ioncakephper/contract-shield-cli

A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).

Language: JavaScript - Size: 69.3 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0