xuanruiqi
Mostly a mathematician now, but still hacking some Coq and tinkering with Arch Linux.
Graduate School of Mathematics, Nagoya UniversityNagoya, Japan
Pinned Repositories
succinct
certint
A Certified Interpreter for ML with Structural Polymorphism
algebraic-geometry
Algebraic geometry in Coq/SSReflect/MathComp
categories
Categories in Coq using SSReflect and packed classes
commalg
Commutative algebra in Coq/SSReflect
et2
Elephant Tracks 2 simulator
rebuild-initramfs-dracut-arch
A tool to automate the rebuilding of initramfs using Dracut for Arch Linux-based systems
rebuild-initramfs-dracut-arch-legacy
A helper script for Arch Linux; rebuild initramfs images using dracut
ruby-alpm
Ruby bindings for libalpm, the Arch Linux Package Management library
vdpau-va-driver-vp9
Experimental VP9 codec support for vdpau-va-driver (NVIDIA VDPAU-VAAPI wrapper) and chromium-vaapi
xuanruiqi's Repositories
xuanruiqi/vdpau-va-driver-vp9
Experimental VP9 codec support for vdpau-va-driver (NVIDIA VDPAU-VAAPI wrapper) and chromium-vaapi
xuanruiqi/algebraic-geometry
Algebraic geometry in Coq/SSReflect/MathComp
xuanruiqi/categories
Categories in Coq using SSReflect and packed classes
xuanruiqi/commalg
Commutative algebra in Coq/SSReflect
xuanruiqi/rebuild-initramfs-dracut-arch-legacy
A helper script for Arch Linux; rebuild initramfs images using dracut
xuanruiqi/dtp
Dependently-typed programs I write; mostly in Idris, sometimes in Agda/Coq, occasionally in Haskell
xuanruiqi/rebuild-initramfs-dracut-arch
A tool to automate the rebuilding of initramfs using Dracut for Arch Linux-based systems
xuanruiqi/ruby-alpm
Ruby bindings for libalpm, the Arch Linux Package Management library
xuanruiqi/alpm4h
Haskell bindings to libalpm
xuanruiqi/arc-theme
A flat theme with transparent elements (actively maintained fork)
xuanruiqi/archiso
Official archiso scripts Repository (read-only mirror)
xuanruiqi/blog-old-hakyll
New (Hakyll-based) blog.
xuanruiqi/camlp5
Preprocessor / Pretty Printer for OCaml
xuanruiqi/certint
A Certified Interpreter for ML with Structural Polymorphism
xuanruiqi/coq-forms
Differential forms in Coq
xuanruiqi/genie
A quick way into a systemd "bottle" for WSL
xuanruiqi/go
Tufts Project and Resources Archive
xuanruiqi/grading-tool
A simple and rather makeshift grading tool.
xuanruiqi/hott-book-agda
Formalize proofs in the HoTT book in Agda
xuanruiqi/howdy
🛡️ Windows Hello™ style facial authentication for Linux
xuanruiqi/libfprint
libfrpint driver for a family of Elantech fingerprint sensors
xuanruiqi/math-notes
Mathematical notes
xuanruiqi/mathcomp-install
Coq/SSReflect/MathComp installation instructions in Japanese
xuanruiqi/nvidia-vaapi-driver
A VA-API implemention using NVIDIA's NVDEC
xuanruiqi/old-website
My personal website (now just one HTML page).
xuanruiqi/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
xuanruiqi/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
xuanruiqi/PLGradSchools
xuanruiqi/ssrmint
xuanruiqi/xuanruiqi.github.io
Personal website generated using zola