Xiyu Zhai's repositories
husky
Empowering everyone towards next generation AI and software.
Language:RustMIT000
learn-racket
me learning racket
000
learn-lua
me learning lua
000
learn-bevy
Me Learning Bevy
Language:Rust000
Language:GoMIT000
000
Language:Rust000
LeanAide
Tools based on AI for helping with Lean 4
Apache-2.0000
naproche
Write formal proofs in natural language and Latex.
Language:HaskellGPL-3.0000
chaff-rs
chaff Sat solver in rust
MIT000
Language:TeX000
npac
Nondeterministic PAC Learning Theory
Language:TeX000
Language:Rust000
000
000
egui-dock-bug
egui dock fails to display tab title when surrounded by sidepanels
Language:RustMIT000
learn-wgpu
learn webgpu
Language:Rust000
Language:C++000
000
Language:Haskell000
000
000
learn-ats
Me Learning the ATS programming language
000
learn-julia
me learning julia
000
000
mmaclone
A simple Wolfram Language clone in Haskell
Language:Haskell000
learn-prolog
Me Learning Prolog
Language:Prolog000
litrs
Parsing and inspecting Rust literals (particularly useful for proc macros)
Apache-2.0000
nlp-datasets
Alphabetical list of free/public domain datasets with text data for use in Natural Language Processing (NLP)
000