Starred repositories
AeroSpace is an i3-like tiling window manager for macOS
A browser extension for automating your browser by connecting blocks
A statically typed programming language for scientific computations with first class support for physical dimensions and units
A simple, fast and user-friendly alternative to 'find'
Portable atomic types including support for 128-bit atomics, atomic float, etc.
Run compilers interactively from your web browser and interact with the assembly
A list of awesome things related to the Starlark language
Alphabetically order GNOME's app grid and folders
A datetime library for Rust that encourages you to jump into the pit of success.
A small utility to modify the dynamic linker and RPATH of ELF executables
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
A jq clone focussed on correctness, speed, and simplicity
A memory safe implementation of sudo and su.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
A practical experiment on supply-chain security using reproducible builds
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
A markup-based typesetting system that is powerful and easy to learn.