Giters
Michael Wu (michaelwu)

michaelwu

Geek Repo

56

followers

0

following

57

stars

Github PK Tool:Github PK Tool

Michael Wu's starred repositories

a-mir-formality

a model of MIR and the Rust type/trait system

Language:RustLicense:Apache-2.0Stargazers:278Issues:0Issues:0

openSIL

Language:CStargazers:319Issues:0Issues:0

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Language:CoqStargazers:808Issues:0Issues:0

firesim

FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility

Language:ScalaLicense:NOASSERTIONStargazers:844Issues:0Issues:0

matchlib

SystemC/C++ library of commonly-used hardware functions and components for HLS.

Language:C++License:NOASSERTIONStargazers:240Issues:0Issues:0

manim

Animation engine for explanatory math videos

Language:PythonLicense:MITStargazers:60920Issues:0Issues:0

ghidra

Ghidra is a software reverse engineering (SRE) framework

Language:JavaLicense:Apache-2.0Stargazers:49514Issues:0Issues:0

BOLT

Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries

Stargazers:2505Issues:0Issues:0

stressapptest

Stressful Application Test - userspace memory and IO test

Language:C++License:Apache-2.0Stargazers:538Issues:0Issues:0

vellvm

The Vellvm (Verified LLVM) coq development.

Language:LLVMLicense:NOASSERTIONStargazers:385Issues:0Issues:0

vmtouch

Portable file system cache diagnostics and control

Language:CLicense:BSD-3-ClauseStargazers:1773Issues:0Issues:0

Co-dfns

High-performance, Reliable, and Parallel APL

Language:APLLicense:AGPL-3.0Stargazers:690Issues:0Issues:0

algo

Set up a personal VPN in the cloud

Language:JinjaLicense:AGPL-3.0Stargazers:28539Issues:0Issues:0

the-super-tiny-compiler

:snowman: Possibly the smallest compiler ever

Language:JavaScriptLicense:CC-BY-4.0Stargazers:27690Issues:0Issues:0

big-list-of-naughty-strings

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

Language:PythonLicense:MITStargazers:46039Issues:0Issues:0

stoke

STOKE: A stochastic superoptimizer and program synthesizer

Language:C++License:Apache-2.0Stargazers:725Issues:0Issues:0

libfor

A very fast scalar implementation for Frame Of Reference integer compression.

Language:CLicense:Apache-2.0Stargazers:106Issues:0Issues:0

volkswagen

:see_no_evil: Volkswagen detects when your tests are being run in a CI server, and makes them pass.

Language:JavaScriptLicense:MITStargazers:14108Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:95286Issues:0Issues:0

tup

Tup is a file-based build system.

Language:CLicense:GPL-2.0Stargazers:1Issues:0Issues:0

android-device-otoro

DEPRECATED

Language:ShellStargazers:9Issues:0Issues:0

platform_build

Language:ShellStargazers:2Issues:0Issues:0

mozilla-central-pa

Unofficial import of Mozilla's mozilla-central hg repository using hg-git

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

alsa-lib

Fork of alsa-lib that builds on Android

Language:CLicense:LGPL-2.1Stargazers:19Issues:0Issues:0

B2G

DEPRECATED - Boot to Gecko aims to create a complete, standalone operating system for the open web.

Language:ShellLicense:NOASSERTIONStargazers:1108Issues:0Issues:0

b2g-manifest

DEPRECATED - Repo manifests for building B2G

Language:ShellStargazers:65Issues:0Issues:0

rilproxy

Language:CStargazers:1Issues:0Issues:0

kernel-android-galaxy-s2-ics

DEPRECATED - A copy of the samsung galaxy s2 ICS kernel

Language:CLicense:NOASSERTIONStargazers:9Issues:0Issues:0

galaxy-s2-ics

Language:ShellStargazers:1Issues:0Issues:0

pulseaudio

Fork of git://anongit.freedesktop.org/pulseaudio/pulseaudio that builds on Gonk

Language:CLicense:NOASSERTIONStargazers:8Issues:0Issues:0