ATS-first

Unleashing the potentials of types and templates

Brought to you by: ats-hwxi

Downloads: 0 This Week

Last Update: 2014-11-03

Get an email when there's a new version of ATS-first

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

Earn up to 16% annual interest with Nexo. Icon

Earn up to 16% annual interest with Nexo.

More flexibility. More control.

Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

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

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Recommended Projects

ats2-lang
ATS2: Unleashing the potentials of types and templates
A Traffic Simulation
A traffic simulation (ATS) is a microscopic traffic simulation package developed using Visual C++.
Auto-TS
ATS is official program name. You can explain this shortcut either as Auto-Trigger Studio (Automated Trigger Studio) or AHK-Trigger Studio (AHK addition to Trigger Studio). Original project name was AOKTSS (Age Of Kings Trigger Studio Scripts). ATS is made for AOKTS v. 1.0.1. I still develop the program so there can be some bugs from time to time.
CATS Applicant Tracking System (ATS)
CATS is industry's first open source applicant tracking system (ATS). Built on LAMP platform(Linux, Apache, MySQL, and PHP). Features applicant tracking, resume search, CRM, and a reporting dashboard for staffing agencies and corporate HR departments.
CloudI: A Cloud at the lowest level
CloudI is an open-source private cloud computing framework for efficient, secure, and internal data processing. CloudI provides scaling for previously unscalable source code with efficient fault-tolerant execution of ATS, C/C++, Erlang/Elixir, Go, Haskell, Java, JavaScript/node.js, OCaml, Perl, PHP, Python, Ruby, or Rust services. The bare essentials for efficient fault-tolerant processing on a cloud!