( 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
190ATS2: Unleashing the Potentials of Types and Templates
50Tool to count lines of source code.
21Examples from Introduction to Programming in ATS
21This 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.
20Collection of ATS goodness
15Home of the fast-arithmetic library for number theory in ATS and Haskell.
13⛓️ Blockchain + Smart contracts from scratch
13Implementing ATS3 in ATS2
13generate ATS interface from C code
7This repository is primarily for testing ATS2 on various platforms
63D vector algebra library for ATS
6A parsing combinator library.
5Small programs testing out features of the ATS (Postiatis) programming language.
5A verified memory-safe correct implementation of left-pad in ats2
5ATS2 proofs of concept stuff
4Concurrency primitives for ATS
4Colored terminal output
3Source code for my series of blog entires dubbed "The Joy of ATS"
3An ATS to Lua compiler
3Recursion schemes in ATS
3Embedded drivers for RX series. Created by ATS language.
3Headers to define alternative program entry points.
2An ATS binding for hiredis.
2A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
2For using npm to manage additional ATS-Postiats packages
14 Followers 100+
0 Repos per User
repos.Total / users.Total