| Stackless Python | — | — | — | — |
| Stan | — | — | — | — |
| Standard ML | 1983 | procedural programming, functional programming, imperative programming, modular programming | static typing, inference typing, strong typing | 7 |
| Standard ML of New Jersey | 2002 | procedural programming | inference typing, strong typing | — |
| Stanford Artificial Intelligence Language | 1970 | — | — | — |
| Starlark | — | procedural programming | dynamic typing | — |
| StarLogo | 2001 | agent-oriented programming, procedural programming, multi-paradigm programming | dynamic typing, duck typing, strong typing | 1 |
| Stata | 1985 | — | — | — |
| Stateflow | — | — | — | — |
| STELLA | 1985 | visual programming language | — | — |
| Stencyl | 2011 | — | — | — |
| STOS BASIC | 1988 | — | — | 1 |
| Strand | 1989 | parallel computing | — | — |
| Strongtalk | 2002 | object-oriented programming | dynamic typing, static typing | 1 |
| Stylus | 2011 | — | dynamic typing | — |
| Subtext | 2004 | visual programming language | — | — |
| Sue | 1971 | — | — | — |
| Suneido | 2000 | — | — | — |
| Superbase database | 1983 | — | — | — |
| SuperCollider | 1996 | functional programming, object-oriented programming | dynamic typing | — |
| SuperNova | 2010 | — | — | 1 |
| SuperPascal | 1993 | concurrent computing, procedural programming | — | — |
| SurgeScript | 2018 | — | — | — |
| Sutra | — | — | — | — |
| Svelte | 2016 | — | — | — |
| SWI-Prolog | 1987 | — | — | — |
| Swift | 2014 | functional programming, imperative programming, block-structured programming, multi-paradigm programming, declarative programming, object-oriented programming | static typing, inference typing, strong typing | 5 |
| Swift | 2007 | dataflow programming, concurrent computing | — | 1 |
| Swift LispKit | — | — | dynamic typing, latent typing, strong typing | — |
| SYCL | — | — | — | — |
| Synchronized Multimedia Integration Language | 1998 | — | — | — |
| SystemVerilog | 2002 | structured programming, object-oriented programming | static typing, weak typing | — |
| T | 1982 | functional programming, imperative programming, multi-paradigm programming, metaprogramming, object-oriented programming | dynamic typing, strong typing | 1 |
| TACL | — | — | — | — |
| TADS | 1988 | prototype-based programming | inference typing, strong typing | — |
| Tcl | 1988 | event-driven programming, procedural programming, functional programming, imperative programming, multi-paradigm programming, object-oriented programming | dynamic typing | 6 |
| TclX | — | — | — | — |
| Tea | 1997 | functional programming, multi-paradigm programming, object-oriented programming | — | — |
| TECO | 1962 | — | — | — |
| TELCOMP | 1965 | — | — | 1 |
| Teml | — | — | — | — |
| TeX | 1978 | — | — | 1 |
| THINK C | — | — | — | — |
| Thue | 2000 | — | — | — |
| TI BASIC | 1979 | — | — | — |
| TI-BASIC | — | — | — | — |
| Tink | 2008 | esoteric programming | — | — |
| Tiny BASIC | 1975 | — | — | — |
| TinyScheme | 1998 | — | — | — |
| TLA+ | 1999 | action language | — | — |
| Toit | — | — | — | — |
| TOM | 1999 | object-oriented programming | — | — |
| ToonTalk | 1995 | concurrent constraint logic programming | — | — |
| Topology and Orchestration Specification for Cloud Applications | — | — | — | — |
| TRAC | 1964 | — | — | 1 |
| Treetop | 2006 | — | — | — |
| Triton | 2021 | — | — | — |
| True BASIC | 1983 | — | — | — |
| TTCN | 1992 | — | — | — |
| TTM | 1968 | — | — | — |
| Turbo Basic | 1987 | — | — | 1 |
| Turbo C++ | 1990 | — | — | — |
| Turbo Pascal | 1983 | object-oriented programming | — | 1 |
| Turbo Pascal OOP | 1989 | — | — | — |
| Turbo51 | — | object-oriented programming | — | — |
| TurboWarp | — | — | — | — |
| Turing | 1982 | procedural programming, object-oriented programming | manifest typing, static typing | — |
| TUTOR | 1969 | procedural programming, imperative programming | — | — |
| TXL | — | functional programming | — | — |
| TypeScript | 2012 | generic programming, event-driven programming, functional programming, imperative programming, object-oriented programming | gradual typing, duck typing, structural typing | 2 |
| UCBLogo | — | — | dynamic typing | — |
| UCSD Pascal | 1978 | — | — | 1 |
| Uiua | — | tacit programming, array programming, stack-oriented programming | — | — |
| Umple | 2008 | object-oriented programming | static typing | — |
| UNCOL | 1958 | — | — | — |
| UNICODE | 1957 | — | — | — |
| Unicon | — | procedural programming, object-oriented programming | — | — |
| Uniface | 1984 | three schema approach | — | — |
| Unified Parallel C | 1999 | parallel computing | manifest typing, weak typing | — |
| Unlambda | 1999 | functional programming, esoteric programming | — | — |