Trending
See what the GitHub community is most excited about this month.
-
ATS2: Unleashing the Potentials of Types and Templates
-
Tool to count lines of source code.
-
Implementing ATS3 in ATS2
-
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.
-
-
Collection of ATS goodness
-
Examples from Introduction to Programming in ATS
-
Home of the fast-arithmetic library for number theory in ATS and Haskell.
-
generate ATS interface from C code
-
ATS2: Unleashing the Potentials of Types and Templates
-
⛓️ Blockchain + Smart contracts from scratch -
-
This repository is primarily for testing ATS2 on various platforms
-
A parsing combinator library.
-
3D vector algebra library for ATS
-
For template-based library code that is, kind of, inspired by category theory.
-
Concurrency primitives for ATS
-
Small programs testing out features of the ATS (Postiatis) programming language.
-
ATS2 proofs of concept stuff
-
Levenshtein edit distance, packaged for ATS
-
Colored terminal output
-
Recursion schemes in ATS
-
A verified memory-safe correct implementation of left-pad in ats2
-
An ATS to Lua compiler
-
Just a Playground
