XuankangLin

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

agda-summer-school

Summer school on programming in Agda

airflow

Apache Airflow - A platform to programmatically author, schedule, and monitor workflows

beautiful-hexo

hexo theme ported from beautiful-jekyll.

c11popl15

cocos2d-html5

cocos2d for Web Browsers. Built using JavaScript

cocos2d-js-tests

cocos2d JavaScript test cases and games.

components

Component infrastructure and Material Design components for Angular

GreenDroid

GreenDroid is a development library for the Android platform. It makes UI developments easier and consistent through your applications.

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

mjx

Mjx: A framework for Mahjong AI research

pacman

Pacman is a flat and responsive design theme for Hexo.

pi-forall

A demo implementation of a simple dependently-typed language

purduepl.github.io

A blog of Programming Languages Group @Purdue

ReluplexCav2017

sublimetext-docs

Source code for http://docs.sublimetext.tw/

WorkingTime

XuankangLin