Major software

Other software

  • 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