#

precondition

Here are 13 public repositories matching this topic...

onursimsek / precondition

Precondition request for Laravel

laravel-package precondition lost-update precondition-validator

Updated Jun 22, 2026
PHP

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

overrides solid decorators precondition postcondition invariant assertion rescue encapsulation liskov-substitution-principle exception-handling code-contracts design-by-contract requires demands behavioral-subtyping organized-panic material-implication if-and-only-if

Updated Feb 7, 2026
TypeScript

jjwsteele / denuto

Design by contract for JavaScript

decorators contract invariants precondition postcondition dbc requires ensures

Updated Mar 5, 2018
JavaScript

kaiyoo / Precondition-and-Effect-Reasoning-for-Action-Recognition

Research paper-Enhancing action recognition with precondition and effect

machine-learning computer-vision deep-learning annotations transfer-learning precondition effect action-recognition super-class pseudo-labeling action-prediction action-category pseudo-label-training

Updated Jan 26, 2022

pnann / check-preconditions

A small and simple preconditions library for Node and the browser.

typescript precondition preconditions check-preconditions

Updated Dec 30, 2022
TypeScript

gontract / gontract

A require-ensure-library for contract-programming with pre- and postconditions in golang

golang validation assertions contract safety golang-library precondition postcondition dbc design-by-contract

Updated Aug 7, 2026
Go

StanfordBDHG / XCTRuntimeAssertions

XCTest extensions to test runtime assertions and preconditions

swift xcode runtime test xctest stanford precondition assertion fatalerror

Updated Aug 30, 2025
Swift

iLubenets / require

Lightweight assertion library with predefined messages

java-8 assert precondition

Updated Jan 21, 2022
Java

jaffirm

io7m-com / jaffirm

Simple and fast contract checks

contract precondition postcondition invariant

Updated Jun 26, 2026
Java

hwpplayers / procyberian

procyberian hackathon

art committers hackathon freedom free-software precondition systems-programming newcomers free-hardware masscollabs-services essential-freedoms hwpplayers-hackerspace procyberian-hackathon

Updated Jun 23, 2020

httpland / conditional-request-middleware

HTTP conditional request middleware

http middleware range etag precondition conditional last-modified conditional-request if-modified-since if-none-match if-match if-unmodified-since if-range

Updated May 2, 2023
TypeScript

httpland / http-conditional-requests

HTTP Conditional Requests middleware for Fetch API

http middleware request response precondition fetch-api if-modified-since if-none-match conditional-requests if-match if-unmodified-since

Updated Mar 6, 2023
TypeScript

ailixter / gears-watchedcall

Hooks before/after any method call

contract decorator precondition postcondition access-control managed

Updated Aug 17, 2019
PHP

Add this topic to your repo

To associate your repository with the precondition topic, visit your repo's landing page and select "manage topics."