Empowering everyone to build reliable and efficient software.

Twilight - Timezone Tracker 🕑

A curated list of awesome Rust checkers

Automatic verification of LLVM optimizations

UB-free and deterministic rustc fuzzer

Root-free one-click configuration for Mix Flip's outer screen: Add and use any apps & Restore system apps to default style

A tool to remove unused code from a Rust project.

A tool to help with minimization of Rust code

Kani Rust Verifier

A guide to how rustc works and how to contribute to it.

Library for generating/parsing/optimizing Koopa IR.

An experimental mdbook backend for creating EPUB documents.

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

just my .dotfiles

nixpkgs

My Nix configs and beyond. NixOS, Nix on Fedora, Nix-on-Droid.

My personal nix config

A tldr client written in Rust

ShellCheck, a static analysis tool for shell scripts

A repl for WebAssembly Components

An LLVM IR dataset for data-driven compiler optimization research

KISS NixOS configuration based on Flakes & flake-parts (supports macOS too)

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

My infra on NixOS

Empowering everyone to build reliable and efficient software.

LLVM compile-tracking tracking infrastructure

git remote add upstream https://github.com/oxalica/nixos-config

Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust