# 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.
HTML The Coq Proof Assistant
LSE is a French dialect of Basic where all the keywords are, well, French.
HTML Clean is strictly speaking from the Netherlands, but it was all just Gaul to the Romans
HTML Clight is the subset of C accepted by CompCert
HTML 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.