ChoreographicProgramming

Generating a standard library of core distributed algorithms with formal proofs
Is freely licensed? ✅
Website https://github.com/lovrosdu/klor
Source https://github.com/lovrosdu/klor
NLNet grant pages