Similar repositories to thobaa/Algebra-of-Parallel-Programming-in-Agda:

• thobaa/Algebra-of-Parallel-Programming-in-Agda github similar
• Blaisorblade/Agda-playground github similar
• sto0pkid/CategoryTheory github similar
• gergoerdi/universe-of-syntax github similar
• ezyang/lr-agda github similar
• pigworker/EGTBS github similar
• AndrasKovacs/system-f-omega github similar
• algebraic-graphs/agda github similar