Explore projects
-
-
skeletons / Necro Transformers
GNU General Public License v3.0 onlyUpdated -
erable / KisSplice
CeCILL Free Software License Agreement v2.0Updated -
dynres / dyn-procs / prrte
BSD 3-Clause Open MPI variantUpdated -
skeletons / Necro Library
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
Updated
-
dynres / applications / DynPetsc
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
SCHERER Gabriel / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
dynres / dyn-procs / openpmix
BSD 3-Clause Open MPI variantUpdated -
HCL / DeCovA
GNU General Public License v3.0 onlyUpdated -
solverstack / hips
OtherUpdated -
-
« Pourquoi ces avions font-ils autant de bruit ? » ou quand le calcul haute-performance s'invite en aéroacoustique
UpdatedUpdated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
grid5000 / kadeploy
CeCILL Free Software License Agreement v2.0Kadeploy is a scalable, efficient and reliable deployment system (cluster provisioning solution) for cluster and grid computing
Updated -
BERNARD Samuel / odexp
Othernumerical solver for population-based systems with gnuplot graphical output
Updated -
skeletons / Necro Debugger Generator
GNU General Public License v3.0 onlyA generator of debugger for the Skel language for semantics description
Updated -
Updated