Select a tag to browse associated projects and drill deeper into the tag cloud.
durst
Analyzed 1 day ago
Tool to rebalance portfolios (of financial securities) based on (banded) constraints (levers).
Licenses:
BSD-3-Clause
Lokad Message Contracts Sample
No analysis available
Lokad Message Contracts DSL Sample (aka Mercenary) is a reference implementation that shows how to streamline .NET contract generation with Visual Studio.
This is useful for reducing development friction on projects that use CQRS, DDD, Event sourcing or rely on any other repetitive code that changes frequently.
Mostly written in language not available
Licenses:
BSD-3-Clause
.NET Code Contracts
Analyzed 1 day ago
Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs.
The contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve
Celeriac: .NET Front-End for Daikon
Analyzed about 11 hours ago
The Daikon dynamic invariant detector uses machine learning to infer likely program invariants and properties. The types of properties inferred by Daikon include “.field > abs(y)”; “y = 2*x+3”; “array a is sorted”; “for all list objects lst, lst.next.prev = lst”; “for all treenode objects n
Licenses:
No declared licenses
annotated-contracts
A
Analyzed about 2 hours ago
Design by Contract based on annotations
Licenses:
wtfpl_2