Analyzed
about 8 hours
ago.
based on code collected
about 11 hours
ago.
Project Summary
kerlang is a formal definition of the semantics of the Erlang programming language using the K framework.
In a Nutshell, kerlang...
- ...
- ...
- ...
-
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in November, 2009
ending with its most recent commit over 14 years ago
Quick Reference
https://github.com/reprogrammer/...
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
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
-
...
use of OSS increased in 65% of companies in 2016
-
...
compare projects before you chose one to use
30 Day SummaryMar 25 2024 — Apr 24 2024
|
12 Month SummaryApr 24 2023 — Apr 24 2024
|
