Lists (6)
Sort Name ascending (A-Z)
Starred repositories
Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)
This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer…
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
ShellCheck, a static analysis tool for shell scripts
A technical explainer by @kognise of how your computer runs programs, from start to finish.
Userfaultfd-based page fault tracing tool to find faulting call-sites
A command-line tool to easily build and initialize KVM cloud image.
Dafny is a verification-aware programming language
Remove low-quality content and useless nags, focus on what matters. A community-maintained uBlock Origin filter set.
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
A bare metal programming guide (ARM microcontrollers)
A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accomplish a complete project for FPGA High-Level Synthesis with it.
RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers
A benchmark for low-level CPU micro-architectural features
NVIDIA Linux open GPU kernel module source
Helper application for Linux distributions serving as a kind of "entry point" for running and integrating AppImages
Deadline countdowns for academic conferences in Security and Privacy
🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.
Letgo mobile application clone for my youtube tutorial series https://www.youtube.com/watch?v=GS2095yocNA
A fast usermode x86 and x86-64 emulator for Arm64 Linux
Mic92 / inspector
Forked from emeryberger/dthreadsBuilds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.