Michael Sproul (michaelsproul)

michaelsproul

Geek Repo

Company:@sigp

Location:Sydney, Australia

Home Page:https://sproul.xyz/

Twitter:@sproulM_

Github PK Tool:Github PK Tool


Organizations
blockprint-collective
CakeML
iron
sigp

Michael Sproul's starred repositories

radare2

UNIX-like reverse engineering framework and command-line toolset

Language:CLicense:LGPL-3.0Stargazers:20072Issues:491Issues:8428

Karabiner-Elements

Karabiner-Elements is a powerful utility for keyboard customization on macOS Sierra (10.12) or later.

Language:C++License:UnlicenseStargazers:18339Issues:208Issues:3692

upx

UPX - the Ultimate Packer for eXecutables

Language:C++License:NOASSERTIONStargazers:13919Issues:281Issues:719

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

Language:RubyLicense:BSD-2-ClauseStargazers:13458Issues:304Issues:5521

AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Language:CLicense:Apache-2.0Stargazers:4878Issues:77Issues:776

differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.

Language:RustLicense:MITStargazers:2517Issues:48Issues:156

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:2063Issues:25Issues:1595

besu

An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu

Language:JavaLicense:Apache-2.0Stargazers:1440Issues:60Issues:2649

python-kasa

🏠🤖 Python API for TP-Link smarthome products

Language:PythonLicense:NOASSERTIONStargazers:1154Issues:29Issues:312

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Language:RustLicense:LGPL-2.1Stargazers:844Issues:17Issues:309

q-evm

MEV Bot and Flashbots Bundler written in q using kdb+

Language:qLicense:NOASSERTIONStargazers:419Issues:12Issues:0

mev-boost-relay

MEV-Boost Relay for Ethereum proposer/builder separation (PBS)

Language:GoLicense:AGPL-3.0Stargazers:411Issues:33Issues:85

hive

Ethereum end-to-end test harness

Language:GoLicense:GPL-3.0Stargazers:387Issues:32Issues:190

jemalloc.NET

A native memory manager for .NET

Language:C#License:MITStargazers:333Issues:20Issues:10

jammdb

Just Another Memory Mapped Database

Language:RustLicense:Apache-2.0Stargazers:264Issues:8Issues:19

scapegoat

Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.

Language:RustLicense:MITStargazers:245Issues:4Issues:10

builder-specs

Specification for the external block builders.

Language:HTMLLicense:CC0-1.0Stargazers:174Issues:17Issues:33

libdiffuzz

Custom memory allocator that helps discover reads from uninitialized memory

Language:RustLicense:Apache-2.0Stargazers:163Issues:8Issues:6

checkpointz

An Ethereum beacon chain checkpoint sync provider

Language:GoLicense:GPL-3.0Stargazers:136Issues:7Issues:18

dblab

A framework for building database systems by high-level programming, and getting really good performance nevertheless.

debos-radxa

This repo is deprecated, please use https://github.com/radxa-repo/rbuild instead

faster-hex

fast hex

Language:RustLicense:MITStargazers:80Issues:8Issues:14

consensus-spec-tests

Common tests for the Ethereum proof-of-stake consensus layer

yakv

Yet another key-value storage for Rust

Language:RustLicense:Apache-2.0Stargazers:69Issues:3Issues:0

bnum

Arbitrary, fixed size numeric types that extend the functionality of primitive numeric types in Rust.

Language:RustLicense:NOASSERTIONStargazers:68Issues:3Issues:16

rust-callgraph

Which functions call each other in your rust crate? Static call graph analysis.

Language:RustLicense:NOASSERTIONStargazers:27Issues:1Issues:2

consensus-actor

View Ethereum consensus-layer activity: network-wide historical view of attester performance as interactive map

Language:GoLicense:MITStargazers:19Issues:3Issues:0

sshcerts

A crate for reading, parsing, verifying, and generating OpenSSH certificates and keys.

Language:RustLicense:MITStargazers:16Issues:3Issues:3

openexecution

A system that exposes a engine api to the public

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