Explore projects
-
tracing-llvm / llvm
Apache License 2.0Updated -
nonsmooth / siconos-tutorials
Apache License 2.0This repository contains all source files, published documents, and example programs for Siconos software.
Updated -
deformvis / insarviz
GNU General Public License v3.0 or laterUpdated -
verimag / synchrone / sasa
CeCILL Free Software License Agreement v2.1Self-stabilizing Algorithms SimulAtor
Updated -
LabNBook / LabNBook-code
GNU Affero General Public License v3.0Updated -
Mathdoc / ptfs / ptf-vuejs
GNU Affero General Public License v3.0Updated -
Updated
-
Updated
-
Mathdoc / ptfs / ptf-app-monitoring
GNU Affero General Public License v3.0Updated -
verimag / synchrone / lustre-v6
CeCILL Free Software License Agreement v2.1Lustre V6 compiler
Updated -
LIPhy / quanti-fret
BSD 3-Clause "New" or "Revised" LicenseUpdated -
OSUG / RESIF / fdsn_plugs
GNU General Public License v3.0 or laterUpdated -
Adrien Prost-Boucle / nnawaq
European Union Public License 1.2Neural Network Adequate hardWare Architectures for Quantization
Updated -
Arnold Fertin / HeartPLI.jl
MIT LicenseUpdated -
-
Yalep / Yalep
GNU General Public License v3.0 or laterYalep is a micro language based on Lean for teaching mathematical high-school proofs
Updated -
particle_methods / hysop
Apache License 2.0HySoP (Hybrid Simulation with Particles) is a library dedicated to high performance direct numerical simulation of fluid related problems based on semi-lagrangian particle methods.
Updated -
Mathdoc / ptfs / ptf-site-pcj
GNU Affero General Public License v3.0Updated
