( New / Total ) * 100
( Update / Total ) * 100
|Sum stars of Top 30 repos
sum ( repos.stars )
|Fork 1000+ Repos
|Sum forks of Top 30 repos
sum ( repos.forks )
Top Star Repos
275ATS2: Unleashing the Potentials of Types and Templates
190Tool to count lines of source code.
91Implementing ATS3 in ATS2
50This 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.
29Collection of ATS goodness
22Examples from Introduction to Programming in ATS
20Home of the fast-arithmetic library for number theory in ATS and Haskell.
19Pretty-print error messages of the ATS Compiler
18⛓️ Blockchain + Smart contracts from scratch
18For supporting template-based programming
18generate ATS interface from C code
93D vector algebra library for ATS
9This repository is primarily for testing ATS2 on various platforms
9For template-based library code that is, kind of, inspired by category theory.
8Recursion schemes in ATS
8Levenshtein edit distance, packaged for ATS
8A parsing combinator library.
8This repository is supposed to hold a released version of Xanadu
7Concurrency primitives for ATS
6Small programs testing out features of the ATS (Postiatis) programming language.
6An interpreter for the Xanadu programming language
6An ATS to Lua compiler
6Colored terminal output
6A verified memory-safe correct implementation of left-pad in ats2
6Demonstration of GPU-accelerated statistical functions in ATS
18 Followers 100+
0 Repos per User
repos.Total / users.Total