Programming languages

Operating systems

Developers and organizations

Typing disciplines

Home Programming languages Operating systems Developers and organizations Paradigms Typing disciplines Licenses Licenses Platforms System types Countries Industries Languages by year Rankings

ExpertClub

Stories Advertise About Contact

Home
Programming languages
SMT-LIB

Language

SMT-LIB

Paradigms	declarative programming
Type	programming language specification, declarative programming language

Sources: Wikidata (CC0) · Wikidata Q86358823

Paradigmsdeclarative programming

Paradigm: declarative programming

Mapbox Style Specification
MapLibre Style Specification
Max (programming language)
Metafont
MetaPost
Microsoft C
Miranda
Mizar

ExpertClubLanguages and operating systems

ExpertClub is a technical catalogue of programming languages and operating systems.

[email protected]

Catalogue

Programming languages
Operating systems
Developers and organizations
Paradigms
Typing disciplines
Licenses

Paradigms

object-oriented programming
imperative programming
procedural programming
functional programming
structured programming
multi-paradigm programming

Rankings

The oldest programming languages
The largest developers
The oldest developers

ExpertClub

Stories
Advertise
About
Contact

© 2026 ExpertClub

Privacy Terms of use Image credits

ExpertClub