3 results found Sort:

amantinband
throw amantinband
80
1.2k
mit
13
A simple, fluent, extensible, and fully customizable library for throwing exceptions for projects using .NET 6+
guard assert clause fluent argument contract assertion exception validation
Created 2022-02-28
75 commits to main branch, last one about a year ago
accordproject
template-archive accordproject
119
282
apache-2.0
23
Smart Legal Contracts & Templating System
corda legal parse tezos cicero clause ethereum contracts legaltech templates blockchain hyperledger cicero-engine digital-asset accord-project smartcontracts legal-templates
Created 2017-11-02
1,074 commits to main branch, last one about a year ago
Gbury
mSAT Gbury
8
97
apache-2.0
14
A modular sat/smt solver with proof output.
ocaml clause solver formula modular sat-solver smt-solver formal-methods
Created 2014-10-29
736 commits to master branch, last one 10 months ago