benjamin-hejl's repositories
CommunityToolkit-dotnet
.NET Community Toolkit is a collection of helpers and APIs that work for all .NET developers and are agnostic of any specific UI platform. The toolkit is maintained and published by Microsoft, and part of the .NET Foundation.
Language:C#NOASSERTION000
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMTNOASSERTION000
DynamicData
Reactive collections based on Rx.Net
Language:C#MIT000
jdart
A dynamic symbolic analysis tool for Java
Language:JavaApache-2.0000
jpf-costar
Test input generation using separation logic
Language:Java000
p7-codeanalysis
A collection of extensions for code analysis.
Language:C#MIT000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000