Stars
Pure and reproducible nix overlay of binary distributed rust toolchains
Mirror only. Official repository is at https://git.zx2c4.com/wireguard-apple
Bootstrap Kubernetes the hard way. No scripts.
Official Jetpack Compose samples.
linux-kernel-labs / linux
Forked from torvalds/linuxLinux kernel source tree
A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the TinyWL reference compositor with Haskell bindings, allowing …
🍪 A full-featured, hackable tiling window manager written and configured in Python (X11 + Wayland)
📸 Snapshot plugin with rich features that can make pretty code snapshots for Neovim
The ML4W Dotfiles for Hyprland - An advanced and full-featured configuration for the dynamic tiling window manager Hyprland including an easy to use installation script for Arch and Fedora based Li…
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Alpine Linux based WSL distribution. Supports multi-install. Lightest WSL distribution.
一键DD/重装脚本 (One-click reinstall OS on VPS)
Automatic CPU speed & power optimizer for Linux
A continuation of Stephen Diehl's Write You a Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
eBPF-based Linux high-performance transparent proxy solution.
Level up your video experience with a modern and user-friendly media player.
A collection of NixOS modules covering hardware quirks.
❄️ A dead simple Nix flake template repository for Neovim derivations [maintainer=@mrcjkb]