Pinned Repositories
AnalyzeJavaMOP
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
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
xiaohe27's Repositories
xiaohe27/K-Spec-Gen
Generate k-spec from annotated java file which can be used as the input of k verifier
xiaohe27/PrologInOcaml
Implement a Prolog interpreter in Ocaml
xiaohe27/cmop
rv-monitor for c, implemented in K
xiaohe27/CS477-Proj
The course project deliverable for CS477
xiaohe27/CS484-Project
All the code and resources related to CS484 course project
xiaohe27/enforcemoptests
EnforceMOP properties and tests
xiaohe27/exercises-scalatutorial
Exercises for the "Functional Programming Principles in Scala", part of the FP in Scala specialized program by EPFL.
xiaohe27/exercises-stdlib
Scala Exercises' lessons for the standard library
xiaohe27/expressos
The ExpressOS kernel
xiaohe27/java-semantics
The semantics of Java in K
xiaohe27/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
xiaohe27/javamopDemo
Some demo of javamop property
xiaohe27/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.
xiaohe27/k
The K tools
xiaohe27/kiwix-html5
Offline wikipedia reader in HTML5/Javascript, with Firefox OS as the primary target
xiaohe27/LearningTools
Record my exp of using new tools
xiaohe27/LogReader
The log reader which can read log files
xiaohe27/OffLine-Log-Analysis
xiaohe27/openmrs-core
OpenMRS API and web application code
xiaohe27/PerformanceTest
Some tests for testing performance of programs
xiaohe27/qrcodejs
Cross-browser QRCode generator for javascript
xiaohe27/Readings4Courses
Papers need to read
xiaohe27/rvm-parser
Parsing RVM and MOP specifications using K framework
xiaohe27/scigen
An automatic paper generator
xiaohe27/Tasks
The tasks that are going to be executed
xiaohe27/TestAgent
xiaohe27/Testing
xiaohe27/weixin-java-tools
微信企业号和公众号（包括服务号和订阅号） Java SDK开发工具包
xiaohe27/weui
A UI library by WeChat official design team, includes the most useful widgets/modules in mobile web applications.
xiaohe27/wxpay-sdk
Server-side SDK of Weixin/WeChat, the Java binding.