E

Eelis's hybrid

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 5 hours ago. based on code collected 1 day ago.

Project Summary

Certified implementation of abstraction-based hybrid system safety prover.

Tags

No tags have been added

In a Nutshell, Eelis's hybrid...

...
has had 146 commits made by 5 contributors
representing 13,742 lines of code
...
is mostly written in coq
with a very low number of source code comments
...
has a codebase with a long source history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 4 years of effort (COCOMO model)
starting with its first commit in February, 2009
ending with its most recent commit almost 12 years ago

Quick Reference

Code Locations:

https://github.com/Eelis/hybrid

Similar Projects:

Become the first manager for Eelis's hybrid

This Project has No vulnerabilities Reported Against it

Did You Know...

...
55% of companies leverage OSS for production infrastructure
...
you can embed statistics from Open Hub on your site
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
learn about Open Hub updates and features on the Open Hub blog

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

coq	56%
TeX/LaTeX	41%
6 Other	3%

30 Day Summary

Sep 14 2024 — Oct 14 2024

0 Commits
0 Contributors

12 Month Summary

Oct 14 2023 — Oct 14 2024

0 Commits
0 Contributors

Most Recent Contributors

	Eelis		...van der Weegen
	Adam.Koprowski		Herman Geuvers
	Adam Koprowski

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!