🌌
TLA⁺ core developer
-
Disjunctive
- Seattle, Washington, USA
- https://ahelwer.ca/
- @ahelwer@discuss.systems
- in/ahelwer
- https://codeberg.org/ahelwer
- https://sr.ht/~ahelwer/
Lists (5)
Sort Name ascending (A-Z)
Blog
All projects relating to my blog2 repositories
Contracting
Repositories related to contracts I've worked on1 repository
Old Projects
Projects that will not be developed further.5 repositories
Scratch
Repositories used to store temporary experiments5 repositories
TLA⁺
All my projects that involve TLA⁺1 repository
Stars
2
stars
written in C++
Clear filter
Replicated State Library. RSL is the Azure Paxos implementation which is used by multiple products in Azure and Bing. It provides the traditional Paxos functionality in a real world implementation.…
AI for Battle Tetris, entered into a programming contest