76.

07 janv. 2008

Logiciel

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

77.

12 avril 2012

Logiciel

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

78.

15 sept. 2017

Logiciel

Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles

MELQUIOND, Guillaume

79.

20 janv. 2014

Logiciel

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

80.

03 mai 2018

Logiciel

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

81.

01 janv. 2010

Logiciel

Unisim
UNISIM: UNIted SIMulation environment

TEMAM, Olivier

82.

16 févr. 2008

Logiciel

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

83.

30 oct. 2008

Logiciel

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

84.

11 mars 2009

Logiciel

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori

85.

02 août 2009

Logiciel

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

86.

01 janv. 2013

Logiciel

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

87.

03 déc. 2012

Logiciel

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

88.

03 oct. 2012

Logiciel

Coq.FP2
Coq.FP2

BOLDO, Sylvie

89.

01 janv. 2014

Logiciel

ALEA
ALEA : A library for reasoning on random algorithms in Coq

PAULIN-MOHRING, Christine

90.

01 janv. 2014

Logiciel

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

91.

10 févr. 2014

Logiciel

OpenScop
OpenScop

BASTOUL, Cédric

92.

01 janv. 2013

Logiciel

Touchstone
Plateforme de conception et d\'exécution d\'expérimentations contrôlées

APPERT, Caroline

93.

01 janv. 2013

Logiciel

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

94.

01 janv. 2013

Logiciel

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

95.

01 janv. 2012

Logiciel

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura

96.

01 janv. 2012

Logiciel

CALU
for multicore architectures

GRIGORI, Laura

97.

01 janv. 2013

Logiciel

FlowStates Toolkit
Programmer des applications interactives avec des flots de données et des machines à états

APPERT, Caroline

98.

01 janv. 2013

Logiciel

OpenWP
OpenWP

CAPPELLO, Franck

99.

01 janv. 2012

Logiciel

XPIOT
XPIOT

COLAZZO, Dario

100.

01 janv. 2013

Logiciel

XupOp
XupOp

COLAZZO, Dario