- HELP: a lazy (but efficient) interpretor for Lisp on the MacIntosh, written during my PhD.
- Con'FLEX: a C++ library dedicated to the expression and the resolution of (fuzzy) CSP.
- LVCSP: a CommonLisp library of algorithms to solve general valued CSP.
- Choco: a previously Claire library, now ported to Java, aimed at solving finite domain CSP, with an emphasis towards teaching and research.
- ToolBar: an efficient research oriented C library that handles non idempotent valued CSP with finite domains (and Bayesian networks) and solves optimization queries on it using recently developed local consistency techniques (see for example this paper). This library is developed in tight collaboration with S. de Givry (INRA), J. Larrosa (UPC, Barcelona), F. Heras (UPC, Barcelona) and Emma Rollon (UPC, Barcelona).
- MendelSoft: is an an open source software which detects marker genotyping incompatibilities (Mendelian errors only) in complex pedigrees using weighted constraint satisfaction techniques. This software is directly derived from the weighted CSP solver toulbar2.
- CARThAGENE: solves marker ordering problems and can also join maps (genetic or radiated hybrid) on various pedigrees: backcross, RI (ri self, ri sib), F2 intercross, phase known outbreds, haploid and diploid radiation hybrids up to now. CarthaGene an Open Source software, with efficient algorithms inside and a nice graphical interface. It runs under Unix, Linux and Windows.
- MilPat: a constraint based efficient and powerful structured motif search engine for genomic DNA. It allows to look for new members of known RNA gene families, taking into account possible interactions with other nucleotidic sequences. Developped by P. Thébault during her PhD-thesis.
- DARN!: a weighted constraint based efficient and powerful structured motif search engine for genomic DNA which supersedes MilPat. It allows to look for new members of known RNA gene families, taking into account possible interactions with other nucleotidic sequences. Developped byMatthias Zytnicki during his PhD-thesis. DARN! can also find RNA genes from an alignment.
- FrameD: predicts genes and sequencing errors in procaryotic organisms. This software has been used, among other things, to predict genes in two GC-rich organisms: Sinorhizobium meliloti and Ralstonia solanacearum. You can use FrameD web site or get binaries from the same site.
- EuGene: tries to locate genes (introns/exons) in eucaryotic sequences. Simultaneously exploits Markov models, existing signal evaluation/detection pieces of software (splice sites, ATG), EST and EST/proteins similarities. EuGène has been used for the annotation of several complete eukaryotic (plant) genomes. Open sources and binaries for different architectures are available on EuGene home page if you are interested.
- EuGene'Hom: tries to locate genes (introns/exons) in eucaryotic sequences. Simultaneously exploits proteic Markov models, signal evaluation/detection by probabilistic models (splice sites, ATG) and sequence conservation with homologuous sequences from several organisms. Still limited to plants.
