GitHub topics: preconditions
feO2x/Light.GuardClauses
A lightweight .NET library for expressive Guard Clauses.
Language: C# - Size: 3.51 MB - Last synced at: 10 days ago - Pushed at: about 1 month ago - Stars: 89 - Forks: 8
valid8j/valid8j
A value checking library for Java (DbC, validations, and test assertioins)
Language: Java - Size: 2.58 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 9 - Forks: 0
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: 20 days ago - Stars: 0 - Forks: 0
php-deal/framework
Design by Contract framework for PHP
Language: PHP - Size: 144 KB - Last synced at: 13 days ago - Pushed at: about 3 years ago - Stars: 254 - Forks: 21
Carleslc/kotlin-extensions
Utility extensions to boost your programming with Kotlin.
Language: Kotlin - Size: 204 KB - Last synced at: 19 days ago - Pushed at: almost 2 years ago - Stars: 75 - Forks: 15
cowwoc/requirements.java
Fluent Design Contracts for Java Projects
Language: Java - Size: 9.24 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 25 - Forks: 1
oat-sa/qti-sdk
A QTI (Question & Test Interoperability) Software Development Kit for PHP
Language: PHP - Size: 16.1 MB - Last synced at: 13 days ago - Pushed at: about 1 month ago - Stars: 84 - Forks: 32
waldemarnt/http-status-codes
List of HTTP status codes and description for each of them, with reference when have.
Size: 6.84 KB - Last synced at: 22 days ago - Pushed at: about 6 years ago - Stars: 248 - Forks: 78
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
klojang4j/klojang-check
A new take on Defensive Programming & Validating Preconditions
Language: Java - Size: 4.24 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 1
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: 20 days ago - Pushed at: 10 months ago - Stars: 9 - Forks: 2
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: about 1 month ago - Pushed at: almost 7 years ago - Stars: 95 - Forks: 10
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
lecaillon/Preconditions
Preconditions.NET provides convenience static methods to help check that a method or a constructor is invoked with proper parameter or not.
Language: C# - Size: 67.4 KB - Last synced at: 5 days ago - Pushed at: about 3 years ago - Stars: 25 - Forks: 6
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: about 1 month ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
uzykj/oop-utils
Object oriented related tool classes
Language: TypeScript - Size: 45.9 KB - Last synced at: 18 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
BoasE/FluentGuard
Tiny library for fluent guard and assert expressions to formalize preconditions of methods
Language: C# - Size: 54.7 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 15 - Forks: 2
Syrx/Syrx.Validation
A very simple precondition checker with very little overhead.
Language: C# - Size: 129 KB - Last synced at: 25 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
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
jdgarciauc3m/min-contracts
Minimal contracts library
Language: C++ - Size: 101 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
MattMinke/Guardian
.Net Parameter Validation and Preconditions. Preconditions specify state when a method is invoked. They are generally used to specify valid parameter values.
Language: C# - Size: 19.5 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
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
spoptchev/kotlin-preconditions
Precondition error checking for Kotlin
Language: Kotlin - Size: 135 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 19 - Forks: 0
kochetov-dmitrij/WeakestPrecondition
Visualised process of the weakest precondition's computing
Language: JavaScript - Size: 1.44 MB - Last synced at: almost 2 years ago - Pushed at: almost 7 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
guardsman/guardsman 📦
Guard clause assertion library to enforce parameter preconditions in PHP
Language: PHP - Size: 69.3 KB - Last synced at: 5 months ago - Pushed at: almost 9 years ago - Stars: 3 - Forks: 1
andrej-dyck/dotnet-extensions-require
📦 Require Expressions - A pre-condition checks library for .Net via extensions methods on types.
Language: C# - Size: 35.2 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
nextbss/requirekt
idiomatic kotlin preconditions for spring boot REST API's
Language: Kotlin - Size: 82 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 1
myConsciousness/precondition-validator
The Precondition Validator provides a variety of easy and intuitive validation functions. The features in this package will free you from simple and redundant checking processes.
Language: Java - Size: 1.08 MB - Last synced at: 6 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
maltorpro/microservice-shop-demo
Sample microservice shop application implemented with spring boot.
Language: Java - Size: 1.91 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 2
pnann/check-preconditions
A small and simple preconditions library for Node and the browser.
Language: TypeScript - Size: 491 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1
ehenoma/contract
Generates preconditions in your Java code
Language: Java - Size: 73.2 KB - Last synced at: 3 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
MehrAlsNix/Preconditions
Preconditions for PHP is a static util class providing an assert like framework.
Language: PHP - Size: 25.4 KB - Last synced at: 22 days ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0
unamatasanatarai/php-preconditions
A port(?) of guava preconditions in PHP
Language: PHP - Size: 11.7 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
