Explore projects

Program verifier for Scala. Documentation, sources on GitHub

This package provides GNUradio OOT modules and grc flowgraphs that fascilates Radio Astronomy Observations with software defined radio devices.

D-Cliques: An Efficient Topology to Compensate for Non-Uniform Data in Decentralized Learning