HE XIAO's repositories
K-Spec-Gen
Generate k-spec from annotated java file which can be used as the input of k verifier
PrologInOcaml
Implement a Prolog interpreter in Ocaml
cmop
rv-monitor for c, implemented in K
CS477-Proj
The course project deliverable for CS477
CS484-Project
All the code and resources related to CS484 course project
enforcemoptests
EnforceMOP properties and tests
exercises-scalatutorial
Exercises for the "Functional Programming Principles in Scala", part of the FP in Scala specialized program by EPFL.
exercises-stdlib
Scala Exercises' lessons for the standard library
expressos
The ExpressOS kernel
java-semantics
The semantics of Java in K
javamop
Runtime verification system for Java, using AspectJ for instrumentation.
javamopDemo
Some demo of javamop property
jQuery-File-Upload
File Upload widget with multiple file selection, drag&drop support, progress bar, validation and preview images, audio and video for jQuery. Supports cross-domain, chunked and resumable file uploads. Works with any server-side platform (Google App Engine, PHP, Python, Ruby on Rails, Java, etc.) that supports standard HTML form file uploads.
k
The K tools
kiwix-html5
Offline wikipedia reader in HTML5/Javascript, with Firefox OS as the primary target
LearningTools
Record my exp of using new tools
LogReader
The log reader which can read log files
openmrs-core
OpenMRS API and web application code
PerformanceTest
Some tests for testing performance of programs
Readings4Courses
Papers need to read
rvm-parser
Parsing RVM and MOP specifications using K framework
scigen
An automatic paper generator
Tasks
The tasks that are going to be executed
weixin-java-tools
微信企业号和公众号（包括服务号和订阅号） Java SDK开发工具包