- Berkeley, CA
Highlights
- Pro
Starred repositories
A fast linearizability checker written in Go 🔎
Sysinfo is a Go library providing Linux OS / kernel / hardware system information.
Supplementary materials for RustConf 2023 talk on signal handling
Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
A simple multi-profile Nix-flake deploy tool.
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
A high-level API for programmatically interacting with web pages through WebDriver.
Rust structs representing network-related types (on Layer 2, 3 and 4)
Linux eBPF backdoor over TCP. Spawn reverse shells, RCE, on prior privileged access. Less Honkin, More Tonkin.
LaTeX.css is a CSS library that makes your website look like a LaTeX document
Idris answers to exercises from Bartosz Milewski's _The Dao of Functional Programming_ (https://github.com/BartoszMilewski/Publications/tree/master/TheDaoOfFP)
'go test' runner with output optimized for humans, JUnit XML for CI integration, and a summary of the test results.
A highly efficient daemon for streaming data from Kafka into Delta Lake
eBPF based syscalls, files and network events tracing framework
Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
An idiomatic and fast QP-trie implementation in pure Rust.