Explore projects
-
cado-nfs / cado-nfs
GNU Lesser General Public License v2.1 onlyCado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Updated -
Updated
-
Why3 / 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
-
Updated
-
Simulators for DNA sequencing, consensus algorithms to get the original sequence
Updated -
Containerized documentation of customer environments
Updated -
Updated
-
Jens Gustedt / eĿlipsis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
BERNARD Samuel / Simuscale
GNU Affero General Public License v3.0Multiscale simulation of cell populations/Simulations multi-échelles de populations cellulaires
Updated -
Updated
-
implementation and metatheory of time credits and time receipts in Iris / Coq
Updated -
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
This repository contains the Coq/Iris proofs that accompany the paper Spy game---Verifying a local generic solver in Iris
Updated -
Updated
-
Updated
-
Updated
-
Romain Garbage / guix
GNU General Public License v3.0 onlyUpdated