Giter Site home page Giter Site logo

linusyang's Projects

android-busybox-ndk icon android-busybox-ndk

Keeping track of instructions and patches for building busybox with the android NDK

barrelfish icon barrelfish

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

botbrew icon botbrew

*nix tools and package management for Android

ccmove icon ccmove

Move Control Center to Notification Center

chineseconv icon chineseconv

Action Menu Plugin for converting texts into Traditional Chinese

coretext-chinese-fixer icon coretext-chinese-fixer

A Mobile Substrate tweak for fixing Chinese glyphs always in bold style in CoreText framework below iOS 6

darwin-cctools icon darwin-cctools

Darwin cctools with Saurik's ldid ported to iOS, Cygwin & Linux

jscube icon jscube

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

lngen icon lngen

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

mako icon mako

Franco kernel for Nexus 4

metalib icon metalib

The Penn Locally Nameless Metatheory Library

peggy icon peggy

The Parser Generator for Haskell

pi-forall icon pi-forall

A demo implementation of a simple dependently-typed language

piano icon piano

An easy music score translator

pjabberd icon pjabberd

Jabber Server written in Python. Forked from https://code.google.com/p/pjabberd/.

postgres icon postgres

Mirror of the official PostgreSQL GIT repository with "Similarity Join" and "Block Nested Loop Join" features. Final term project of the course "Introduction to Database".

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.