Rust for absolute beginners (ages 9+): playful, safe and full of space adventures.

Library and tools for managing ecosystem wide call graphs and llvm-ir analysis

📊 Check your GitHub rating, view results and enhance your profile quality.

POSIX equivalent of Windows DLL import libraries

A simple tool to find functions which can be made static

Instructions on obtaining stable benchmarks results on modern Linux distro

Language development libraries for Rust

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.

Checksec

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.

Create ctags/etags for a cargo project

A Python Script to Generate a Report to Rank Hugo Themes

Idiomatic exceptions for Rust

Experimental (unstable) “fast-math” wrappers for f32, f64

TLA+ language support for Visual Studio Code

Migrate C code to Rust

Clippings

Clippings

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.