Logiciels Logiciels majeurs Babel CDuce Coq C-SHORe CUDF Kappa Ocsigen Stamina Awali · A generic C++-platform for computing with automata and transducers Autres logiciels CELIA · Plugin for static analysis and verification of C programs with dynamic lists Equations · Function definition by dependent pattern-matching and (well-founded) recursion in Coq Js_of_ocaml · Compiler of OCaml bytecode in Javascript Knowledge · LaTeX package for the easy management of internal and external hyperlinks in a document Lwt · OCaml library for cooperative threads Menhir · Generator of OCaml parsers Morbig · Parser for POSIX shell Rewr · Library for algebraic rewriting Semigroupe · Computation of finite semigroups Shncpd · Implementation of a large subset of the Homenet protocol stack with minimal dependencies SPEN · Solver for separation logic entailments Vaucanson-g · LaTeX macro package for drawing automata