alex-ren

org.ats-lang.toolats

Tools for ATS-Anairiats and ATS-Postiats

org.ats-lang.postiats.jats

Interpreter for ATS in Java.

ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates

ATS_LDD

Linux Device Driver in ATS

org.ats-lang.documentation

Documentation of ATS related topics.

snoopy-docker

Dockerized snoopy

6887psets

Problem Sets for MIT 6.887 Formal Reasoning About Programs

ajax_demo

antlr4ide

ANTLR 4 IDE for Eclipse

ATS-Postiats-contrib

ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

ats2spin

Use ATS to generate models in Promela

coding-practice

Repo for storing code created for programming practicing

cody_land

crack_code

frap

Formal Reasoning About Programs

IntelliJATS

An ATS Plugin for IntelliJ IDEA.

json-c

Official code repository for json-c. See the wiki for release tarballs for download.

lambda_calculus

Learn-ATS-Postiats

Learning code of ATS-Postiats

Learn-ATS-Postiats-contrib

Learning code of ATS-Postiats-contrib

learn_typesafe_reactive

Projects for practice of TypeSafe Reactive Platform

media-organizer

Minis

A mini Spring platform for learning

model-checking-ats

MTVeri

Model Checking and Type Checking Based Program Verification

openrw-test-recipe

SPOT_APP

Demonstration of the usage of SPOT

summary_of_papers

teaching

Website for the courses I work for.

temptest