Explore projects
-
COMPO / compo.tidyML
OtherUpdated -
CAPSULE / Qarton Projects / Compressed EC DLog
GNU Affero General Public License v3.0Updated -
COMPRISE / COMPRISE Personal Server
MIT LicenseUpdated -
COMPRISE / COMPRISE STT training recipe
Apache License 2.0Unified training recipe for STT models on COMPRISE Cloud Platform
Updated -
CompuTiX / CompuTiX
GNU Affero General Public License v3.0Modular and extensible computational framework for simulating tissues, cells, ...
Updated -
STACK-RESEARCH-GROUP / Software / Concerto library
GNU General Public License v3.0 or laterUpdated -
Updated
-
-
TASSI Enrico / coq
OtherA Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Updated -
Gappa / coq
OtherA Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Updated -
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Updated -
Updated
-
A Coq formalization of real analysis compatible with the standard library.
Updated -
A Coq formalization of real analysis compatible with the standard library.
Updated -
Coquelicot / coquelicot
OtherA Coq formalization of real analysis compatible with the standard library.
Updated -
A Coq formalization of real analysis compatible with the standard library.
Updated -
A Coq formalization of real analysis compatible with the standard library.
Updated -
A Coq formalization of real analysis compatible with the standard library.
Updated
