🧊 A collection of configuration files that customize my computer's environment

The CompCert formally-verified C compiler

A readable, enjoyable, and comfortable colorscheme.

GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.

‼️ No waybar here ‼️

AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.

A fully programmable Wayland Compositor

Run Windows apps on 🐧 Linux with ✨ seamless integration

TamaGo - bare metal Go

Static analysis tool to detect potential nil panics in Go code

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.

Lightweight operating system using Node.js as userspace

The WASM library for ImageMagick

HyDE, your Development Environment 🖥️💻

A tiny C header-only risc-v emulator.

逆張りオタクなので学習管理これ

A scrollable-tiling Wayland compositor.

dotfiles

i3-compatible Wayland compositor

Wallpaper tool for Wayland compositors

A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.

The OpenRC init system

A toy C compiler written in Rust that emits RISC-V assembly.

Install Sonolus on your iPad using Linux and Docker

Compute Sanitizer but it's powered by SPIR-V

An extended version of Brainfuck with parallel processing and locking support

brgen, short for BinaRy encoder/decoder GENerator

An open-source C++ library developed and used at Facebook.

Standalone C compiler/assembler/linker/libc for x86-64/aarch64/riscv64/wasm