Beast code in Giters

linusyang's repositories

SSLPatch

Patch iOS SSL vulnerability (CVE-2014-1266)

Language:C10 4 1

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.

Language:C++MIT1000

udp2raw-docker

Build udp2raw-tunnel by Docker

Language:Shell6 1 1

linusyang.github.io

Personal website

Language:SCSS4 1 1

xbmc

XBMC Main Repository

Language:CNOASSERTION4 50

barrelfish

Barrelfish OS mirror of http://hg.barrelfish.org/barrelfish/

Language:CMIT300

tiny-AES-c

Small portable AES128/192/256 in C

Language:CUnlicense3 10

ChineseConv

Action Menu Plugin for converting texts into Traditional Chinese

Language:C200

Fun-iOS

Fun Language Interpreter for iOS

Language:Objective-C200

jscube

Draw 3D objects pixel by pixel on 2D HTML5 canvas

Language:CoffeeScript200

learn-haskell

Oh, that Haskell..

Language:Haskell200

piano

An easy music score translator

Language:Bison200

theos

Unified cross-platform iPhone Makefile system

Language:PerlNOASSERTION2 10

CCMove

Move Control Center to Notification Center

Language:Objective-C++101

jscube-scalajs

Scala.js Demo

Language:Scala100

OS-X-Clover-Laptop-Config

Some Clover config.plist files for common Intel graphics configurations

Language:ShellNOASSERTION100

Peggy

The Parser Generator for Haskell

Language:HaskellBSD-3-Clause100

spoj-haskell

A Haskell noob's playground

Language:Haskell100

VoodooI2C

Intel Lynxpoint I2C controller and device driver for OS X

Language:C++GPL-3.0100

Xposed-AmbientNotifications

Xposed module to enable Ambient Display for Notifications only

Language:JavaMIT100

BochsWatchOS

Bochs ported to Apple Watch

Language:C++000

BrowserChooser

Default browser chooser for iOS5.0+

Language:Logos010

Karabiner-Elements

The next generation Karabiner for macOS Sierra

Language:C++Unlicense000

lngen

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

Language:HaskellMIT000

mako

Franco kernel for Nexus 4

Language:CNOASSERTION000

metalib

The Penn Locally Nameless Metatheory Library

Language:Coq000

pi-forall

A demo implementation of a simple dependently-typed language

Language:Haskell000

sparkdemo

Simple Demo for Running Apps on Apache Spark

Language:CSS000

tlc

Mirror of https://gitlab.inria.fr/charguer/tlc

Language:Coq000

TypeInfer

Type inference for 'type level computation one step at a time'

Language:HaskellGPL-3.0000