# Catalogue of French programming languages

Did OCaml whet your appetite for other software from the land of
Asterix?  Browse the catalogue below for what other exciting tools you
might want to integrate into your portfolio management software.

The Coq Proof Assistant

LSE is a French dialect of Basic where all the keywords are, well, French.

Clean is strictly speaking from the Netherlands, but it was all just Gaul to the Romans

Clight is the subset of C accepted by CompCert

Eiffel is an object-oriented language by Bertrand Meyer

Prolog was developed by Alain Colmerauer at the University of
Aix-Marseille, although it has since grown non-French influences.