|
|
# 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 (https://coq.inria.fr) |
|
|
|
|
|
|
|
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 (https://wiki.clean.cs.ru.nl) |
|
|
|
|
|
|
|
Clight is the subset of C accepted by CompCert (https://compcert.org) |
|
|
|
|
|
|
|
Eiffel is an object-oriented language by Bertrand Meyer (https://eiffel.org) |
|
|
|
|
|
|
|
Prolog was developed by Alain Colmerauer at the University of |
|
|
|
Aix-Marseille, although it has since grown non-French influences. |
|