xuanruiqi

vdpau-va-driver-vp9

Experimental VP9 codec support for vdpau-va-driver (NVIDIA VDPAU-VAAPI wrapper) and chromium-vaapi

algebraic-geometry

Algebraic geometry in Coq/SSReflect/MathComp

categories

Categories in Coq using SSReflect and packed classes

commalg

Commutative algebra in Coq/SSReflect

rebuild-initramfs-dracut-arch-legacy

A helper script for Arch Linux; rebuild initramfs images using dracut

dtp

Dependently-typed programs I write; mostly in Idris, sometimes in Agda/Coq, occasionally in Haskell

rebuild-initramfs-dracut-arch

A tool to automate the rebuilding of initramfs using Dracut for Arch Linux-based systems

ruby-alpm

Ruby bindings for libalpm, the Arch Linux Package Management library

alpm4h

Haskell bindings to libalpm

arc-theme

A flat theme with transparent elements (actively maintained fork)

archiso

Official archiso scripts Repository (read-only mirror)

blog-old-hakyll

New (Hakyll-based) blog.

camlp5

Preprocessor / Pretty Printer for OCaml

certint

A Certified Interpreter for ML with Structural Polymorphism

coq-forms

Differential forms in Coq

genie

A quick way into a systemd "bottle" for WSL

go

Tufts Project and Resources Archive

grading-tool

A simple and rather makeshift grading tool.

hott-book-agda

Formalize proofs in the HoTT book in Agda

howdy

🛡️ Windows Hello™ style facial authentication for Linux

libfprint

libfrpint driver for a family of Elantech fingerprint sensors

math-notes

Mathematical notes

mathcomp-install

Coq/SSReflect/MathComp installation instructions in Japanese

old-website

My personal website (now just one HTML page).

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

PLGradSchools

ssrmint

succinct

xuanruiqi.github.io

Personal website generated using zola