Trending
See what the GitHub community is most excited about today.
-
ATS2: Unleashing the Potentials of Types and Templates
-
Tool to count lines of source code.
-
-
This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primarily meant as recipes for people interested in learning ATS as well as using it to construct software for use in the real world.
-
Examples from Introduction to Programming in ATS
-
Collection of ATS goodness
-
Home of the fast-arithmetic library for number theory in ATS and Haskell.
-
-
Implementing ATS3 in ATS2
-
generate ATS interface from C code
-
⛓️ Blockchain + Smart contracts from scratch -
ATS2: Unleashing the Potentials of Types and Templates
-
This repository is primarily for testing ATS2 on various platforms
-
A parsing combinator library.
-
3D vector algebra library for ATS
-
Levenshtein edit distance, packaged for ATS
-
ATS2 proofs of concept stuff
-
A verified memory-safe correct implementation of left-pad in ats2
-
Small programs testing out features of the ATS (Postiatis) programming language.
-
Concurrency primitives for ATS
-
Colored terminal output
-
Source code for my series of blog entires dubbed "The Joy of ATS"
-
Another implementation of ATS
-
An ATS to Lua compiler
-
Embedded drivers for RX series. Created by ATS language.
