Welcome to husky-lang-org! The word husky means that we want to work happily!
Pinned
Repositories
Showing 10 of 46 repositories
-
- mathematics_in_lean Public Forked from leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
- egui Public Forked from emilk/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
- typst Public Forked from typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
-
- unicode_names2 Public Forked from progval/unicode_names2
char <-> Unicode character name (maintained fork of huonw/unicode_names)
- LeanDojo Public Forked from lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.