A small experiment reproducing the AWS DNS race condition using the Spin model checker.

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

Copy files to an untrustworthy USB drive

Small kernel config for developers using qemu

A small library to create custom options

XLibre Xserver

Powerful list for ProseMirror and Remirror

transparent TCP-to-proxy redirector

A gdb command to inspect the size of objects on the stack

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)

Fast file counting on HDDs

NoteCalc is a handy calculator trying to bring the advantages of Soulver to the web.

Repository with text of DMCA takedown notices as received. GitHub does not endorse or adopt any assertion contained in the following notices. Users identified in the notices are presumed innocent u…

Powerful yet simple to use screenshot software 🖥️ 📸

An open source productivity tool drawing inspiration from workflowy and vim

For when people get too hyped up about things

💡 Looking for inspiration for your next open source project? Or perhaps you've got a brilliant idea you can't wait to share with others? Open Source Ideas is a community built specifically for this! 👋

Pure Python Vim clone.

Standalone package of the NumPy financial functions

A set of alternative `derive` attributes for Rust

A catalogue of Rust design patterns, anti-patterns and idioms

Rust's .yolo()

Tools for data-oriented programming

Array of Struct to Struct of Array helpers in Rust

Disable all the shiny and inappropriate animations made with CSS3 on your browser.

The headless rich text editor framework for web artisans.