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/et2
Elephant Tracks 2 simulator
xuanruiqi/APlayer
:wind_chime:Wow, such a beautiful html5 music player
xuanruiqi/awesome-compilers
:sunglasses: A curated list of awesome resources on Compilers, Interpreters and Runtimes.
xuanruiqi/blog-old
My blog is right here
xuanruiqi/DistBackupService
A distributed file backup service! Comp 50: Concurrent Programming final project.
xuanruiqi/dynruby
Dynamic ruby annotations displayed on hover.
xuanruiqi/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
xuanruiqi/godel-t
A Godel's System T interpreter
xuanruiqi/markdown-pp
Preprocessor for Markdown files to generate a table of contents and other documentation needs
xuanruiqi/math-comp
Mathematical Components
xuanruiqi/matrixcalc
xuanruiqi/min-caml
moved from https://sourceforge.net/p/min-caml/code/
xuanruiqi/pl0
The PL/0 programming language implemented in OCaml
xuanruiqi/rbrainf-k-cpp
A brainf**k interpreter written in C++11
xuanruiqi/ruby-anno-pp
Markdown preprocessor for ruby annotations.
xuanruiqi/sat-solver
A simple boolean satisfiability (SAT) solver written in OCaml
xuanruiqi/senior-thesis
My senior honors thesis (2018) for BSCS at Tufts, "Elephant Tracks II: Practical, Extensible Memory Tracing".
xuanruiqi/ssh-quick-sign-in
A tiny shell script that allows you to quickly SSH into a machine.
xuanruiqi/stm-presentation
Presentation in Comp 50CP, Tufts University, on software transactional memory
xuanruiqi/TuftsIdeasForSpringFling
Who do Tufts students want for Spring Fling? We answer this by analyzing their Spotify listening patterns.
xuanruiqi/verified-data-structures
A formalization of some data structures (mainly tree structures) in Coq/Ssreflect.
xuanruiqi/wlan-live