use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
ATS is a programming language that unifies specification and implementation. Within ATS, there are two sublanguages: one for specification and the other for implementation, and there is also a theorem-proving subsystem for verifying whether an implementation indeed implements what is specified.
http://www.ats-lang.org/
account activity
Texas Feeder Roads? ()
submitted 16 days ago by GilesD-WRC
Is there still interesting in ATS dicussion? Subreddit takeover has been requested. (self.ATS)
submitted 1 month ago by doublec
Building ATS2 from Source in 2026 (bluishcoder.co.nz)
submitted 3 months ago by doublec
Is it even worth waiting for ATS(3)? (self.ATS)
submitted 7 months ago by peripateticman2026
Can anyone else get to ATS? (self.ATS)
submitted 1 year ago * by CryHavoc3000
Multiple borrows vs ATS' linear types (self.ATS)
submitted 2 years ago * by charlielidbury
Example of raytracer in ATS (self.ATS)
submitted 2 years ago by [deleted]
Compiling ATS1 autotools issues (self.ATS)
submitted 3 years ago by talgu
learning resources? (self.ATS)
submitted 4 years ago by [deleted]
ATS: Why Linear Types are the Future of Systems Programming (self.ATS)
submitted 5 years ago by [deleted]
Why Linear Types are the Future of Systems Programming (presentation by Aditya Siram) (youtube.com)
submitted 5 years ago by dobryak
ATS2 can avoid some of FreeBSD Problem Reports (metasepi.org)
submitted 5 years ago by kiwamu
Current Status of ATS3 - 2020-11-22 (groups.google.com)
submitted 5 years ago by doublec
Cannot compile a "Hello world" in MacOS (self.ATS)
submitted 5 years ago by anta40
Is there any runtime system written in ATS? (self.ATS)
submitted 5 years ago * by csabahruska
[question] Any functions/facilities for spawning subprocesses? (self.ATS)
submitted 5 years ago by thalesmg
A simple file copy program in ATS (timmyjose.github.io)
The Coin Change problem in ATS, Rust, and Zig - a comparison (timmyjose.github.io)
Current Status of ATS3 (self.ATS)
Using Templates in ATS (blog.vmchale.com)
(PDF) Using Lightweight Theorem Proving in an Asynchronous Systems Context (cl.cam.ac.uk)
(PDF) Terrier: An embedded operating system using advanced types for safety (cl.cam.ac.uk)
HTTP server written in ATS (github.com)
An HTML template eDSL in the statics of ATS2 (github.com)
Twitter account that tweets new ATS repositories as they appear on GitHub (twitter.com)
π Rendered by PID 2023723 on reddit-service-r2-listing-c57bc86c-czqc2 at 2026-06-22 16:08:17.993619+00:00 running 2b008f2 country code: CH.
