linusyang's repositories
opencl-test-ios
Simple OpenCL demos for iOS and more
udp2raw-tunnel
A UDP Tunnel which tunnels UDP via FakeTCP/UDP/ICMP Traffic by using Raw Socket,helps you Bypass UDP FireWalls(or Unstable UDP Environment).Its Encrpyted,Anti-Replay and Multiplexed.It aslo acts as a Connection Stablizer.
udp2raw-docker
Build udp2raw-tunnel by Docker
linusyang.github.io
Personal website
barrelfish
Barrelfish OS mirror of http://hg.barrelfish.org/barrelfish/
tiny-AES-c
Small portable AES128/192/256 in C
ChineseConv
Action Menu Plugin for converting texts into Traditional Chinese
learn-haskell
Oh, that Haskell..
spoj-haskell
A Haskell noob's playground
jscube-scalajs
Scala.js Demo
OS-X-Clover-Laptop-Config
Some Clover config.plist files for common Intel graphics configurations
Xposed-AmbientNotifications
Xposed module to enable Ambient Display for Notifications only
BochsWatchOS
Bochs ported to Apple Watch
BrowserChooser
Default browser chooser for iOS5.0+
Karabiner-Elements
The next generation Karabiner for macOS Sierra
lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
metalib
The Penn Locally Nameless Metatheory Library
pi-forall
A demo implementation of a simple dependently-typed language
sparkdemo
Simple Demo for Running Apps on Apache Spark
tlc
Mirror of https://gitlab.inria.fr/charguer/tlc
TypeInfer
Type inference for 'type level computation one step at a time'