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