51.

16 Aug 2014

Software

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

52.

20 Jul 2014

Software

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

53.

17 Jul 2014

Software

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

54.

12 Apr 2014

Software

Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification

CONTEJEAN, Evelyne

55.

05 Mar 2014

Software

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

56.

18 Feb 2014

Software

SwingStates
An extension to the Java Swing toolkit based on state machines

APPERT, Caroline

57.

10 Feb 2014

Software

OpenScop
OpenScop

BASTOUL, Cédric

58.

04 Feb 2014

Software

ocamlgraph
Ocaml graph library

FILLIÂTRE, Jean-Christophe

59.

20 Jan 2014

Software

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

60.

10 Jan 2014

Software

Flocq Library
Flocq Library

BOLDO, Sylvie

61.

08 Jan 2014

Software

ReactiveML
The ReactiveML language

MANDEL, Louis

62.

01 Jan 2014

Software

Nautilus Analyzer
Nautilus

HERSCHEL, Mélanie

63.

01 Jan 2014

Software

bibtex2html
Bibtex to HTML

FILLIÂTRE, Jean-Christophe

64.

01 Jan 2014

Software

Alt-Ergo
The Alt-Ergo theorem prover

CONCHON, Sylvain

65.

01 Jan 2014

Software

MoGo
Computer-Go program

TEYTAUD, Olivier

66.

01 Jan 2014

Software

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

67.

01 Jan 2014

Software

VARNA
Visualisation Applet for RNA

DENISE, Alain

68.

01 Jan 2014

Software

HSIM
Hyperstructure Simulator

AMAR, Patrick

69.

01 Jan 2014

Software

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

70.

01 Jan 2014

Software

Mlpost
Mlpost: an Objective Caml interface to Metapost

FILLIÂTRE, Jean-Christophe

71.

01 Jan 2014

Software

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

PAULIN-MOHRING, Christine

72.

01 Jan 2014

Software

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

73.

01 Jan 2014

Software

GridObservatory
Grid Observatory

GERMAIN, Cécile

74.

01 Jan 2014

Software

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus

75.

01 Jan 2014

Software

Cartaj
Classification Of RNA threeway Junctions

DENISE, Alain