Explore projects
-
-
An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
Updated
-
-
Updated
-
Updated
-
-
« 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 -
Kadeploy is a scalable, efficient and reliable deployment system (cluster provisioning solution) for cluster and grid computing
Updated -
numerical solver for population-based systems with gnuplot graphical output
Updated