Lib.rs
›
Users
#
database-client
#
hstreamdb
alissa-tung
Alissa Tung
Joined crates-io 2 years ago. Joined GitHub 3 years ago.
GitHub
crates.io
Home (lagda.org)
Maintainer dashboard
Member of GitHub orgs
Agda-zh
,
ZHaskell
,
HStreamDB
,
lambda-magic
alissa-tung created 2 crates
hstreamdb
Sole owner since Sep 2022. Last updated a year ago.
hstreamdb-pb
Sole owner since Sep 2022. Last updated a year ago.