Skip to content
View ceciliacsilva's full-sized avatar
45 followers · 172 following
  • Universidade Federal de Uberlândia
  • Uberlândia

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report ceciliacsilva

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

5 stars written in TLA
Clear filter

spacejam / tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

TLA 1,056 26 Updated May 23, 2017

pingcap / tla-plus

TLA 305 39 Updated Jun 9, 2024

Azure / azure-cosmos-tla

Azure Cosmos TLA+ specifications

TLA 293 45 Updated Dec 14, 2023

mitchellh / tlaplus-radix-tree

TLA+ modules, specifications, and models for Radix trees.

TLA 33 2 Updated Jul 9, 2021

DistAlgo / proofs

TLA 9 4 Updated Nov 4, 2019