Explore projects
-
solverstack / Chameleon
OtherDense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
-
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
ZIMMERMANN Paul / ecm
GNU General Public License v3.0 onlyUpdated -
ROGIER Alice / ProtoDrift
MIT LicenseUpdated -
Yifei Sun / ysun
Creative Commons Attribution Non Commercial 4.0 Internationalnix // yocaml
Updated -
-
-
NumPEx-PC5 / WP2 Co-design / proxy-FUn
CeCILL-C Free Software License AgreementUpdated -
Updated
-
Updated
-
-
-
Tristan Riehs / Hppong
GNU General Public License v3.0 or laterUpdated -
Metabolic network library, using directed hypergraphs as a representation, in Rust.
Updated -
SLICES-RI / resources / shared / BI Monitoring
BSD 3-Clause Clear LicenseBI monitoring solution using Prometheus, Thanos and Grafana.
Updated -
gismo / gismo
Mozilla Public License 2.0UpdatedUpdated
