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
Empowering everyone towards next generation AI and software.
husky-book
Book for the Husky Programming Language
husky-dev-guide
A guide to how husky works and how to contribute to it.
impress
rfcs
RFCs for changes to Husky
CompCert
The CompCert formally-verified C compiler
husky
Empowering everyone towards next generation AI and software.
math-related
mit-thesis
xiyuzhai's Repositories
xiyuzhai/husky
Empowering everyone towards next generation AI and software.
xiyuzhai/ai-math-theory
xiyuzhai/chaff-rs
chaff Sat solver in rust
xiyuzhai/crate-name-bug-rs
xiyuzhai/egui-dock-bug
egui dock fails to display tab title when surrounded by sidepanels
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-prolog
Me Learning Prolog
xiyuzhai/learn-racket
me learning racket
xiyuzhai/learn-scala
xiyuzhai/learn-taichi
xiyuzhai/learn-tauri
xiyuzhai/learn-topos
xiyuzhai/learn-vulkan-cpp
xiyuzhai/learn-vulkan-rs
xiyuzhai/learn-wgpu
learn webgpu
xiyuzhai/litrs
Parsing and inspecting Rust literals (particularly useful for proc macros)
xiyuzhai/mmaclone
A simple Wolfram Language clone in Haskell
xiyuzhai/motif
xiyuzhai/naproche
Write formal proofs in natural language and Latex.
xiyuzhai/nlp-datasets
Alphabetical list of free/public domain datasets with text data for use in Natural Language Processing (NLP)
xiyuzhai/npac
Nondeterministic PAC Learning Theory