Lists (2)
Stars
A visualized debugging framework to aid in understanding the Linux kernel.
Fastest implementations of 32-bit and 64-bit integer square roots for x86-64
Extremely fast x86 / AVX2 assembly implementations of common operations for linear arrays: checking whether array contains element, finding index of element, finding min/max element, finding index …
Fastest CPU SIMD (SSE4) sorting networks for small integer arrays (2-6 elements), also optimal amd64 assembly and notes on getting compilers to generate optimal sorting networks.
A multi-factor equity risk model for quantitative trading.
Sioyek is a PDF viewer with a focus on textbooks and research papers
This artifact accompanies the paper 'Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts,' which has been accepted for presentation at EuroSys'24.
Vim-fork focused on extensibility and usability
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
Bot to monitor for southbound permit spaces on the John Muir Trail
Official git repository for libdivide: optimized integer division
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
An Interview Primer for Quantitative Finance
This repository contains code examples for the Stanford's course: TensorFlow for Deep Learning Research.
Scrapes the recreation.gov website to check for campsite availabilities 🏕🏕
S2E: A platform for multi-path program analysis with selective symbolic execution.
Client SDKs for ServerlessNetworking
Workaround for Intel throttling issues in Linux.
🦀 Small exercises to get you used to reading and writing Rust code!
Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.
ripgrep recursively searches directories for a regex pattern while respecting your gitignore