Starred repositories
Instructions on obtaining stable benchmarks results on modern Linux distro
Inspect a command's effects before modifying your live system
eXtremely Minimal Hugo theme: about 140 lines of code in total, including HTML and CSS (with no dependencies)
Towards an understanding of the strict aliasing rules
Memstop monitors available memory and waits until a configurable percentage of memory becomes available before allowing a program to start.
This is an example buffer overflow attack on a small vulnerable C program.
Usage of enabled-by-default hardening-related compiler flags across Linux distributions
The Best Practices for OSS Developers working group is dedicated to raising awareness and education of secure code best practices for open source developers.
Anatole is a minimalistic two-column theme for Hugo.
A Python Script to Generate a Report to Rank Hugo Themes
Experimental (unstable) “fast-math” wrappers for f32, f64
TLA+ language support for Visual Studio Code
Test and benchmark suite for sort implementations.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A curated list of awesome deterministic simulation testing resources 😎
dthreads: Efficient Deterministic Multithreading
A Promela model of Piko/RT under the Spin model checker.
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Learn TLA+ for free! No prior experience necessary!
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
A collection of TLA⁺ specifications of varying complexities.