| K | — | — | — |
| K | array programming, functional programming | 1993 | — |
| Kaitai Struct | — | — | — |
| Kalaam | — | — | — |
| Kaleidoscope | imperative programming, procedural programming, object-oriented programming, constraint programming | 1994 | — |
| Kalimat | — | — | — |
| KamilaLisp | — | 2021 | — |
| Kara | — | — | — |
| Karel | procedural programming | 1981 | — |
| Karel++ | — | — | — |
| Katahdin | — | 2007 | — |
| Kawa | scripting language | 1998 | — |
| Kaya | — | — | — |
| Kent Recursive Calculator | functional programming | 1981 | — |
| Keykit | object-oriented programming | — | — |
| Keysight VEE | — | — | — |
| Kid’s Programming Language | — | — | — |
| Kinetic Rule Language | rule-based programming, event-driven programming | 2007 | Kynetx |
| KiriKiri Z | — | — | — |
| Kiste | — | 2026 | — |
| KiXtart | — | 1991 | — |
| Klammerausdrücke | — | 1951 | — |
| Klerer-May System | procedural programming | — | — |
| KM | declarative programming, knowledge representation and reasoning | — | — |
| KNITRO | — | — | — |
| Kobo programming language | object-based language | — | Thinkmine LLC |
| Kodu Game Lab | visual programming language | 2009 | Microsoft Research |
| Kogut Programming Language | — | — | — |
| Kojo | object-oriented programming, functional programming | 2010 | — |
| KornShell | — | 1983 | David Korn |
| Kotlin | concurrent computing, functional programming, structured programming, imperative programming, declarative programming, object-oriented programming, generic programming, reflective programming | 2011 | JetBrains |
| KRL | logic programming, declarative programming | 1971 | — |
| KTurtle | — | — | — |
| KUKA Robot Language | — | — | KUKA |
| KuMir | — | — | Scientific Research Institute of System Development |
| Kyma | — | 1986 | — |