Select languages
Just click on one of the languages to switch to it.
Repository Created on January 6, 2016, 4:27 pm
Last updated on January 17, 2016, 4:11 am
Repository Created on April 2, 2015, 8:16 pm
Model Checking and Type Checking Based Program Verification
Last updated on June 8, 2015, 3:25 am
Repository Created on December 5, 2012, 8:41 pm
regexp parsing in ATS
Last updated on July 27, 2015, 4:35 am
Repository Created on May 18, 2015, 9:33 pm
Learning code of ATS-Postiats-contrib
Last updated on May 18, 2015, 9:34 pm
Repository Created on June 6, 2019, 1:57 am
Low level atomic API bindings for ATS2 and ATS Temptory
Last updated on July 11, 2019, 4:37 am
Repository Created on January 18, 2019, 11:48 am
Last updated on May 16, 2020, 12:35 am
Repository Created on December 28, 2019, 8:14 am
Last updated on January 1, 2020, 5:14 pm
Repository Created on February 26, 2020, 9:20 pm
CRC32 implementation in ATS
Last updated on March 16, 2020, 11:49 am
Repository Created on December 25, 2019, 7:24 am
Last updated on December 31, 2019, 7:52 am
Repository Created on October 6, 2020, 11:07 am
Last updated on February 23, 2021, 8:45 am
Repository Created on December 5, 2020, 10:14 pm
For libxatsopt
Last updated on January 3, 2022, 7:05 am
Repository Created on September 17, 2018, 9:10 pm
Pretty-print error messages of the ATS Compiler
Last updated on January 4, 2023, 4:58 am
Repository Created on July 29, 2013, 4:16 pm
An ATS binding for hiredis.
Last updated on April 4, 2020, 5:07 am
Repository Created on November 17, 2013, 5:00 am
Documentation of ATS related topics.
Last updated on April 3, 2015, 10:05 pm
Repository Created on May 18, 2015, 9:25 pm
Learning code of ATS-Postiats
Last updated on May 18, 2015, 9:31 pm
Repository Created on January 8, 2016, 4:55 pm
Use ATS to generate models in Promela
Last updated on January 17, 2016, 11:27 pm
Repository Created on December 25, 2017, 8:36 pm
Source code for my series of blog entires dubbed "The Joy of ATS"
Last updated on May 21, 2018, 3:16 am
Repository Created on December 28, 2019, 7:56 am
Last updated on December 31, 2019, 7:53 am
Repository Created on August 18, 2020, 2:02 pm
Learning ATS from the official tutorial of the same name
Last updated on September 20, 2021, 1:59 pm
Repository Created on August 1, 2020, 4:01 am
Safe bytecount demo in ATS
Last updated on March 1, 2021, 1:28 am
Repository Created on June 15, 2020, 2:25 am
Postmortem for open-source operating systems
Last updated on January 19, 2022, 6:09 am
Repository Created on July 23, 2020, 10:28 am
my problem about the ATS/Postiats
Last updated on September 2, 2020, 7:09 pm
Repository Created on February 21, 2021, 7:41 am
Payload decoder for Dragino LHT65 device
Last updated on February 21, 2021, 12:15 pm
Repository Created on January 30, 2018, 8:30 am
Library support for calling Haskell functions in ATS.
Last updated on April 11, 2022, 2:40 pm
Repository Created on September 7, 2022, 4:24 am
For teaching BU CAS CS 525: Compiler Design and Implementation.
Last updated on December 11, 2022, 12:54 am
Repository Created on March 13, 2015, 10:43 pm
Functions and views for safe handling of `errno`.
Last updated on March 18, 2015, 7:36 pm
Repository Created on September 26, 2014, 4:18 am
Last updated on September 26, 2014, 4:19 am
Repository Created on February 13, 2016, 9:05 pm
Concepts of Programming Languages
Last updated on February 13, 2016, 9:07 pm
Repository Created on November 10, 2013, 6:52 pm
A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
Last updated on March 11, 2017, 2:47 am
Repository Created on January 14, 2017, 2:38 pm
For using npm to manage additional ATS-Postiats packages
Last updated on April 1, 2020, 1:31 pm