Lib.rs
›
Users
#
pretty-print
#
agda
#
programming-language
#
printing
#
output
ice1000
Tesla Zhang
Joined crates-io 5 years ago. Joined GitHub 8 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.7
K
Sole owner since Jan 2023. Last updated a year 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.
minitt-util
Passively maintained. Sole owner since Sep 2019. Last updated 4 years ago.
pest-ide
Sole owner since Apr 2019. Last updated 4 years ago.
nar
Sole owner since Sep 2019. Last updated 4 years ago.
voile-util
Passively maintained. Sole owner since Sep 2019. Last updated 5 years ago.