MatthewDaggitt/agda-routing
An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
Agda
Stargazers
- aaglenn
- celsobonutti@NoRedInk
- chessai
- clayratIMDEA Software
- cyberglotGlasgow, UK
- cycloidzzz
- denjiKyiv, UA
- ErnestKzChannable
- i-walker▒
- jiangpinghan
- kamil-adamwriteonly.pl
- L-TChenInstitute of Information Science, Academia Sinica
- lexvanderstoepAmsterdam
- MatthewDaggitt
- metric-space@arcee-ai
- ndcroos
- nikitavoloboevTbilisi
- no-identdLaniakea
- philzook58Draper
- scott-fleischman
- shhyouTaipei, Taiwan
- taktoa@MatX-inc
- tkersey@thisisartium
- vaibhavsagargadigal land/sydney