Giters
hchunhui

hchunhui

Geek Repo

90

followers

27

following

33

stars

Company:USTC

Location:Hefei

Home Page:http://home.ustc.edu.cn/~hchunhui

Github PK Tool:Github PK Tool

hchunhui's starred repositories

emscripten

Emscripten: An LLVM-to-WebAssembly Compiler

Language:C++License:NOASSERTIONStargazers:25455Issues:588Issues:9150

VirtualApp

Virtual Engine for Android(Support 14.0 in business version)

Language:JavaStargazers:10083Issues:570Issues:0

UDPspeeder

A Tunnel which Improves your Network Quality on a High-latency Lossy Link by using Forward Error Correction, possible for All Traffics(TCP/UDP/ICMP)

Language:C++License:MITStargazers:4652Issues:167Issues:314

seL4

The seL4 microkernel

Language:CLicense:NOASSERTIONStargazers:4627Issues:205Issues:413

legacy-cc

The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.

Language:CLicense:NOASSERTIONStargazers:3741Issues:135Issues:3

mpc

A Parser Combinator library for C

Language:CLicense:NOASSERTIONStargazers:2634Issues:78Issues:108

proxydroid

Global Proxy for Android

Language:CStargazers:2217Issues:121Issues:0

harlan

A language for GPU computing.

Language:SchemeLicense:NOASSERTIONStargazers:1187Issues:125Issues:148

netcat-cpi-kernel-module

Kernel module edition of the Cycles Per Instruction (2014) album.

Language:CStargazers:840Issues:41Issues:19

batteries-included

Batteries Included project

Language:OCamlLicense:NOASSERTIONStargazers:514Issues:16Issues:515

l4v

seL4 specification and proofs

Language:IsabelleLicense:NOASSERTIONStargazers:496Issues:38Issues:97

min-caml

moved from https://sourceforge.net/p/min-caml/code/

Language:OCamlLicense:NOASSERTIONStargazers:480Issues:28Issues:6

kmscon

Linux KMS/DRM based virtual Console Emulator

Language:CLicense:NOASSERTIONStargazers:430Issues:41Issues:115

kcptun-raw

Kcptun with raw socket and fake TCP headers.

Language:CLicense:GPL-3.0Stargazers:411Issues:38Issues:16

cil

C Intermediate Language

Language:OCamlLicense:NOASSERTIONStargazers:348Issues:24Issues:33

zkPoD-node

zkPoD: A decentralized system for perfect fair data exchange

Language:GoLicense:GPL-3.0Stargazers:203Issues:13Issues:6

camlpdf

OCaml library for reading, writing and modifying PDF files

Language:OCamlLicense:NOASSERTIONStargazers:201Issues:11Issues:60

ocamlcc

OCaml bytecode to C compiler

Language:CLicense:NOASSERTIONStargazers:95Issues:10Issues:2

Determinator

Experimental operating system for deterministic parallel computing

Language:CStargazers:38Issues:17Issues:1

compiler

a mini C-like language(C1) compiler

Language:CStargazers:35Issues:8Issues:0

myos

a unix like OS from scratch

Language:CStargazers:25Issues:5Issues:0

coq-tutorial-ml-tactics

A tutorial on how to write OCaml tactics for the Coq proof assistant

Language:OCamlStargazers:23Issues:8Issues:3

zkPoD-lib

The underlying core library for zkPoD system

Language:C++License:NOASSERTIONStargazers:20Issues:4Issues:3

ZBC---The-Zero-Board-Computer

Based heavily on zet.aluzina.org and Terasic DE0

Language:VerilogLicense:GPL-3.0Stargazers:15Issues:3Issues:2

clevo-wmi

CLEVO/Notebook WMI Linux Driver

Language:CStargazers:10Issues:4Issues:3

pic1dp

PIC1D-PETSc (pic1dp) is a code simulating 1D electrostatic plasma by solving Vlasov-Poisson equation using particle-in-cell (PIC) method.

Language:FortranLicense:GPL-3.0Stargazers:9Issues:5Issues:1

config-conkeror

Language:JavaScriptStargazers:8Issues:2Issues:1

exploit-plugin

An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins

Language:CoqLicense:NOASSERTIONStargazers:7Issues:3Issues:0

mips-as

a MIPS subset assembler

Language:BisonStargazers:1Issues:3Issues:0

software-foundation-2012

My exercises in a "Software Foundations" course. Refer to http://www.cis.upenn.edu/~bcpierce/sf/ . The course is about the foundations of programming languages, using Coq.

Language:CoqStargazers:1Issues:0Issues:0