3 results found Sort:
A simple, fluent, extensible, and fully customizable library for throwing exceptions for projects using .NET 6+
Created
2022-02-28
75 commits to main branch, last one about a year ago
Smart Legal Contracts & Templating System
Created
2017-11-02
1,074 commits to main branch, last one about a year ago
A modular sat/smt solver with proof output.
Created
2014-10-29
736 commits to master branch, last one 10 months ago