Giters
Howard Mao (zhemao)

zhemao

Geek Repo

254

followers

46

following

362

stars

Location:Berkeley, CA

Home Page:http://zhehaomao.com

Github PK Tool:Github PK Tool

Howard Mao's starred repositories

learnhaskell

Learn Haskell

Language:MakefileLicense:CC0-1.0Stargazers:7904Issues:264Issues:41

iron

An Extensible, Concurrent Web Framework for Rust

Language:RustLicense:MITStargazers:6120Issues:158Issues:260

piston

A modular game engine written in Rust

Language:RustLicense:MITStargazers:4546Issues:126Issues:885

seL4

The seL4 microkernel

Language:CLicense:NOASSERTIONStargazers:4529Issues:205Issues:401

evercookie

Produces persistent, respawning "super" cookies in a browser, abusing over a dozen techniques. Its goal is to identify users after they've removed standard cookies and other privacy data such as Flash cookies (LSOs), HTML5 storage, SilverLight storage, and others.

Language:JavaScriptStargazers:4397Issues:249Issues:78

ChinaDNS

Protect yourself against DNS poisoning in China.

Language:CLicense:GPL-3.0Stargazers:3565Issues:248Issues:130

lalrpop

LR(1) parser generator for Rust

Language:RustLicense:Apache-2.0Stargazers:2870Issues:34Issues:407

mcsema

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

Language:C++License:AGPL-3.0Stargazers:2580Issues:112Issues:439

antimony

CAD from a parallel universe

Language:C++Stargazers:2072Issues:130Issues:170

rlite

self-contained, serverless, zero-configuration, transactional redis-compatible database engine. rlite is to Redis what SQLite is to SQL.

Language:CLicense:BSD-2-ClauseStargazers:1051Issues:36Issues:34

zinc

The bare metal stack for rust

Language:RustLicense:Apache-2.0Stargazers:1005Issues:72Issues:168

carp

"interesting" VM in C. Let's see how this goes.

Language:CLicense:GPL-3.0Stargazers:981Issues:60Issues:16

csmith

Csmith, a random generator of C programs

Language:C++License:NOASSERTIONStargazers:937Issues:34Issues:97

egison

The Egison Programming Language

Language:HaskellLicense:MITStargazers:902Issues:45Issues:155

LittleD

A relational database for embedded devices and sensors nodes

Language:CLicense:Apache-2.0Stargazers:724Issues:40Issues:16

wired-logic

Wired Logic - a pixel based logic simulator

Language:GoLicense:MITStargazers:669Issues:23Issues:2

PiFox

3D rail shooter written in ARM assembly

Language:AssemblyLicense:BSD-3-ClauseStargazers:389Issues:33Issues:3

x84

A python telnet/ssh server for modern terminals. In spirit of classic software such as ami/x, teleguard, renegade, iniquity.

Language:PythonLicense:NOASSERTIONStargazers:373Issues:35Issues:135

diffscuss

Code reviews. In plain text.

Language:PythonLicense:MITStargazers:340Issues:21Issues:37

guile-wm

A Window Manager Toolkit for Guile Scheme

Language:TeXLicense:GPL-3.0Stargazers:221Issues:30Issues:12

rustboot

A multi-platform kernel written in Rust

Language:RustLicense:MITStargazers:194Issues:19Issues:15

rustic

Rustic Embedded Framework

Language:RustLicense:NOASSERTIONStargazers:189Issues:20Issues:5

mentoring

The source of a distributed mentoring movement.

Stargazers:167Issues:15Issues:0

yafc

Yet Another Forth Core...

Language:VHDLStargazers:68Issues:7Issues:1

rust-rtos

FreeRTOS rewritten in Rust for the PIC32MX target, and eventually for x86, ARM, and MSP430 as well.

Language:RustLicense:GPL-3.0Stargazers:64Issues:15Issues:0

zscale

Z-scale Microarchitectural Implementation of RV32 ISA

Language:CLicense:NOASSERTIONStargazers:51Issues:43Issues:6

Adapt

The client library for ProteusISC

Language:PythonLicense:LGPL-2.1Stargazers:26Issues:11Issues:18

orestes

the ultimate yak shave

Language:CLicense:GPL-3.0Stargazers:23Issues:3Issues:8

rusticom

An NES Emulator in Rust

Language:RustStargazers:13Issues:0Issues:0

thesis

my phd thesis

Language:TeXStargazers:6Issues:0Issues:0