Explore projects
-
AVA / daisy-certification-public
BSD 2-Clause with views sentenceUpdated -
-
Robbert Krebbers / fast_string
GNU Lesser General Public License v2.1 onlyUpdated -
AVA / FloVer
BSD 2-Clause with views sentenceA certificate checker for roundoff error bounds
Updated -
-
Simon Spies / RefinedC Extended
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Laila Elbeheiry / refinedc
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Satya Prakash Nayak / rpg-stela
MIT LicenseUpdated -
Iris / Quiver
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Rodolphe Lepigre / Quiver
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Iris / RefinedC
BSD 3-Clause "New" or "Revised" LicenseUpdated