MICROCARD
Numerical modeling of cardiac electrophysiology at the cellular scale.
MICROCARD builds software that can simulate cardiac electrophysiology using
whole-heart models with sub-cellular resolution, on exascale supercomputers.
From April 2021 to September 2024 MICROCARD was a project funded by EuroHPC
call Towards Extreme Scale Technologies and Applications. Since 1 November
2024 MICROCARD is a Centre of Excellence, also funded by EuroHPC, to
consolidate and improve the results of the project. It will be funded for
30 months by the call HORIZON-EUROHPC-JU-2023-COE-03.
Link to project site: https://www.microcard.eu/
OptiTrust
Interactive Source-to-source Optimization.
Contributors: Arthur Charguéraud, Thomas Koehler, Guillaume Bertholon, Yanni, Pauline.
Link to project site: https://github.com/charguer/optitrust
ellipsis
Extension and continuation of the C preprocessor for other languages.
Contributor: Jens Gustedt.
Link to project site: https://codeberg.org/gustedt/ellipsis
Documentation: https://gustedt.gitlabpages.inria.fr/ellipsis
PolyLib
Library for polyhedron manipulation.
Contributor: Vincent Loechner.
Link to project site: https://github.com/vincentloechner/polylib
PolyhedralCompilers
Docker for polyhedral compilers.
Contributors: Vincent Loechner, Stéphane Genaud.
Link to project site: https://github.com/vincentloechner/PolyhedralCompilers
openCARP
Cardiac electrophysiology simulator.
Contributors: Vincent Loechner, Stéphane Genaud, Antoine Pierquin, Adilla Susungi.
Link to project site: https://git.opencarp.org/openCARP/openCARP
slotted-egraphs
Implementation of the slotted e-graph data structure.
Contributors: Thomas Koehler, Rudi Schneider.
Artifact: https://github.com/memoryleak47/slotted-egraphs-artifact
Comments: Initiation and supervision by Thomas Koehler. Development by Rudi Schneider (TU Berlin), supervised by Michel Steuwer.
Link to project site: https://github.com/memoryleak47/slotted-egraphs
egg-sketches
Library adding support for program sketches on top of the egg library.
Contributor: Thomas Koehler.
Link to project site: https://github.com/Bastacyclop/egg-sketches
lean-egg
Equality saturation tactic for Lean based on egg.
Contributors: Thomas Koehler, Marcus Rossel.
Comments: Collaboration. Work of Marcus Rossel supervised by Andrés Goens (University of Amsterdam).
Link to project site: https://github.com/marcusrossel/lean-egg
egg
E-graph library optimized for equality saturation.
Contributor: Thomas Koehler.
Extraction Gym: https://github.com/egraphs-good/extraction-gym
Comments: Several pull requests and implementation of extensions and variants.
Link to project site: https://github.com/egraphs-good/egg
Rise & Shine
Programming language and compiler for array computing.
Contributors: Thomas Koehler, Michel Steuwer.
Comments: Project initiated by Michel Steuwer (TU Berlin).
Link to project site: https://github.com/rise-lang/
Daisy
Framework for verifying and optimizing numerical programs.
Contributors: Thomas Koehler, Eva Darulova.
Comments: Project led by Eva Darulova (Uppsala University).
Link to project site: https://github.com/malyzajko/daisy
APAC
Source-to-source compiler for automatic parallelization.
Contributors: Bérenger Bramas, Stéphane Genaud, Julien Gaupp.
Comments: Private repository.
Link to project site: https://gitlab.inria.fr/jgaupp/constify
Trahrhe-blitzcrank
Lightning Fast Inverted Ehrhart polynomial calculator written in C.
Contributors: Philippe Clauss, Marceau Noury, Clément Rossetti.
Link to project site: https://gitlab.inria.fr/crossett/trahrhe-blitzcrank
Pesto
Polyhedral flexible loop-nest optimizer.
Contributor: Clément Rossetti.
Link to project site: https://gitlab.inria.fr/crossett/pesto
APOLLO
Automatic speculative polyhedral loop optimizer.
Contributors: Philippe Clauss, Erwan Auer, Raphael Colin.
Link to project site: https://gitlab.inria.fr/pclauss/apollo/
Pluto-openscop
PLUTO - An automatic parallelizer and locality optimizer for affine loop nests.
Contributors: Erwan Auer, Clément Rossetti.
Comments: Fork of Pluto used by Pesto and APOLLO. Close to the original branch.
Link to project site: https://gitlab.inria.fr/crossett/pluto-openscop