Celeriac: .NET Front-End for Daikon

Settings | Report Duplicate

1

I Use This!

Inactive

Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

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, n.left.value < n.right.value”; “p != null ⇒ p.content in myArray”; and many more.

Tags

c# c#net contracts dbc vbnet

In a Nutshell, Celeriac: .NET Front-End for Daikon...

...
has had 460 commits made by 6 contributors
representing 13,264 lines of code
...
is mostly written in C#
with a well-commented source code
...
has a young, but established codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 3 years of effort (COCOMO model)
starting with its first commit in February, 2014
ending with its most recent commit almost 11 years ago

Quick Reference

Code Locations:

https://github.com/melonhead901/...

Similar Projects:

This Project has No vulnerabilities Reported Against it

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
data presented on the Open Hub is available through our API
...
use of OSS increased in 65% of companies in 2016
...
you can embed statistics from Open Hub on your site

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

C#	85%
10 Other	15%

30 Day Summary

Feb 2 2026 — Mar 4 2026

0 Commits
0 Contributors

12 Month Summary

Mar 4 2025 — Mar 4 2026

0 Commits
0 Contributors

Most Recent Contributors

	Michael Ernst		student
	Todd Schiller		Kellen Donohue
	fmc		tschiller

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!