( 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
213ATS2: Unleashing the Potentials of Types and Templates
130Tool to count lines of source code.
45Implementing ATS3 in ATS2
41This 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.
24Collection of ATS goodness
22Examples from Introduction to Programming in ATS
18Home of the fast-arithmetic library for number theory in ATS and Haskell.
16generate ATS interface from C code
14⛓️ Blockchain + Smart contracts from scratch
83D vector algebra library for ATS
8This repository is primarily for testing ATS2 on various platforms
8A parsing combinator library.
7Concurrency primitives for ATS
6Small programs testing out features of the ATS (Postiatis) programming language.
6Recursion schemes in ATS
6Levenshtein edit distance, packaged for ATS
6A verified memory-safe correct implementation of left-pad in ats2
6For template-based library code that is, kind of, inspired by category theory.
6ATS2 proofs of concept stuff
5Colored terminal output
4An ATS to Lua compiler
3Source code for my series of blog entires dubbed "The Joy of ATS"
3ATS bindings for libdill
3Monads for viewtypes in ATS
3My own utilities for ATS
16 Followers 100+
0 Repos per User
repos.Total / users.Total