https://github.com/githwxi/ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates
https://github.com/githwxi/ATS-Postiats

Last synced: 2 days ago
JSON representation

ATS2: Unleashing the Potentials of Types and Templates

• Host: GitHub
• URL: https://github.com/githwxi/ATS-Postiats
• Owner: githwxi
• License: other
• Created: 2011-03-06T14:45:01.000Z (about 14 years ago)
• Default Branch: master
• Last Pushed: 2025-01-03T07:25:50.000Z (3 months ago)
• Last Synced: 2025-04-06T21:11:15.314Z (8 days ago)
• Language: ATS
• Homepage: www.ats-lang.org
• Size: 38.7 MB
• Stars: 359
• Watchers: 34
• Forks: 55
• Open Issues: 22
• Metadata Files:
  • Readme: README
  • Changelog: CHANGES-ats2
  • License: COPYING
  • Authors: AUTHORS

Awesome Lists containing this project

• awesome-programming-languages - ATS - ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. (Uncategorized / Uncategorized)