githwxi/ATS-Xanadu
View on GitHub ↗ ★ 270 Python
Bootstrapping ATS3
7 mentions on Hacker News by 5 people: 0 stories, 7 comments · first 2020-08-12 · latest 2026-11-03
20082026
-
…pretty sure ATS2 (Postiats) is in maintenance mode (activity is build changes), with ATS3 (Xanadu) https://github.com/githwxi/ATS-Xanadu being the focus of active development.
comment by mlinksva · 2026-11-03 · in Introduction to Programming in ATS -
…resources; The ATS Programming Language - https://www.cs.bu.edu/~hwxi/atslangweb/ ATS3-Xanadu - https://github.com/githwxi/ATS-Xanadu From https://en.wikipedia.org/wiki/ATS_(programming_language) As of 2024, ATS/Xanadu (ATS3) is being…
comment by rramadass · 2026-09-09 · in C*: Unifying Programming and Verification in C (2025) -
Not to be confused with ATS 3 Xanadu < https://github.com/githwxi/ATS-Xanadu/ >
comment by toastal · 2026-09-04 · in Project Xanadu: Even More Hindsight (2025) -
…t@ype for the sort of flat memory types is just bonkers). I'm really looking forward to ATS3 though https://github.com/githwxi/ATS-Xanadu , and I think there's chance it could gain serious traction.
comment by jcburnham · 2021-06-08 · in Yatima: A programming language for the decentralized web -
…willing or able to pay the very high price in ergonomics. Hopefully it will get better in ATS3 - https://github.com/githwxi/ATS-Xanadu#project-description
comment by ghostwriter · 2020-09-01 · in Supporting Linux kernel development in Rust -
…is a good trait though, and there are a few promising initiatives in that regard in ATS3 - https://github.com/githwxi/ATS-Xanadu#project-description
comment by ghostwriter · 2020-08-31 · in Supporting Linux kernel development in Rust -
It's far from dead, a new version of the compiler is being developed on top of ATS2 ( https://github.com/githwxi/ATS-Xanadu ). ATS2 is being updated too ( https://github.com/githwxi/ATS-Postiats ), the latest stable release happened last…
comment by ghostwriter · 2020-08-12 · in QEMU should move from C to Rust