Starred repositories
Experimental project to adapt the WSL2 open-source components to run FreeBSD OS
ASIC implementation flow infrastructure, successor to OpenLane
jjui is a TUI designed for interacting with the Jujutsu version control system.
Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-based merge.
Library providing helpers for the Linux kernel io_uring support
Pipelined RV32I core for a custom SoC
A Git-compatible VCS that is both simple and powerful
An extremely fast Python package and project manager, written in Rust.
Lightweight GUI for managing Bhyve, Jails, ZFS, networking, and more on FreeBSD
MicroZig is a toolbox for building embedded applications in Zig.
This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.
The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
Visual Studio extension for assembly syntax highlighting and code completion in assembly files and the disassembly window