quid-pro-quo
Contract library
A Common Lisp package that enables contract programming and specifies the relationship between a class and its clients through preconditions and postconditions.
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
95 stars
8 watching
9 forks
Language: Common Lisp
last commit: about 8 years agoLinked from 1 awesome list
common-lispdesign-by-contracteiffelpostconditionpreconditions
codyreichert/awesome-clRelated projects:
| Repository | Description | Stars |
|---|---|---|
 life4/deal | A Python library that enables design by contract programming to write bug-free code with automatic tests and static analysis. | 760 |
 fisxoj/sanity-clause | Library for defining data validation contracts in dynamically typed languages | 51 |
 k1d77a/lisp-pay | A framework for creating API wrappers around multiple payment processors using Common Lisp. | 23 |
 udiknedormin/nimcontracts | A library that enables contract-based programming in the Nim language. | 71 |
 thirdweb-dev/contracts | A collection of reusable, pre-built smart contract modules with shared functionality and interfaces. | 1,007 |
 fukamachi/cl-dbi | Provides a uniform interface for accessing various relational databases from Common Lisp. | 208 |
 merklejerk/flex-contract | An abstraction layer for Ethereum smart contracts with flexible configuration options and simple integration | 26 |
 orthecreedence/cl-hash-util | A utility library for working with Common Lisp hash tables | 29 |
 stylewarning/quickutil | A utility library for Common Lisp that aims to provide a concise and efficient way of solving common problems | 87 |
 openzeppelin/openzeppelin-contracts-upgradeable | A library providing secure smart contract development tools and components | 1,005 |
| fukamachi/qlot | A tool for managing project-local libraries in Common Lisp, allowing users to specify exact versions and track dependencies. | 473 |
 fare/asdf | A tool for building and managing Common Lisp systems | 205 |
 malisper/clamp | An implementation of Arc programming language concepts in Common Lisp. | 71 |
 rotatef/aws-sign4 | A Common Lisp library implementing Amazon Web Services signing version 4 | 18 |
 neilisaac/lazycontract | A Python library to define declarative contracts for serialization and deserialization | 7 |