Text UI for Jujutsu based on fzf, centering around the jj log with key bindings for common operations

Collection of formal proofs

Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, and labwc.

A post-modern modal text editor.

No Nonsense Neovim Client in Rust

Easily browse and read Wayland protocols documentation

A Git-compatible VCS that is both simple and powerful

A playbook for systematically maximizing the performance of deep learning models.

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Xwayland outside your Wayland

😸 Soothing pastel theme for the high-spirited!

A markup-based typesetting system that is powerful and easy to learn.

A smithy for rusty wayland compositors

Frame profiler

Visualize Your Ideas With Code

Tiled scrollable window management for GNOME Shell

Open-source keyboard firmware for Atmel AVR and Arm USB families

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

DLL function patterns for Half-Life and friends

Record and Replay Framework

Mixin is a trait/mixin and bytecode weaving framework for Java using ASM

Visual Studio Code

Manage Flatpak permissions

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Vulkan bindings for Rust

Command-line program to download videos from YouTube.com and other video sites

Command line helpers for fuzzing

Safe and rich Rust wrapper around the Vulkan API

fugitive.vim: A Git wrapper so awesome, it should be illegal