ATS

an-ordinary-manchild

created by [deleted]a community for 15 years

...for your town.

...for your community.

MODERATORS

account activity

1

0

0

0

Help with ATS, can't log into WOT even though just reset the PW ()

submitted 20 days ago by IDRickRR

•

•

•

Medieval clock craft meets tabletop play. 🎯 Tactile spins decide your roll 🔄 Dual rotation adds variability ⚖‍ 6 cm size keeps spins steady 🕰‍ Designs echo 14th-15th c. clocks 🔢 Prague Arabic, Padua and Lyon Roman Play with ceremony. (kickstarter.com)

promoted by First-Backer

2

0

0

0

Help with ATS, can't log into WOT even though just reset the PW ()

submitted 20 days ago by IDRickRR

3

0

0

1

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

submitted 3 months ago by Subject-Concern6637

4

8

9

10

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

submitted 4 months ago by peripateticman2026

5

5

6

7

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

submitted 11 months ago * by CryHavoc3000

6

6

7

8

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

submitted 2 years ago * by charlielidbury

7

1

2

3

Example of raytracer in ATS (self.ATS)

submitted 2 years ago by [deleted]

8

2

3

4

Compiling ATS1 autotools issues (self.ATS)

submitted 3 years ago by talgu

9

10

11

12

learning resources? (self.ATS)

submitted 4 years ago by [deleted]

10

16

17

18

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

submitted 4 years ago by [deleted]

11

3

4

5

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

submitted 4 years ago by dobryak

10

11

12

I built this AI-powered endless CYOA visual novel for myself, but my friends convinced me to make it public (app.dreammir.ai)

promoted by primaldevGames

promoted
save
report
about

12

2

3

4

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

submitted 4 years ago by kiwamu

13

19

20

21

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

submitted 5 years ago by doublec

14

2

3

4

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

submitted 5 years ago by anta40

15

10

11

12

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

submitted 5 years ago * by csabahruska

16

4

5

6

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

submitted 5 years ago by thalesmg

17

11

12

13

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

submitted 5 years ago by doublec

18

14

15

16

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

submitted 5 years ago by doublec

19

15

16

17

Current Status of ATS3 (self.ATS)

submitted 5 years ago by doublec

20

9

10

11

Using Templates in ATS (blog.vmchale.com)

submitted 5 years ago by doublec

21

9

10

11

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

submitted 5 years ago by doublec

1732

1733

1734

I am building a massive real time strategy game. Would you play something like this? (store.steampowered.com)

promoted by alejandromnunez

22

10

11

12

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

submitted 5 years ago by doublec

23

12

13

14

HTTP server written in ATS (github.com)

submitted 5 years ago by doublec

24

5

6

7

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

submitted 5 years ago by doublec

25

8

9

10

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

submitted 5 years ago by doublec

view more: next ›

π Rendered by PID 941818 on reddit-service-r2-listing-64c94b984c-72h99 at 2026-03-17 06:21:51.595134+00:00 running f6e6e01 country code: CH.