Pinned Repositories
ART
The code for paper "ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks".
DiffAbs
Differentiable abstract domain implementations for neural network reasoning on PyTorch
XuankangLin.github.io
Using Hexo to build and maintain
XuankangLin's Repositories
XuankangLin/ART
The code for paper "ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks".
XuankangLin/DiffAbs
Differentiable abstract domain implementations for neural network reasoning on PyTorch
XuankangLin/XuankangLin.github.io
Using Hexo to build and maintain
XuankangLin/agda-summer-school
Summer school on programming in Agda
XuankangLin/airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
XuankangLin/beautiful-hexo
hexo theme ported from beautiful-jekyll.
XuankangLin/c11popl15
XuankangLin/cocos2d-html5
cocos2d for Web Browsers. Built using JavaScript
XuankangLin/cocos2d-js-tests
cocos2d JavaScript test cases and games.
XuankangLin/components
Component infrastructure and Material Design components for Angular
XuankangLin/GreenDroid
GreenDroid is a development library for the Android platform. It makes UI developments easier and consistent through your applications.
XuankangLin/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
XuankangLin/mjx
Mjx: A framework for Mahjong AI research
XuankangLin/pacman
Pacman is a flat and responsive design theme for Hexo.
XuankangLin/pi-forall
A demo implementation of a simple dependently-typed language
XuankangLin/purduepl.github.io
A blog of Programming Languages Group @Purdue
XuankangLin/ReluplexCav2017
XuankangLin/sublimetext-docs
Source code for http://docs.sublimetext.tw/
XuankangLin/WorkingTime
XuankangLin/XuankangLin