A

ATS language

Settings | Report Duplicate

0

I Use This!

Activity Not Available

Analyzed 4 months ago. based on code collected almost 2 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.

Tags

No tags have been added

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 about 4 years ago

Quick Reference

Code Locations:

(3 Locations)

Similar Projects:

Become the first manager for ATS language

This Project has No vulnerabilities Reported Against it

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
data presented on the Open Hub is available through our API
...
55% of companies leverage OSS for production infrastructure
...
you can embed statistics from Open Hub on your site

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

C	84%
OCaml	14%
14 Other	2%

30 Day Summary

Sep 29 2022 — Oct 29 2022

0 Commits
0 Contributors

12 Month Summary

Oct 29 2021 — Oct 29 2022

0 Commits
0 Contributors

Most Recent Contributors

	ats-hwxi		mdanish
	likai		shalkhakov

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!