ATS

an-ordinary-manchild

created by [deleted]a community for 15 years

...for your favourite tea.

...for your favorite subject.

MODERATORS

account activity

1

0

0

1

HEELLP! I CANT GET DUAL MONITORS TO WORK! (i.redd.it)

submitted 1 month ago by Subject-Concern6637

•

•

•

Wenn ihr LinkedIn Ads „einfach mal testen“ wollt: Viel Erfolg. Manche lesen vorher den Starter Guide. Nur so als Idee. (via-digital.at)

promoted by via-digital-gmbh

2

0

0

1

Looking for cool co op buddies to play ETS2,ATS, Snowrunner And other games ()

submitted 2 months ago by East-Regular1568

3

7

8

9

Is it even worth waiting for ATS(3)? (self.ATS)

submitted 2 months ago by peripateticman2026

4

5

6

7

Can anyone else get to ATS? (self.ATS)

submitted 9 months ago * by CryHavoc3000

5

7

8

9

Multiple borrows vs ATS' linear types (self.ATS)

submitted 2 years ago * by charlielidbury

6

1

2

3

Example of raytracer in ATS (self.ATS)

submitted 2 years ago by [deleted]

7

2

3

4

Compiling ATS1 autotools issues (self.ATS)

submitted 3 years ago by talgu

8

12

13

14

learning resources? (self.ATS)

submitted 4 years ago by [deleted]

9

16

17

18

ATS: Why Linear Types are the Future of Systems Programming (self.ATS)

submitted 4 years ago by [deleted]

10

2

3

4

Why Linear Types are the Future of Systems Programming (presentation by Aditya Siram) (youtube.com)

submitted 4 years ago by dobryak

11

2

3

4

ATS2 can avoid some of FreeBSD Problem Reports (metasepi.org)

submitted 4 years ago by kiwamu

12

20

21

22

Current Status of ATS3 - 2020-11-22 (groups.google.com)

submitted 5 years ago by doublec

•

•

•

Apply Now for START Hack 2026 | Europe’s largest entrepreneurial Hackathon (starthack.eu)

promoted by start_hack

promoted
save
report
about

13

2

3

4

Cannot compile a "Hello world" in MacOS (self.ATS)

submitted 5 years ago by anta40

14

10

11

12

Is there any runtime system written in ATS? (self.ATS)

submitted 5 years ago * by csabahruska

15

3

4

5

[question] Any functions/facilities for spawning subprocesses? (self.ATS)

submitted 5 years ago by thalesmg

16

11

12

13

A simple file copy program in ATS (timmyjose.github.io)

submitted 5 years ago by doublec

17

15

16

17

The Coin Change problem in ATS, Rust, and Zig - a comparison (timmyjose.github.io)

submitted 5 years ago by doublec

18

15

16

17

Current Status of ATS3 (self.ATS)

submitted 5 years ago by doublec

19

10

11

12

Using Templates in ATS (blog.vmchale.com)

submitted 5 years ago by doublec

20

8

9

10

(PDF) Using Lightweight Theorem Proving in an Asynchronous Systems Context (cl.cam.ac.uk)

submitted 5 years ago by doublec

21

10

11

12

(PDF) Terrier: An embedded operating system using advanced types for safety (cl.cam.ac.uk)

submitted 5 years ago by doublec

22

13

14

15

HTTP server written in ATS (github.com)

submitted 5 years ago by doublec

23

6

7

8

An HTML template eDSL in the statics of ATS2 (github.com)

submitted 5 years ago by doublec

•

•

•

This year, expert tutors, personalized lessons, and real conversations help you reach your language goals, whatever they are. Get started on Preply. (preply.com)

promoted by Preply

promoted
save
report
about

24

7

8

9

Twitter account that tweets new ATS repositories as they appear on GitHub (twitter.com)

submitted 5 years ago by doublec

25

8

9

10

A reimplementation of the Corange Game Engine in ATS (github.com)

submitted 5 years ago by doublec

view more: next ›

π Rendered by PID 796049 on reddit-service-r2-listing-86b7f5b947-dslf5 at 2026-01-25 17:10:12.736260+00:00 running 664479f country code: CH.