Giters
Hao Sun (SunHao-0)

SunHao-0

Geek Repo

73

followers

15

following

30

stars

Company:ETH Zurich

Location:Zurich Switzerland

Home Page:haosun.info

Twitter:@ha0_sun

Github PK Tool:Github PK Tool

Hao Sun's starred repositories

terminal

The new Windows Terminal and the original Windows console host, all in the same place!

Language:C++License:MITStargazers:95710Issues:1311Issues:12861

awesome-rust

A curated list of Rust code and resources.

Language:RustLicense:CC0-1.0Stargazers:46957Issues:817Issues:135

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

Language:C++License:BSD-3-ClauseStargazers:36550Issues:1311Issues:761

actix-web

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

Language:RustLicense:Apache-2.0Stargazers:21728Issues:230Issues:1576

blog_os

Writing an OS in Rust

Language:HTMLLicense:Apache-2.0Stargazers:15802Issues:284Issues:486

static-analysis

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

Language:RustLicense:MITStargazers:13343Issues:321Issues:576

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:HTMLLicense:MITStargazers:11176Issues:23Issues:572

serde

Serialization framework for Rust

Language:RustLicense:Apache-2.0Stargazers:9160Issues:74Issues:1829

rfcs

RFCs for changes to Rust

Language:MarkdownLicense:Apache-2.0Stargazers:5955Issues:332Issues:1609

syzkaller

syzkaller is an unsupervised coverage-guided kernel fuzzer

Language:GoLicense:Apache-2.0Stargazers:5385Issues:194Issues:1005

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:2648Issues:107Issues:606

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

Language:PythonLicense:Apache-2.0Stargazers:2265Issues:53Issues:1384

scx

sched_ext schedulers and tools

Language:CLicense:GPL-2.0Stargazers:924Issues:21Issues:103

person_search

Joint Detection and Identification Feature Learning for Person Search

Language:PythonLicense:NOASSERTIONStargazers:738Issues:38Issues:132

healer

Kernel fuzzer inspired by Syzkaller.

Language:RustLicense:Apache-2.0Stargazers:268Issues:13Issues:31

Hopper

Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.

Language:RustLicense:NOASSERTIONStargazers:234Issues:5Issues:18

yinyang

A fuzzing framework for SMT solvers

Language:PythonLicense:MITStargazers:184Issues:6Issues:30

home

The Themis Benchmark for evaluating automated GUI testing

Language:PythonLicense:MITStargazers:143Issues:8Issues:5

UBGen

UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)

Language:CLicense:Apache-2.0Stargazers:54Issues:2Issues:1

hephaestus

A framework for testing compilers' type checkers

Language:PythonLicense:GPL-3.0Stargazers:50Issues:4Issues:33

TxCheck

A fuzzing framework for finding transactional bugs in DBMSs

Language:C++License:GPL-3.0Stargazers:49Issues:3Issues:1

thalia

A framework for testing compilers' type checkers

Language:PythonLicense:GPL-3.0Stargazers:17Issues:0Issues:0

libtcc

Rust binding for tcc

Language:RustLicense:MITStargazers:14Issues:2Issues:2

myml

Experimental multi-paradigm programming language with full type inference.

Language:HaskellLicense:MITStargazers:5Issues:3Issues:0