alex-ren's repositories
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
org.ats-lang.documentation
Documentation of ATS related topics.
snoopy-docker
Dockerized snoopy
Language:JavaScript000
ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
coding-practice
Repo for storing code created for programming practicing
Language:Java000
Language:Java000
Language:ATS000
IntelliJATS
An ATS Plugin for IntelliJ IDEA.
json-c
Official code repository for json-c. See the wiki for release tarballs for download.
Language:CNOASSERTION000
Language:ATS000
Learn-ATS-Postiats
Learning code of ATS-Postiats
Language:ATSNOASSERTION000
Learn-ATS-Postiats-contrib
Learning code of ATS-Postiats-contrib
Language:ATSMIT000
learn_typesafe_reactive
Projects for practice of TypeSafe Reactive Platform
Minis
A mini Spring platform for learning
000
Language:Java000
MTVeri
Model Checking and Type Checking Based Program Verification
Language:ATS000
SPOT_APP
Demonstration of the usage of SPOT
Language:C++000