xiyuzhai
A visored working on an ancient programming language called Husky. It's going to fundamentally change how we see huskies.
UWSeattle, WA
Pinned Repositories
corgi
The Husky package manager
husky-book
Book for the Husky Programming Language
husky-dev-guide
A guide to how husky works and how to contribute to it.
husky-preview
Placeholder till the real husky comes out.
impress
rfcs
RFCs for changes to Husky
CompCert
The CompCert formally-verified C compiler
math-related
mit-thesis
xiyuzhai.github.io
Homepage
xiyuzhai's Repositories
xiyuzhai/ai-math-theory
xiyuzhai/chaff-rs
chaff Sat solver in rust
xiyuzhai/crate-name-bug-rs
xiyuzhai/docker-subprocess-rs
xiyuzhai/egui-dock-bug
egui dock fails to display tab title when surrounded by sidepanels
xiyuzhai/expect-test-bug
xiyuzhai/xiyuzhai.github.io
Homepage
xiyuzhai/lean4-metaprogramming-book
xiyuzhai/LeanAide
Tools based on AI for helping with Lean 4
xiyuzhai/learn-ats
Me Learning the ATS programming language
xiyuzhai/learn-axum
xiyuzhai/learn-bevy
Me Learning Bevy
xiyuzhai/learn-egui
xiyuzhai/learn-go
xiyuzhai/learn-haskell
xiyuzhai/learn-julia
me learning julia
xiyuzhai/learn-koka
xiyuzhai/learn-lua
me learning lua
xiyuzhai/learn-racket
me learning racket
xiyuzhai/learn-scala
xiyuzhai/learn-taichi
xiyuzhai/learn-topos
xiyuzhai/learn-vulkan-cpp
xiyuzhai/learn-vulkan-rs
xiyuzhai/learn-wgpu
learn webgpu
xiyuzhai/motif
xiyuzhai/naproche
Write formal proofs in natural language and Latex.
xiyuzhai/npac
Nondeterministic PAC Learning Theory
xiyuzhai/pyo3-question
xiyuzhai/sglang-question1-qwen2-repeat-itself