| F | — | procedural programming, array programming, modular programming | manifest typing, static typing | — |
| F# | 2005 | reflective programming, concurrent computing, functional programming, imperative programming, metaprogramming, object-oriented programming | static typing, inference typing, strong typing | 4 |
| F* | — | functional programming, imperative programming | static typing, dependent typing, refinement typing, inference typing, strong typing | — |
| F-Script | 2009 | array programming, object-oriented programming | dynamic typing | — |
| FACT | 1959 | procedural programming | — | 1 |
| Factor | 2003 | functional programming, concatenative programming, multi-paradigm programming, stack-oriented programming | dynamic typing, strong typing | — |
| Falcon | 2003 | procedural programming, object-oriented programming | dynamic typing | — |
| FALSE | 1993 | — | — | 2 |
| Fantom | 2005 | multi-paradigm programming, object-oriented programming | dynamic typing, static typing | — |
| Fasm | 1999 | — | — | — |
| FAUST | 2002 | purely functional programming | — | — |
| Ferite | 2000 | — | — | — |
| Fjölnir | 1980 | procedural programming, object-oriented programming | dynamic typing, strong typing | — |
| FL | 1989 | functional programming, function-level programming | dynamic typing | 1 |
| Flapjax | — | functional reactive programming | dynamic typing, duck typing | — |
| Flix | 2016 | functional programming, imperative programming, logic programming | static typing, inference typing, structural typing, strong typing | — |
| Flow chart language | 1989 | imperative programming | — | — |
| FLOW-MATIC | 1955 | procedural programming, imperative programming | — | 3 |
| Flowgorithm | 2014 | structured programming | — | — |
| FORMAC | 1964 | — | — | — |
| Forsythe | — | procedural programming | — | — |
| Forth | 1970 | reflective programming, procedural programming, concatenative programming, stack-oriented programming | typeless | 10 |
| Fortran | 1957 | generic programming, procedural programming, structured programming, imperative programming, array programming, object-oriented programming | manifest typing, static typing, strong typing | 13 |
| Fortress | 2006 | — | static typing | — |
| FoxPro | 1991 | procedural programming, object-oriented programming | — | — |
| FP | 1977 | function-level programming | — | 2 |
| FpgaC | 2005 | — | — | — |
| Franz Lisp | 1980 | reflective programming, procedural programming, functional programming, metaprogramming | dynamic typing, strong typing | — |
| FreeBASIC | 2004 | procedural programming, object-oriented programming | static typing, strong typing | — |
| FreeFem++ | 1987 | — | — | — |
| Frege | 2011 | functional programming, purely functional programming | — | — |
| Frenetic | — | domain-specific language | dynamic typing | — |
| FriCAS | — | — | — | — |
| Fril | — | logic programming | — | — |
| Full BASIC | — | — | — | — |
| Futhark | 2014 | purely functional programming, array programming | static typing, strong typing | — |
| FXML | 2011 | declarative programming | — | — |