Welcome to husky-lang-org! The word husky means that we want to work happily!
Pinned Loading
Repositories
Showing 10 of 56 repositories
- Pantograph Public Forked from lenianiva/Pantograph
(Mirror) A Lean machine-to-machine interaction library
xiyuzhai-husky-lang/Pantograph’s past year of commit activity - mathematics_in_lean Public Forked from leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
xiyuzhai-husky-lang/mathematics_in_lean’s past year of commit activity - PyPantograph Public Forked from stanford-centaur/PyPantograph
A Machine-to-Machine Interaction System for Lean 4.
xiyuzhai-husky-lang/PyPantograph’s past year of commit activity - rust Public Forked from rust-lang/rust
Empowering everyone to build reliable and efficient software.
xiyuzhai-husky-lang/rust’s past year of commit activity - typst Public Forked from typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
xiyuzhai-husky-lang/typst’s past year of commit activity - flash-attention Public Forked from Dao-AILab/flash-attention
Fast and memory-efficient exact attention
xiyuzhai-husky-lang/flash-attention’s past year of commit activity
