Explore projects
-
ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.
Updated -
Gazelle / Public / Simulation / Patient Manager
Apache License 2.0Simulation of Patient related actors (PIX, PDQ, PAM... and in various HL7 versions)
Updated -
Gazelle / Public / Simulation / XDStar Client
Apache License 2.0Simulator of XD* client-actors, Validation service of XD* messages.
Updated -
-
MONTAGU Benoit / coral
CeCILL-C Free Software License AgreementStatic analyzers for higher-order languages
Updated -
The project aims to develop a reasoner which is based on a new optimization technique, called compressed-tableau. This reasoner allows to reason on ontologies expressed in Description Logics (e.g. OWL ontologies).
Updated -
ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.
Updated -
-
These talks explains briefly how to use the library.
They were beforehand in the main project but were moved here in July 2019.
Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
-
Original implementation of Ghost, as described by the paper from Peck et al. "Efficient Proxies in Smalltalk, Proceedings of ESUG International Workshop on Smalltalk Technologies (IWST'11)"
Updated -
Updated
-
faust group / faust
BSD 2-Clause "Simplified" LicenseThe FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr
Updated -
HERBELIN Hugo / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
learninglab / epoc / epoc-mobile
CeCILL-B Free Software License AgreementUpdated -
-
dsi_public / osc
GNU Affero General Public License v3.0Outil de suivi des Contrats / Outil de suivi des Budgets : Application Ruby On Rails permettant le Suivi des Contrats et des budgets correspondant dans le contexte d'une entité de recherche (EPST, Laboratoire, Université, etc.).
Updated -
Gazelle / Public / Core / Proxy V7
Apache License 2.0Record messages and transactions exchanged.
Updated