alex-ren/SPOT_APP
Demonstration of the usage of SPOT
Developer Profile
alex-ren
Discovered public repositories for alex-ren in the GitHub catalog.
alex-ren/json-c
Official code repository for json-c. See the wiki for release tarballs for download.
alex-ren/org.ats-lang.documentation
Documentation of ATS related topics.
alex-ren/org.ats-lang.toolats
Tools for ATS-Anairiats and ATS-Postiats
alex-ren/ajax_demo
Public repository.
alex-ren/xrats-frontend
A hacked together cross reference web application for ATS.
alex-ren/teaching
Website for the courses I work for.
alex-ren/simplefat
Rewriting FAT file system in my own way
alex-ren/atstools
tools for ATS
alex-ren/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
alex-ren/model-checking-ats
Public repository.
alex-ren/aren.java.swt
Public repository.
alex-ren/org.ats-lang.postiats.jats
Interpreter for ATS in Java.
alex-ren/org.ats-lang.anairiats.iats
Projects related to model checking ATS.
alex-ren/summary_of_papers
Public repository.
alex-ren/qualification
summary for qualification
alex-ren/ats_library
Export existing C/C++ libraries into ATS.
alex-ren/zlog
A reliable, high-performance, thread safe, flexsible, clear-model, pure C logging library.
alex-ren/FDR_workspace
FDR Workspace
alex-ren/autotools
test environment for GNU autotools
alex-ren/cspats
ATS library for writing program in CSP style
alex-ren/SFFS
Building file system with ATS
alex-ren/ldd_test
learning and practising Linux kernel module development
alex-ren/ldd3_example
Linux Device Driver Example Code (cloned from others)
alex-ren/SpeedBox
Specification and Implementation of SpeedBox
alex-ren/org.ats-lang.anairiats.ide
Public repository.
alex-ren/org.ats_lang
ats language development environment
alex-ren/GitTest
Testbed for git itself
alex-ren/ATS_LDD
Linux Device Driver in ATS
alex-ren/STFPL
CS525 Compiler
alex-ren/quest
The Quest Operating System