Lists (6)
Starred repositories
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
A shell script which checks your $HOME for unwanted files and directories.
A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.
A libbpf based tracer to help figure out what an application is doing.
Demonstration of various hardware effects.
A benchmarking suite to evaluate the performance of persistent memory access (PerMA-Bench @ VLDB '22)
Versatile typeface for code, from code.
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