Build tool for ATS.
☆42Apr 11, 2022Updated 3 years ago
Alternatives and similar repositories for atspkg
Users that are interested in atspkg are comparing it to the libraries listed below
Sorting:
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 3 years ago
- For supporting template-based programming☆23Jun 21, 2020Updated 5 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Bootstrapping ATS3☆247Feb 22, 2026Updated last week
- This repository is primarily for testing ATS2 on various platforms☆11Aug 3, 2020Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆383Jun 10, 2025Updated 8 months ago
- Tool to count lines of source code.☆255Jan 31, 2024Updated 2 years ago
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 13 years ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 7 years ago
- ATS programing on Arduino☆57Dec 5, 2015Updated 10 years ago
- Examples from Introduction to Programming in ATS☆26Sep 28, 2014Updated 11 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Jan 3, 2019Updated 7 years ago
- A total recursion scheme library for Dhall