Lib.rs
›
Users
#
pretty-xmlish
#
agda
#
art
#
pretty
#
voile
ice1000
Tesla Zhang
Joined crates-io 6 years ago. Joined GitHub 9 years ago.
GitHub
crates.io
Home (ice1000.org)
Maintainer dashboard
Member of GitHub orgs
agda
,
JuliaEditorSupport
,
pest-parser
,
EmmyLua
,
ice1k
,
devkt-plugins
,
owo-lang
,
arend-lang
,
aya-prover
,
risingwavelabs
ice1000 created 9 crates
pretty-xmlish
3.8
K
Sole owner since Jan 2023. Last updated 2 years ago.
minitt-util
14
K
Passively maintained. Sole owner since Sep 2019. Last updated 4 years ago.
voile-util
14
K
Passively maintained. Sole owner since Sep 2019. Last updated 5 years ago.
agda-tac
Sole owner since Nov 2019. Last updated 4 years ago.
agda-mode
Sole owner since Nov 2019. Last updated 4 years ago.
voile
Passively maintained. Sole owner since Mar 2019. Last updated 4 years ago.
minitt
Archived. Sole owner since Feb 2019. Last updated 4 years ago.
pest-ide
Sole owner since Apr 2019. Last updated 5 years ago.
nar
Sole owner since Sep 2019. Last updated 5 years ago.