🏠
Working from home
PhD Student working on an ancient programming language called Husky. It's going to fundamentally change how we see huskies
-
MIT
- Cambridge, MA
-
07:35
(UTC -04:00)
Block or Report
Block or report xiyuzhai
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
husky Public
Forked from xiyuzhai-husky-lang/huskyEmpowering everyone towards next generation AI and software.
Rust MIT License UpdatedJun 30, 2024 -
-
-
-
-
-
-
LeanAide Public
Forked from siddhartha-gadgil/LeanAideTools based on AI for helping with Lean 4
Jupyter Notebook Apache License 2.0 UpdatedApr 11, 2024 -
naproche Public
Forked from naproche/naprocheWrite formal proofs in natural language and Latex.
Haskell GNU General Public License v3.0 UpdatedApr 9, 2024 -
-
-
-
-
-
-
egui-dock-bug Public
egui dock fails to display tab title when surrounded by sidepanels
Rust MIT License UpdatedOct 4, 2023 -
-
-
-
-
-
-
-
-
-
-
mmaclone Public
Forked from jyh1/mmacloneA simple Wolfram Language clone in Haskell
Haskell UpdatedJan 23, 2023 -
-
litrs Public
Forked from LukasKalbertodt/litrsParsing and inspecting Rust literals (particularly useful for proc macros)
Rust Apache License 2.0 UpdatedDec 19, 2022 -
nlp-datasets Public
Forked from niderhoff/nlp-datasetsAlphabetical list of free/public domain datasets with text data for use in Natural Language Processing (NLP)
UpdatedDec 14, 2022
Previous Next