See what the CodeGayHub community is most excited about today.
ATS2: Unleashing the Potentials of Types and Templates
A faster version of cat written in ATS
Examples from Introduction to Programming in ATS
Tool to count lines of source code.
generate ATS interface from C code
This repository is primarily for testing ATS2 on various platforms
A parsing combinator library.
3D vector algebra library for ATS
ATS2 proofs of concept stuff
Headers to define alternative program entry points.
Another implementation of ATS
Small programs testing out features of the ATS (Postiatis) programming language.
A verified memory-safe correct implementation of left-pad in ats2
Embedded drivers for RX series. Created by ATS language.
For using npm to manage additional ATS-Postiats packages
A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
My own utilities for ATS
Design files for Goliath: A Tiny Drone Powered by the Intel Edison
Some simple examples for learning ATS.
Automate ATS projects like never before!
Functions and views for safe handling of UNIX file descriptors.
ATS bindings for libdill