ATS is a programming language equipped with a highly expressive type system rooted in the framework Applied Type System to unify implementation with formal specification. In ATS, a variety of programming paradigms are supported in a typeful manner, including functional programming, imperative programming, object-oriented programming, template-based programming, modular programming, etc. ATS has moved on to become ATS2, which can be found at http://ats-lang.org. What is stored here is now referred to as ATS0-Proto. It is mostly kept as a reference so as to provide some historic details on the development of ATS.

Project Activity

See All Activity >

Follow ATS-first

ATS-first Web Site

Other Useful Business Software
Zenflow- The AI Workflow Engine for Software Devs Icon
Zenflow- The AI Workflow Engine for Software Devs

Parallel agents. Multi-agent orchestration. Specs that turn into shipped code. Zenflow automates planning, coding, testing, and verification.

Zenflow is the AI workflow engine built for real teams. Parallel agents plan, code, test, and verify in one workflow. With spec-driven development and deep context, Zenflow turns requirements into production-ready output so teams ship faster and stay in flow.
Try free now
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of ATS-first!

Additional Project Details

Registered

2005-07-14
Report inappropriate content