Welcome to husky-lang-org! The word husky means that we want to work happily!
Pinned Loading
Repositories
Showing 10 of 47 repositories
- 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 - salsa Public Forked from salsa-rs/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
xiyuzhai-husky-lang/salsa’s past year of commit activity - egui Public Forked from emilk/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
xiyuzhai-husky-lang/egui’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 - unicode_names2 Public Forked from progval/unicode_names2
char <-> Unicode character name (maintained fork of huonw/unicode_names)
xiyuzhai-husky-lang/unicode_names2’s past year of commit activity