Explore projects
-
Rémi Piau Phd / coded_learning
GNU Affero General Public License v3.0Test learning algorithms in python after encoding using rust backed entropy coder.
Updated -
discretewalks / comb_walks
GNU General Public License v3.0 or laterUpdated -
Updated
-
-
A complete gitlab-ci pipeline example with a C++ project. Keywords: gitlabci, c++, cmake, static analysis, lint, sonarqube, pages, package, release, docker, macosx, windows, badges.
Updated -
Updated
-
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 -
Gappa / coq
OtherA Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Updated -
TASSI Enrico / 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 -
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
