Explore projects
-
GILBERT Gaëtan / coq
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
Updated
-
Updated
-
NGUYEN-VAN-YEN Benjamin / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
Ocan Sankur / smt-switch
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
GALLEGO ARIAS Emilio Jesus / itauto
MIT LicenseItauto: an Extensible Intuitionistic SAT Solver
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
guix-hpc / sc24-reproducibility-initiative
GNU General Public License v3.0 onlyUpdated -
gismo / gismo
Mozilla Public License 2.0UpdatedUpdated