Lib.rs
›
Users
#
dependent-types
#
type-theory
#
programming-language
#
agda
#
pretty
ice1000
Tesla I. Zhang
Joined crates-io 4 years ago. Joined GitHub 7 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
Tesla I. Zhang created 9 crates
pretty-xmlish
1.5
K
Founded in Jan 2023. Last updated a month ago.
agda-tac
Founded in Nov 2019. Last updated 2 years ago.
agda-mode
Founded in Nov 2019. Last updated 2 years ago.
voile
Passively maintained. Founded in Mar 2019. Last updated 2 years ago.
minitt
Archived. Founded in Feb 2019. Last updated 2 years ago.
minitt-util
Passively maintained. Founded in Sep 2019. Last updated 2 years ago.
pest-ide
Founded in Apr 2019. Last updated 3 years ago.
nar
Founded in Sep 2019. Last updated 3 years ago.
voile-util
Passively maintained. Founded in Sep 2019. Last updated 3 years ago.