Hets - the Heterogenous Toolset

I Use This!

Inactive

Analyzed about 10 hours ago. based on code collected about 11 hours ago.

Project Summary

Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for the heterogeneous specification language HetCASL.
The structuring constructs of this language are those of CASL, plus some new heterogeneous constructs for indicating the language and for language translations.
Hence, Hets is based on a graph of logics and languages.

In a Nutshell, Hets - the Heterogenous Toolset...

...
has had 18,509 commits made by 82 contributors
representing 277,545 lines of code
...
is mostly written in Haskell
with an average number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 72 years of effort (COCOMO model)
starting with its first commit in June, 2001
ending with its most recent commit over 10 years ago

Quick Reference

Project Links:

Homepage
Download

Code Locations:

https://svn-agbkb.informatik.uni...

Similar Projects:

Managers:

Become the first manager for Hets - the Heterogenous Toolset

Licenses

Hets License

Permitted

Forbidden

Required

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
data presented on the Open Hub is available through our API
...
65% of companies leverage OSS to speed application development in 2016
...
learn about Open Hub updates and features on the Open Hub blog