Member of GitHub orgs
staterightjonnadal created 8 crates
-
choice
599K Sole owner since Feb 2021. Last updated 3 years ago. -
stateright
599K Sole owner since Jul 2018. Last updated 5 months ago. -
fibril_verifier
Sole owner since Jan 2023. Last updated a year ago. -
fibril
Sole owner since Dec 2022. Last updated a year ago. -
fibril_core
Sole owner since Dec 2022. Last updated a year 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 3 years ago.