76.

01 Mar 2016

Software

SMTCoq
Coq plugin that checks proof witnesses coming from external SAT and SMT solvers

KELLER, Chantal

77.

01 Jan 2014

Software

MultiBoost
MultiBoost

KÉGL, Balázs

78.

18 Dec 2017

Software

Iris
A Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.

JOURDAN, Jacques-Henri

79.

20 Jun 2020

Software

DNADNA
Deep Neural Architectures for DNA

JAY, Flora

80.

06 Sep 2013

Software

WILD Input Server
Multi-device input configuration

HUOT, Stéphane

81.

01 Jan 2013

Software

jBricks
Java toolkit for interactive visualization platforms

HUOT, Stéphane

82.

11 Jan 2018

Software

HP-Combi
High Performance Combinatorics

HIVERT, Florent

83.

26 Oct 2015

Software

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

84.

01 Jan 2014

Software

Nautilus Analyzer
Nautilus

HERSCHEL, Mélanie

85.

01 May 2007

Software

MPICH-V
Message Passing Interface For Volatile Resources

HERAULT, Thomas

86.

01 Jan 2014

Software

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

87.

01 Jan 2014

Software

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus

88.

01 Jan 2021

Software

Codalab
Codalab

GUYON, Isabelle

89.

01 Jan 2012

Software

CALU
for multicore architectures

GRIGORI, Laura

90.

01 Jan 2012

Software

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura

91.

26 Jul 2013

Software

XRP
The XR platform

GOASDOUE, François

92.

01 Jun 2000

Software

OntoClass & OntoQuery
Query engine for mediators based on query rewriting using views

GOASDOUE, François

93.

01 Jan 2014

Software

FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists

GOASDOUE, François

94.

01 Jan 2010

Software

SomeWhere
Peer-to-Peer Consequence Finding

GOASDOUE, François

95.

30 Jun 2017

Software

DIGISCAPE
Telepresence middleware

GLADIN, Olivier

96.

01 Jan 2014

Software

GridObservatory
Grid Observatory

GERMAIN, Cécile

97.

01 Jan 2018

Software

io.datascience
io.datascience

GERMAIN, Cécile

98.

01 Jan 2007

Software

sALLUSTe
Statistical Testing based on Lustre Descriptions

GAUDEL, Marie-Claude

99.

01 Jan 2011

Software

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

100.

01 Jan 2014

Software

cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization

FURSIN, Grigori