| K | 1993 | functional programming, array programming | dynamic typing, strong typing | 1 |
| Kaitai Struct | — | — | — | — |
| Kalaam | 2020 | — | — | — |
| Kaleidoscope | 1994 | procedural programming, imperative programming, constraint programming, object-oriented programming | — | — |
| Kalimat | — | — | — | — |
| Karel | 1981 | procedural programming | — | 1 |
| Kawa | 1998 | scripting language | — | — |
| Kent Recursive Calculator | 1981 | functional programming | — | 1 |
| Keykit | — | object-oriented programming | — | — |
| Kinetic Rule Language | 2007 | event-driven programming, rule-based programming | dynamic typing, weak typing | — |
| Kiste | 2026 | — | — | — |
| KiXtart | 1991 | — | — | — |
| KL0 | — | — | — | — |
| KM | — | knowledge representation and reasoning, declarative programming | — | 1 |
| Kodu Game Lab | 2009 | visual programming language | — | — |
| Kojo | 2010 | functional programming, object-oriented programming | strong typing | — |
| KornShell | 1983 | — | — | 1 |
| Kotlin | 2011 | generic programming, reflective programming, concurrent computing, functional programming, structured programming, imperative programming, declarative programming, object-oriented programming | static typing, inference typing, strong typing | 2 |
| KRL | 1971 | logic programming, declarative programming | — | — |
| KTurtle | — | — | — | — |
| KUKA Robot Language | — | — | — | — |
| KuMir | — | — | — | — |
| Kyma | 1986 | — | — | — |