Yichen Yan's repositories
trickytripper
Tricky Tripper Android Application
UnitConverterUltimate
A simple, lightweight unit converter for Android
Slide
Slide is an open sourced, ad free Reddit browser for Android
car-report
Forked from https://bitbucket.org/frigus02/car-report/
sv-benchmarks
Collection of Verification Tasks
graal-playground
A project with some Graal samples, mostly performance test
qbfuzz
Clone of https://code.google.com/archive/p/qbfuzz/
mypy
Optional static typing for Python 2 and 3 (PEP 484)
iGAN
Interactive Image Generation via Generative Adversarial Networks
seahorn
SeaHorn Verification Framework
ECNU_BeamerTemplate
ECNU_BeamerTemplate
cil
C Intermediate Language
repairnator
Software development bot that automatically repairs build failures on Travis Continuous Integration. Joint the bot revolution! :star2::robot::star2::revolving_hearts:
fonts
Patched fonts for Powerline users.
DataV-For-Nemo
SNH48-费沁源应援会基于阿里云DataV的数据可视化系统
SoundWaves
Free, Libre and Open Source podcatcher - for Android
delta
Mirror of http://delta.tigris.org