Member of GitHub orgs
staterightjonnadal created 8 crates
-
choice
462K Sole owner since Feb 2021. Last updated 3 years ago. -
stateright
462K Sole owner since Jul 2018. Last updated 8 months ago. -
fibril_verifier
Sole owner since Jan 2023. Last updated 2 years ago. -
fibril
Sole owner since Dec 2022. Last updated 2 years ago. -
fibril_core
Sole owner since Dec 2022. Last updated 2 years ago. -
consistency_model
Sole owner since Jan 2023. Last updated 2 years ago. -
vector_clock
Sole owner since Jan 2023. Last updated 2 years ago. -
hashable
Sole owner since Feb 2021. Last updated 4 years ago.