Explore projects
-
Updated
-
Updated
-
MARINO Antonio / Crazyswarm2
MIT LicenseUpdated -
Updated
-
ROUSSELIN Pierre / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
Updated
-
LE GALL Guillaume / contiki-tp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
MOINE Alexandre / dislog
MIT LicenseUpdated -
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
Updated
-
Matteo Manighetti / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Updated