( 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
177ATS2: Unleashing the Potentials of Types and Templates
39Tool to count lines of source code.
26A faster version of cat written in ATS
21Examples from Introduction to Programming in ATS
13This 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.
12generate ATS interface from C code
9Basic library for number theory in ATS, with Haskell bindings.
6A parsing combinator library.
5This repository is primarily for testing ATS2 on various platforms
5ATS2 proofs of concept stuff
3Small programs testing out features of the ATS (Postiatis) programming language.
33D vector algebra library for ATS
3Headers to define alternative program entry points.
2A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
2For using npm to manage additional ATS-Postiats packages
2Concurrency primitives for ATS
2The code for the specific endpoints blog post
2My own utilities for ATS
2Embedded drivers for RX series. Created by ATS language.
2A verified memory-safe correct implementation of left-pad in ats2
1Documentation of ATS related topics.
1Automate ATS projects like never before!
1Source code for my series of blog entires dubbed "The Joy of ATS"
1ATS bindings for libdill
1An ATS to Lua compiler
13 Followers 100+
0 Repos per User
repos.Total / users.Total