Explore projects
-
SPC / public / TERPSICHORE
Apache License 2.0Updated -
Radu-Stefan Tipurita / 5G_SENS
Creative Commons Zero v1.0 UniversalUpdated -
Updated
-
Jacopo Moretti / Stainless verifier
Apache License 2.0Program verifier for Scala. Documentation, sources on GitHub
Updated -
Updated
-
D-Cliques: An Efficient Topology to Compensate for Non-Uniform Data in Decentralized Learning
Updated -
-
Updated
-
-
Updated
-
SaCS / Semester-Projects / fall24 / diloco-swarm
MIT LicenseUpdated -
SPC / mexargs
Apache License 2.0Tools to enforce input and output argument checks in C MEX-files for MATLAB
Updated -
Updated
-