( 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
184ATS2: Unleashing the Potentials of Types and Templates
46Tool to count lines of source code.
21Examples from Introduction to Programming in ATS
16This 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
11Home of the fast-arithmetic library for number theory in ATS and Haskell.
11Collection of ATS goodness
7This repository is primarily for testing ATS2 on various platforms
6Implementing ATS3 in ATS2
6A parsing combinator library.
53D vector algebra library for ATS
5A verified memory-safe correct implementation of left-pad in ats2
5ATS2 proofs of concept stuff
4Concurrency primitives for ATS
4Colored terminal output
3Small programs testing out features of the ATS (Postiatis) programming language.
3An ATS to Lua compiler
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
2The code for the specific endpoints blog post
2port of https://github.com/rigtorp/nanomq to ats
2Demo programs for NEPLS 15
2Port of Data.Either for ATS
2My own utilities for ATS
14 Followers 100+
0 Repos per User
repos.Total / users.Total