Plankalkul twórca komputera Z3 i pierwszy język algorytmicznego umożliwiającego m.in. operowanie zmiennymi, które mogą reprezentować bardzo duże i bardzo małe liczby.
Fortran produkcja komputera Odra 1960/1961
LISP - językiem do badania i rozwoju sztucznej inteligencji
Algol - standardem opisu algorytmów w publikacjach naukowych i podręcznikach.
COBOL- język programowania stworzony z głównym przeznaczeniem do prac programistycznych w dziedzinach ekonomii i biznesu.
APL- popularny szczególnie w Europie matematyczny język programowania wysokiego poziomu, znany ze swojej zwięzłości i możliwości generowania macierzy
SIMULA - język programowania opracowany w 1967 w Norweskim Ośrodku Obliczeniowym w Oslo przez O-J. Dahla, B. Myhrhauga i K. Nygaarda, rozszerzający Algol 60, pomyślany jako uniwersalny język symulacji.
Basic zastosowanie 1974 r. mikrokomputer Altair 8800
PL/I - to iezyk programowania komputerowego stworzony w początku lat 60. XX wieku dla celów naukowych, inżynieryjnych i biznesowych przez konsorcjum skupione wokół firmy IBM.
Prolog- Prolog (od francuskiego Proęrammation en Lo$ique) jest to jeden z najpopularniejszych języków programowania logicznego.
C/C++ - Język C++ został stworzony jako obiektowe rozszerzenie języka C. Projekt języka C++ usiłował zachować możliwie jak największą zgodność (na poziomie kodu źródłowego) z językiem C.
Pascal dawniej jeden z najpopularniejszych języków programowania, uniwersalny, wysokiego poziomu, ogólnego zastosowania
Modula ulepszoną wersją języka Pascal. Język nadający się do budowy dużych programów, kompilatorów czy systemów operacyjnych.
DBase pierwszy powszechnie stosowany system baz danych dla mikrokomputerów, opracowany przez firmę Ashton-Tate dla systemu operacyjnego CP/M. a później dla maszyn Apple II. Apple Macintosh i IBM PC z DOS, gdzie stał się jednym z najlepiej sprzedających się przez lata narzędzi.
Smalltalk - Smalltalk był źródłem koncepcji dla tak dzisiaj oczywistych rozwiązań jak obsługa myszki, systemy okien, interaktywne środowisko programistyczne i technik takich jak np. maszyna wirtualna, które znalazły zastosowanie również w językach Java i C#.
Ada to strukturalny, kompilowany, imperatywny, statycznie typowany i obiektowy język programowania. Dzięki swoim właściwościom język Ada jest wykorzystywany w dziedzinach, w których krytyczna jest stabilność kodu oraz brak błędów logicznych i programistycznych - w wojsku, medycynie, energetyce itd.
Mathematica - komercyjny system obliczeń symbolicznych i numerycznych. Mathematicę charakteryzują wysoka wydajność, szerokie możliwości wizualizacji i prezentacji danych oraz przenośność.
Java- Java jest językiem tworzenia programów źródłowych kompilowanych do kodu bajtowego, czyli postaci wykonywanej przez maszynę wirtualna. Jego podstawowe koncepcje zostały przejęte z języka Smalltalk (maszyna wirtualna, zarządzanie pamięcią) oraz z języka C++ (duża część składni i słów kluczowych).