ATS language

I Use This!

Activity Not Available

Analyzed over 1 year ago. based on code collected about 3 years ago.

Project Summary

ATS is a programming language with an advanced type system rooted in the framework of Applied Type System. In ATS, a programming paradigm for effectively constructing highly dependable software is supported that combines programming with theorem proving.

In a Nutshell, ATS language...

...
has had 3,365 commits made by 4 contributors
representing 1,414,280 lines of code
...
is mostly written in C
with a low number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 405 years of effort (COCOMO model)
starting with its first commit in September, 2008
ending with its most recent commit over 5 years ago

Quick Reference

Homepage

(3 Locations)

Become the first manager for ATS language

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
...
anyone with an Open Hub account can update a project's tags
...
65% of companies leverage OSS to speed application development in 2016
...
data presented on the Open Hub is available through our API