Staged compilation with dependent types

Declarative hardware configuration for NixOS [maintainer=@numtide]

A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education and research.

An embedding of ZFC into Agda

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

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

A curated list of awesome AbstractMachine (https://github.com/NJU-ProjectN/abstract-machine) frameworks, software and resources.

Repository to maintain out-of-tree shell.nix files (maintainer=@mic92)

A Project dedicated to making GPU Partitioning on Windows easier!

Nix binding for Rust

Trace the socket syscall and do something.

glibc for Debian v10 including 2.6.32 kernel compatibility as required when using OpenVZ v6. The master and release branches track official source and the custom branches contain the changes. https…

The Arend Proof Assistant

Touying is a powerful package for creating presentation slides in Typst.

Container to WASM converter

Open-source KVM software

Run macOS, Windows and more via a single Nix command, or simple nixosModules

Virtual Machine for the Web

数据链路层协议在线模拟器

Wrappers for open source FPU hardware implementations.

A riscv emulator.

Multi-Architecture UEFI Environment Driver

A family of small, fast, and simple bitmap fonts in single-file C headers

Rust VST3 and CLAP plugin framework and plugins - because everything is better when you do it yourself

VirtIO guest drivers in Rust.