Haskell gRPC support

progman.exe^H^H^H^H

Linear algebra and numerical computation

Powerful system container and virtual machine manager

Extensible implementation of the RISC-V ISA based on FreeMonads

FuzixOS: Because Small Is Beautiful

Quickly build and run kernels inside a virtualized snapshot of your live system

Draco is a library for compressing and decompressing 3D geometric meshes and point clouds. It is intended to improve the storage and transmission of 3D graphics.

Immutable Linux OS to run Incus

Cross-platform low-code GUI and automation

pre-built coreboot images and documentation on how to flash them for Thinkpad Laptops

A massively parallel, high-level programming language

The first streamable, fixed memory XML, HTML, and JSX parser for WebAssembly.

educational microarchitectures for risc-v isa

My experimental NixOS configuration for VisionFive 2

A simple wake on lan web app written with SvelteKit, Go and PocketBase.

A utility for browsing and installing GNOME Shell Extensions.

Ubuntu for Rockchip RK35XX Devices

A GUI to browse and restore restic backup repositories.

RISC-V Assembly Programmer's Manual

A Rust library for PDF document manipulation.

Modern CSS framework based on Flexbox

FUSE filesystem over Google Drive

Lit is a simple library for building fast, lightweight web components.

A JavaScript library to position floating elements and create interactions for them.

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

🔍 Tiny, full-text search engine for static websites built with Rust and Wasm

Starlight plugin to generate documentation from TypeScript using TypeDoc

Multi-tenant Nix Binary Cache

A Linux-capable RISC-V multicore for and by the world