jscert

I Use This!

Very Low Activity

Analyzed 2 days ago. based on code collected 2 days ago.

Project Summary

The JSCert project aims to really understand JavaScript. JSCert itself is a mechanised specification of JavaScript, written in the Coq proof assistant, which closely follows the ECMAScript 5 English standard. JSRef is a reference interpreter for JavaScript in OCaml, which has been proved correct with respect to JSCert and tested with the Test 262 test suite.

In a Nutshell, jscert...

...
has had 1,616 commits made by 24 contributors
representing 48,449 lines of code
...
is mostly written in coq
with a very low number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 12 years of effort (COCOMO model)
starting with its first commit in January, 2013
ending with its most recent commit over 1 year ago

Quick Reference

Project Links:

Homepage

Code Locations:

https://github.com/jscert/jscert

Similar Projects:

Managers:

AlanSchmitt

This Project has No vulnerabilities Reported Against it

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
search using multiple tags to find exactly what you need
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
you can embed statistics from Open Hub on your site