jscert

I Use This!

Activity Not Available

Analyzed 12 months ago. based on code collected 12 months 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,615 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 almost 6 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...

...
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
...
55% of companies leverage OSS for production infrastructure
...
anyone with an Open Hub account can update a project's tags