jscert

I Use This!

Inactive

Analyzed 1 day ago. based on code collected 1 day 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 about 2 years 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...

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
compare projects before you chose one to use
...
55% of companies leverage OSS for production infrastructure
...
anyone with an Open Hub account can update a project's tags