Programming Languages DB

[{"id":626,"name":".QL","slug":"dotql","description":"QL is a declarative query language designed for retrieving data from databases. It is commonly used for data analytics and reporting purposes.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/.QL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:03","github_repo_count":null,"paradigms":"3,6,11","typings":"8,9","oses":null},{"id":11,"name":"ActionScript","slug":"actionscript","description":"ActionScript is an object-oriented programming language that is primarily used for creating software and applications within the Adobe Flash platform. It is commonly used for creating interactive multimedia and web content.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.adobe.com\/devnet\/actionscript.html","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ActionScript","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:35","github_repo_count":24826,"paradigms":"3,8,10,17","typings":"8,9","oses":null},{"id":14,"name":"Ada","slug":"ada","description":"Ada is a high-level, statically typed programming language designed for safety and reliability in software development. It is commonly used in mission-critical systems such as aerospace, defense, transportation, and healthcare.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.adaic.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Ada_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:35","github_repo_count":5616,"paradigms":"3,8,9,25","typings":"8,9,56,57","oses":null},{"id":16,"name":"Agda","slug":"agda","description":"Agda is a dependently typed programming language that supports formal verification. It is primarily used for writing correct and trustworthy software, as well as for mathematical proofs and research in type theory.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/wiki.portal.chalmers.se\/agda\/pmwiki.php","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Agda_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:36","github_repo_count":2472,"paradigms":"28","typings":"7,8,9,57,61,62","oses":"2,3"},{"id":20,"name":"Aldor","slug":"aldor","description":"Aldor is a programming language that combines functional and imperative programming paradigms, with strong support for generic programming and abstraction. It is commonly used for developing high-performance mathematical software and computer algebra systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.aldor.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Aldor","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:36","github_repo_count":null,"paradigms":"3,8,10,11","typings":"8,67","oses":"4"},{"id":21,"name":"Alef","slug":"alef","description":"Alef is a programming language designed for systems programming, emphasizing concurrency and modular programming. It is commonly used to develop operating systems and low-level software applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Alef_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:36","github_repo_count":null,"paradigms":"9,36","typings":"8,9","oses":"5"},{"id":24,"name":"ALGOL 58","slug":"algol_58","description":"ALGOL 58 was a high-level programming language designed for scientific and mathematical computing. Its main uses included algorithm development, numerical analysis, and scientific research.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ALGOL_58","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:37","github_repo_count":61545,"paradigms":"7,8,9","typings":"8,9","oses":null},{"id":25,"name":"ALGOL 60","slug":"algol_60","description":"ALGOL 60 is a high-level programming language known for its concise syntax and structured approach, used primarily for scientific and algorithmic computing.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ALGOL_60","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:37","github_repo_count":98033,"paradigms":"7,8,9","typings":"8,9","oses":null},{"id":26,"name":"ALGOL 68","slug":"algol_68","description":"ALGOL 68 is a programming language known for its strong typing and flexible syntax. It is primarily used for scientific and numerical computing.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ALGOL_68","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:37","github_repo_count":59333,"paradigms":"8,36","typings":"8,9,18,56","oses":null},{"id":27,"name":"ALGOL W","slug":"algol_w","description":"ALGOL W is a general-purpose programming language that was designed for scientific and system programming. It was primarily used for numerical computations and algorithm development.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ALGOL_W","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:37","github_repo_count":8670830,"paradigms":"7,8,9","typings":"8,9","oses":null},{"id":28,"name":"Alice","slug":"alice","description":"Alice is an educational programming language that emphasizes visual storytelling and interactive 3D animations. It is primarily used to teach the fundamentals of programming and computational thinking to beginners.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.ps.uni-saarland.de\/alice\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Alice_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:38","github_repo_count":null,"paradigms":"8,10,36,54","typings":"7,8,9","oses":null},{"id":30,"name":"Alma-0","slug":"alma-0","description":"Alma-0 is a programming language designed for the specification and implementation of concurrent systems. It is mainly used for modeling and verification of concurrent algorithms and protocols.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.cwi.nl\/en\/alma\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Alma-0","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:38","github_repo_count":null,"paradigms":"7,8,11,54","typings":"8,9","oses":null},{"id":33,"name":"AMOS","slug":"amos","description":"AMOS is a high-level interpreted programming language designed for creating software and games on the Amiga platform. Its main uses include game development, multimedia applications, and educational software.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.clickteam.com\/eng\/downloadcenter.php?i=58","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/AMOS_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:39","github_repo_count":null,"paradigms":"7,8","typings":"8","oses":null},{"id":45,"name":"ATS","slug":"ats","description":"ATS is a statically-typed programming language that supports both functional and imperative programming paradigms. It is primarily used for systems-level programming, concurrent and parallel programming, and formal verification of software systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.ats-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ATS_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:40","github_repo_count":223,"paradigms":"6,10","typings":"8,62,95","oses":null},{"id":52,"name":"Ballerina","slug":"ballerina","description":"Ballerina is a cloud-native programming language designed for building microservices and distributed systems. It focuses on ease of use, scalability, and resilience, allowing developers to create and connect services efficiently.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/ballerinalang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Ballerina_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:41","github_repo_count":2994,"paradigms":"36","typings":"7,8,9,18","oses":"3,4,12"},{"id":61,"name":"Beef","slug":"beef","description":"Beef is a compiled programming language that combines the simplicity and readability of scripting languages with the efficiency and power of C++. It is primarily used for game development and high-performance computing applications.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.beeflang.org","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:42","github_repo_count":213,"paradigms":"3","typings":"8","oses":"3,4,12"},{"id":63,"name":"BETA","slug":"beta","description":"BETA is an object-oriented programming language that emphasizes abstraction through inheritance and encapsulation. It is mainly used for developing complex systems and software components with a focus on modularity and reusability.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/daimi.au.dk\/~beta","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/BETA_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:42","github_repo_count":null,"paradigms":"3","typings":"8","oses":null},{"id":68,"name":"Boo","slug":"boo","description":"Boo is an object-oriented, statically-typed programming language that runs on the .NET framework. It is mainly used for developing software applications and libraries targeting the Microsoft platform.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/boo-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Boo_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:43","github_repo_count":252,"paradigms":"3","typings":"7,8,9,110","oses":null},{"id":69,"name":"Bosque","slug":"bosque","description":"Bosque is a programming language developed by Microsoft Research that promotes code simplicity, understandability, and verification. It is mainly used for systems programming and the development of high-performance software applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.microsoft.com\/en-us\/research\/project\/bosque-programming-language\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Bosque_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:43","github_repo_count":null,"paradigms":"10","typings":"8,18,113","oses":null},{"id":75,"name":"C*","slug":"cstar","description":"C* is an extension of the C programming language, designed for high-performance and scalable programming on modern hardware and distributed systems. Its main uses include systems programming, database applications, and distributed computing.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/C*","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:44","github_repo_count":null,"paradigms":"3,8,25,75","typings":"1,8,61","oses":null},{"id":76,"name":"C++","slug":"cplusplus","description":"C++ is a general-purpose programming language known for its efficiency and performance. It is commonly used for developing systems software, game engines, embedded systems, and high-performance applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/isocpp.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/C%2B%2B","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:44","github_repo_count":2697923,"paradigms":"3,7,10,25,76","typings":"8,57,123","oses":null},{"id":73,"name":"C--","slug":"c--","description":"C-- is a low-level programming language designed for optimization and code generation, with a syntax similar to C. It is primarily used for compiler research and education purposes.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.cminusminus.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/C--","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:43","github_repo_count":null,"paradigms":"8","typings":"1,8","oses":null},{"id":647,"name":"Cam\u00e9l\u00e9on","slug":"cameleon","description":"The 'Cam\u00e9l\u00e9on' programming language is a dynamically-typed language that emphasizes simplicity and flexibility. It is commonly used for rapid prototyping, scripting, and web development.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.shinoe.org\/cameleon\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Cameleon_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:16","github_repo_count":null,"paradigms":"10","typings":"2,8","oses":"7"},{"id":80,"name":"Carbon","slug":"carbon","description":"Carbon is a statically-typed programming language with a focus on concurrency and scalability. It is often used for developing high-performance systems, such as web servers and networking software.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/github.com\/carbon-language\/carbon-lang\/blob\/trunk\/README.md","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Carbon_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:44","github_repo_count":null,"paradigms":null,"typings":"7,8,57","oses":null},{"id":82,"name":"Cecil","slug":"cecil","description":"Cecil is an object-oriented programming language designed for building reusable components and extensible applications. It is mainly used for developing software frameworks, libraries, and applications that require dynamic features and flexibility.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Cecil_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:45","github_repo_count":null,"paradigms":"3","typings":"2,8","oses":null},{"id":83,"name":"Ceylon","slug":"ceylon","description":"Ceylon is a statically-typed programming language that runs on the Java Virtual Machine and JavaScript engines. It is primarily used for developing large-scale enterprise applications and web-based systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/ceylon-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Ceylon_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:45","github_repo_count":339,"paradigms":"3,8,10,25","typings":"8,9,56","oses":"7"},{"id":85,"name":"Chapel","slug":"chapel","description":"Chapel is a parallel programming language designed for productivity and performance in large-scale scientific and parallel computing applications. It aims to simplify the development of parallel codes and make them portable across different hardware architectures.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/chapel-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Chapel_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:45","github_repo_count":247,"paradigms":"2,3,5","typings":"7,8","oses":"3,4,12,18"},{"id":87,"name":"Charm","slug":"charm","description":"Charm is a programming language that prioritizes code readability and simplicity. It is mainly used for developing web applications and implementing domain-specific languages.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/charm.qu-bit.co.uk","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Charm_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:46","github_repo_count":null,"paradigms":"9","typings":"8,9","oses":null},{"id":90,"name":"CHILL","slug":"chill","description":"CHILL is a high-level programming language used primarily in safety-critical systems for designing and implementing real-time software applications. It supports structured programming principles and is known for its strong typing and rigorous error checking capabilities.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/CHILL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:46","github_repo_count":null,"paradigms":"7","typings":"8,9","oses":null},{"id":92,"name":"Cilk","slug":"cilk","description":"Cilk is a general-purpose programming language that supports multithreaded parallel computing. It is commonly used for developing high-performance applications that require efficient task-level parallelism.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.cilkplus.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Cilk","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:46","github_repo_count":null,"paradigms":"2,7,8,9","typings":"1,8,61","oses":null},{"id":95,"name":"Claire","slug":"claire","description":"Claire is a general-purpose programming language that combines functional and object-oriented features, designed to provide a concise and expressive syntax. It is primarily used for building scalable and high-performance software systems.","execution_mechanism":"interpredted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.claire-language.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Claire_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:47","github_repo_count":null,"paradigms":"3,10,67,78","typings":"2,8,9","oses":null},{"id":103,"name":"COBOL","slug":"cobol","description":"COBOL is a high-level programming language designed for business applications, characterized by its English-like syntax and support for large-scale data processing. It is commonly used in financial, government, and administrative systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/COBOL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:48","github_repo_count":4369,"paradigms":"3,7,8","typings":"1,8","oses":null},{"id":104,"name":"Cobra","slug":"cobra","description":"Cobra is a statically typed programming language with a syntax similar to Python. It aims to combine the simplicity and readability of Python with the performance and robustness of statically typed languages like C# or Java. It can be used for general-purpose programming and is often employed for creating software applications and web development.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/cobra-language.com\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Cobra_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:48","github_repo_count":null,"paradigms":"3,10,25","typings":"2,7,8,9","oses":null},{"id":111,"name":"Component Pascal","slug":"component_pascal","description":"Component Pascal is an efficient and expressive programming language known for its strong static typing and modular structure. It is primarily used for developing software components, embedded systems, and applications where reliability and maintainability are important.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.oberon.ch\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Component_Pascal","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:50","github_repo_count":16883,"paradigms":"3,8,9,79","typings":"8,9","oses":null},{"id":117,"name":"Cool","slug":"cool","description":"Cool is a small, statically-typed programming language that supports object-oriented programming. It was designed for educational purposes and is often used to teach compiler construction and programming language concepts.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:50","github_repo_count":128,"paradigms":"3","typings":"8,9,61","oses":null},{"id":118,"name":"Coral 66","slug":"coral_66","description":"Coral 66 is a high-level programming language designed for real-time control systems. Its main uses include aerospace, defense, and other applications that require precision and speed.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/CORAL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:51","github_repo_count":87907,"paradigms":"7,8,9","typings":"8,9","oses":null},{"id":120,"name":"Crystal","slug":"crystal","description":"Crystal is a statically typed, compiled programming language with a syntax similar to Ruby. It is designed for high-performance, concurrency-focused applications and is often used for web development, system programming, and building command-line tools.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/crystal-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Crystal_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:51","github_repo_count":8299,"paradigms":"3,25,36","typings":"7,8,57,110","oses":"4,12,24"},{"id":122,"name":"Cuneiform","slug":"cuneiform","description":"Cuneiform is a programming language that enables the scalable and efficient execution of data-oriented workflows on distributed computing environments. It is commonly used for data analysis, scientific computing, and large-scale data processing tasks.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/cuneiform-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Cuneiform_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:51","github_repo_count":null,"paradigms":"10","typings":"8","oses":"4,12"},{"id":643,"name":"Curry","slug":"curry","description":"Curry is a functional logic programming language that combines features from functional programming and logic programming. Its main uses include declarative programming, constraint solving, and natural language processing.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.curry-language.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Curry_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:13","github_repo_count":20,"paradigms":"10,11,54","typings":"7,8,9","oses":null},{"id":125,"name":"Cyclone","slug":"cyclone","description":"Cyclone is a general-purpose programming language designed for writing reliable and efficient C programs. It is primarily used for systems programming, including operating systems, embedded systems, and low-level code.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/cyclone.thelanguage.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Cyclone_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:52","github_repo_count":null,"paradigms":null,"typings":"8,9,56","oses":null},{"id":127,"name":"D","slug":"d","description":"The 'D' programming language is a modern general-purpose programming language with a focus on simplicity, efficiency, and safety. It is used for a wide range of applications, including system programming, web development, and game development.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/dlang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/D_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:52","github_repo_count":14382,"paradigms":"3,8,10","typings":"7,8,9","oses":null},{"id":639,"name":"Dart","slug":"dart","description":"Dart is a client-optimized programming language that is used for building reliable, high-performance web and mobile applications. It is primarily used for developing Flutter applications, which are multi-platform apps built using a single codebase.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/dart.dev","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Dart_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:09","github_repo_count":1026315,"paradigms":"3,8,10,25,67","typings":"7,8,9","oses":null},{"id":137,"name":"DIBOL","slug":"dibol","description":"DIBOL is a programming language that was developed in the late 1970s and early 1980s for use in business data processing. It is primarily used for creating and managing large-scale database applications.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/DIBOL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:54","github_repo_count":null,"paradigms":"7,8,9","typings":"8","oses":null},{"id":140,"name":"Draco","slug":"draco","description":"Draco is a statically-typed programming language designed for high-performance computing, with a focus on productivity, performance, and expressiveness. It is commonly used for scientific simulations, data analysis, and numerical computations.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Draco_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:54","github_repo_count":null,"paradigms":"7,8,9","typings":"8,9,61","oses":null},{"id":148,"name":"eC","slug":"ec","description":"'eC' is a general-purpose programming language that combines the features of C and C++. It is mainly used for developing embedded systems and applications that require low-level programming and hardware control.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/ec-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/EC_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:55","github_repo_count":152,"paradigms":"3,7,8,25,76","typings":"8,57,123","oses":null},{"id":150,"name":"Edinburgh IMP","slug":"edinburgh_imp","description":"The 'Edinburgh IMP' programming language is an imperative language developed at the University of Edinburgh. It is mainly used for teaching introductory programming and for implementing simple algorithms.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Edinburgh_IMP","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:56","github_repo_count":262154,"paradigms":"7,8,9","typings":"8,9","oses":null},{"id":152,"name":"Eiffel","slug":"eiffel","description":"The 'Eiffel' programming language is an object-oriented language that emphasizes software correctness and reusability through the use of design by contract methodology. It is primarily used for developing high-quality, reliable software systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Eiffel_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:56","github_repo_count":940,"paradigms":"3,25,36,76,84","typings":"8","oses":null},{"id":156,"name":"Emerald","slug":"emerald","description":"Emerald is an object-oriented programming language designed for concurrent computing. Its main uses include developing distributed systems and applications that require high concurrency and fault-tolerance.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.emeraldprogramminglanguage.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Emerald_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:57","github_repo_count":null,"paradigms":"3","typings":"8,9","oses":null},{"id":158,"name":"Epigram","slug":"epigram","description":"Epigram is a dependently typed functional programming language with a focus on formal verification. It is primarily used for writing certified software, proving the correctness of programs, and developing formal proofs.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/e-pig.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Epigram_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:57","github_repo_count":null,"paradigms":"10","typings":"8,9,62","oses":null},{"id":160,"name":"Escher","slug":"escher","description":"Escher is a statically-typed functional programming language that enhances the development of concurrent and distributed systems by providing built-in mechanisms for message-passing concurrency and fault tolerance. Its main uses include creating scalable and reliable applications in domains such as distributed systems, cloud computing, and event-driven architectures.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Escher_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:57","github_repo_count":null,"paradigms":"6,10,11","typings":"8,61","oses":null},{"id":162,"name":"Euclid","slug":"euclid","description":"Euclid is a programming language that is designed specifically for writing mathematical algorithms. Its primary use is in the field of computational geometry and related mathematical applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Euclid_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:58","github_repo_count":null,"paradigms":"7,8,9,10","typings":"8,9","oses":null},{"id":165,"name":"Euphoria","slug":"euphoria","description":"Euphoria is a user-friendly programming language that is well-suited for rapid development of small to medium-sized software applications. It is commonly used for creating games, educational software, and scientific simulations.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/openeuphoria.org\/index.wc","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Euphoria_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:59","github_repo_count":176,"paradigms":"7,8","typings":"2,8","oses":"7"},{"id":166,"name":"Executive Systems Problem Oriented Language","slug":"executive_systems_problem_oriented_language","description":"The Executive Systems Problem Oriented Language (ESPOL) is a programming language designed for business applications, known for its easy-to-use syntax and powerful data manipulation capabilities. It is primarily used for developing software solutions for data processing and management in various industries.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Executive_Systems_Problem_Oriented_Language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:59","github_repo_count":19,"paradigms":"7,8,9","typings":"8,9","oses":null},{"id":169,"name":"F","slug":"f","description":"F is a statically-typed functional programming language designed for writing efficient and concise code. It is commonly used for scientific computing, numerical analysis, and parallel programming.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/F_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:59","github_repo_count":null,"paradigms":"5,7,79","typings":"8,61","oses":null},{"id":171,"name":"F#","slug":"fsharp","description":"F# is a functional-first programming language that supports both functional and object-oriented programming paradigms. It is mainly used for developing cross-platform and scalable applications, data processing, and machine learning.","execution_mechanism":"Compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/fsharp.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/F_Sharp_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:00","github_repo_count":null,"paradigms":"3,8,10,36,67,70","typings":"7,8,9","oses":"7"},{"id":170,"name":"F*","slug":"fstar","description":"The F* programming language is a dependently typed functional programming language that is designed to verify the correctness of programs. Its main uses include programming language research, program synthesis, and formal verification of software and security protocols.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.fstar-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/F*_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:59","github_repo_count":314,"paradigms":"8,10","typings":"7,8,9,62,113","oses":"7"},{"id":175,"name":"Fantom","slug":"fantom","description":"Fantom is a statically-typed programming language designed to be highly modular and versatile. It aims to provide strong concurrency and interoperability capabilities, making it suitable for developing web applications, services, and desktop software.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.fantom.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Fantom_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:00","github_repo_count":195,"paradigms":"3,25","typings":"2,8","oses":null},{"id":180,"name":"Flix","slug":"flix","description":"Flix is a statically-typed functional programming language that is designed for writing efficient and concise code. Its main uses include developing scalable and reliable applications, particularly in domains such as data analytics and distributed systems.","execution_mechanism":"The execution mechanism for the Flix programming language is 'interpreted'.","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Flix_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:01","github_repo_count":null,"paradigms":"8,10,11","typings":"7,8,9,18","oses":null},{"id":187,"name":"Fortran","slug":"fortran","description":"Fortran is a general-purpose, high-level programming language used for scientific and engineering computations. It is particularly popular in areas such as numerical analysis, weather forecasting, and computational physics.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/fortran-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Fortran","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:02","github_repo_count":33341,"paradigms":"3,5,7,8,9,76","typings":"8,9,61","oses":null},{"id":188,"name":"Fortress","slug":"fortress","description":"Fortress is a high-level programming language designed for scientific and technical computing, offering both performance and productivity for parallel processing. It is primarily used in areas such as computational physics, engineering simulations, and numerical analysis.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/projectfortress.java.net\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Fortress_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:02","github_repo_count":null,"paradigms":null,"typings":"8","oses":null},{"id":192,"name":"FreeBASIC","slug":"freebasic","description":"FreeBASIC is a high-level programming language that is similar to the BASIC language. It is primarily used for developing computer applications and games.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.freebasic.net\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/FreeBASIC","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:03","github_repo_count":918,"paradigms":"3,7","typings":"8,9","oses":"1,3,4,24"},{"id":198,"name":"Futhark","slug":"futhark","description":"Futhark is a purely functional, statically-typed, and purely functional programming language designed for high-performance computing on GPUs. It is primarily used for implementing parallel algorithms and performing computationally intensive tasks such as numerical simulations and machine learning.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/futhark-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Futhark_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:04","github_repo_count":118,"paradigms":"5,28","typings":"8,9","oses":null},{"id":207,"name":"Genie","slug":"genie","description":"Genie is a high-level programming language that aims to simplify the development of software by providing a concise and readable syntax. It is primarily used for creating desktop applications, especially targeting the GNOME desktop environment.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/live.gnome.org\/Genie","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Genie_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:05","github_repo_count":25,"paradigms":"3,8,9","typings":"8,9","oses":null},{"id":209,"name":"Gleam","slug":"gleam","description":"Gleam is a statically-typed functional programming language designed for building scalable and reliable systems. It is mainly used for web and distributed systems development.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/gleam.run","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:05","github_repo_count":381,"paradigms":null,"typings":"8","oses":null},{"id":213,"name":"Go","slug":"go","description":"Go is an open-source programming language designed for simplicity and efficiency, with a focus on concurrency and scalability. It is commonly used for building web servers, network tools, and distributed systems.\n\n","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/golang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Go_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:05","github_repo_count":1350708,"paradigms":"3,7,8,9,10,36","typings":"7,8,9,18,110","oses":"3,4,5,10,11,12,24,27,30,31,32,33,34"},{"id":218,"name":"Gosu","slug":"gosu","description":"Gosu is a statically-typed, object-oriented programming language that runs on the Java Virtual Machine (JVM). It is mainly used for building web applications, insurance systems, and other enterprise software.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/gosu-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Gosu_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:06","github_repo_count":721,"paradigms":"3","typings":"8","oses":null},{"id":640,"name":"Groovy","slug":"groovy","description":"Groovy is a dynamically typed programming language for the Java Virtual Machine that combines the features of scripting languages with Java's ability to leverage existing libraries. Its main uses include web development, scripting, and automation tasks.","execution_mechanism":"Other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/groovy-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Apache_Groovy","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:10","github_repo_count":86852,"paradigms":"3,8,10,25","typings":"2,8,9,110","oses":"7"},{"id":223,"name":"Hack","slug":"hack","description":"Hack is a programming language developed by Facebook, designed to be used with the HHVM (HipHop Virtual Machine). It is a strongly typed, high-performance language that is used primarily for building large-scale web applications.","execution_mechanism":"Other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/hacklang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Hack_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:06","github_repo_count":91755,"paradigms":null,"typings":"1,2,3,7,8","oses":null},{"id":225,"name":"Halide","slug":"halide","description":"Halide is a domain-specific programming language designed for image processing and computational photography. It provides a concise and expressive syntax for efficiently describing and optimizing image-processing algorithms.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/halide-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Halide_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:07","github_repo_count":null,"paradigms":"10,75","typings":"8","oses":null},{"id":229,"name":"Hare","slug":"hare","description":"Hare is a high-level programming language that emphasizes simplicity and readability. It is primarily used for teaching and learning programming concepts.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/harelang.org","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:07","github_repo_count":null,"paradigms":null,"typings":"8","oses":null},{"id":651,"name":"Haskell","slug":"haskell","description":"Haskell is a statically-typed, purely functional programming language known for its strong type system and lazy evaluation. It is primarily used for academic research, formal verification, and high-level system development.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.haskell.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Haskell","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:17","github_repo_count":138356,"paradigms":"10,28,116","typings":"7,8,9","oses":"2,3"},{"id":231,"name":"Haxe","slug":"haxe","description":"Haxe is a high-level, open-source programming language that is cross-platform, making it suitable for developing applications across various platforms such as web, desktop, mobile, and game consoles. Its main uses include web development, game development, cross-platform mobile app development, and server-side development.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/haxe.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Haxe","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:08","github_repo_count":20930,"paradigms":"3,10,25,76","typings":"2,7,8,57","oses":"2,3,10"},{"id":236,"name":"Hope","slug":"hope","description":"Hope is a statically-typed programming language designed for concurrent and parallel programming, with strong support for message passing and synchronization. It is often used in the development of distributed systems and high-performance computing applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Hope_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:08","github_repo_count":null,"paradigms":"10","typings":"8","oses":null},{"id":244,"name":"Idris","slug":"idris","description":"Idris is a general-purpose, purely functional programming language with dependent types. It is primarily used for research in formal methods, theorem proving, and programming language design.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.idris-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Idris_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:09","github_repo_count":2049,"paradigms":"10,28,93","typings":"8,62,95,214","oses":null},{"id":656,"name":"Java","slug":"java","description":"Java is a high-level, object-oriented programming language known for its platform independence and wide range of applications, including web development, mobile app development, software testing, scientific research, and enterprise-level applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.oracle.com\/java\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Java_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-24 11:32:54","github_repo_count":11304887,"paradigms":"3,8,9,10,67,76,84,117,118","typings":"8,9,56,57,61","oses":null},{"id":272,"name":"JOVIAL","slug":"jovial","description":"JOVIAL is a high-level programming language designed for real-time systems and developed primarily for the U.S. Air Force. It is used for the development of avionics and other embedded systems in the defense and aerospace industries.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/JOVIAL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:12","github_repo_count":null,"paradigms":"7,8,9","typings":"8,9,18,56","oses":null},{"id":275,"name":"JS++","slug":"jsplusplus","description":"JS++ is a statically-typed programming language that compiles to JavaScript, offering enhanced static type checking and other features. It is mainly used for developing large-scale web applications and improving code integrity, reliability, and maintainability.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/JS%2B%2B","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:13","github_repo_count":13033204,"paradigms":"3,8,9,10,76","typings":"2,3,8","oses":null},{"id":286,"name":"Kotlin","slug":"kotlin","description":"Kotlin is a statically-typed programming language that runs on the Java Virtual Machine. It can be used for developing Android applications, server-side applications, and other types of software projects.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/kotlinlang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Kotlin_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:15","github_repo_count":1246067,"paradigms":"3,6,8,9,10,36,67,76","typings":"7,8,9","oses":null},{"id":312,"name":"LPC","slug":"lpc","description":"LPC is a programming language used in the development of muds (multi-user dungeons) and other online multiplayer games. It combines elements of C and other features specific to MUD development.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/lpmuds.net","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/LPC_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:17","github_repo_count":null,"paradigms":"3,7,10,17","typings":"1,2,8,9","oses":null},{"id":317,"name":"M#","slug":"msharp","description":"M# is a high-level, statically-typed programming language that combines the object-oriented and functional programming paradigms. It is primarily used for developing cross-platform applications and services within the .NET ecosystem.","execution_mechanism":"'interpreted'","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.msharp.co.uk\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/M_Sharp","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:19","github_repo_count":2681,"paradigms":"3,4,7,9,25,70","typings":"2,8","oses":null},{"id":325,"name":"Mary","slug":"mary","description":"Mary is a statically-typed programming language designed for concurrent and distributed systems. It focuses on providing strong typing guarantees and support for message-passing concurrency. Mainly used for developing high-performance and fault-tolerant distributed applications.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Mary_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:20","github_repo_count":null,"paradigms":"8","typings":"8,9","oses":null},{"id":331,"name":"Mercury","slug":"mercury","description":"Mercury is a logic\/functional programming language with a strong, static type system. It is designed for the development of high-performance and reliable software, especially in domains such as real-time systems, safety-critical systems, and program analysis.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.mercurylang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Mercury_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:20","github_repo_count":746,"paradigms":"3,10,11,25,28","typings":"8,9,214,217","oses":null},{"id":332,"name":"Mesa","slug":"mesa","description":"Mesa is a programming language designed for high-level development and the implementation of complex systems software. It is commonly used for operating systems and compilers.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Mesa_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:21","github_repo_count":null,"paradigms":"7","typings":"8,9","oses":null},{"id":340,"name":"Mirah","slug":"mirah","description":"Mirah is a statically-typed, object-oriented programming language that is similar to Java syntax-wise. It is mainly used for developing Android applications and building high-performance software.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.mirah.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Mirah_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:22","github_repo_count":68,"paradigms":"3,8","typings":"2,7,8,9","oses":"7"},{"id":341,"name":"Miranda","slug":"miranda","description":"Miranda is a high-level functional programming language known for its simplicity and elegance, often used for teaching and research in functional programming concepts. Its main uses include functional programming education, prototyping, and language research.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/miranda.org.uk","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Miranda_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:22","github_repo_count":null,"paradigms":"6,28","typings":"8,9","oses":null},{"id":345,"name":"ML","slug":"ml","description":"ML is a statically-typed functional programming language known for its strong type inference and pattern matching capabilities. It is commonly used for writing compilers, theorem provers, and as a general-purpose language for programming with a focus on mathematical and logical tasks.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ML_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:22","github_repo_count":null,"paradigms":"7,8,10","typings":"7,8,9","oses":null},{"id":348,"name":"Modula","slug":"modula","description":"Modula is a procedural programming language known for its modular structure, strong type checking, and strict scoping rules. It is widely used for systems programming, language implementation, and application development.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Modula","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:23","github_repo_count":null,"paradigms":"7,8,79","typings":"8,9,56","oses":null},{"id":349,"name":"Modula-2","slug":"modula-2","description":"Modula-2 is a strongly-typed, procedural programming language that emphasizes modular programming and language safety. It is commonly used for system programming, education, and embedded systems development.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Modula-2","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:23","github_repo_count":330,"paradigms":"8,9,36,79","typings":"8,9,56","oses":null},{"id":359,"name":"Nemerle","slug":"nemerle","description":"\"Nemerle is a statically-typed, multi-paradigm programming language that combines functional, object-oriented, and imperative features. It is primarily used for software development, particularly in areas such as web development, game development, and academic research.\"","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/nemerle.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Nemerle","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:25","github_repo_count":183,"paradigms":"3,7,8,10,25,70","typings":"7,8,9,57","oses":null},{"id":362,"name":"NetRexx","slug":"netrexx","description":"NetRexx is a programming language that combines the ease of use and simplicity of classic Rexx with the advanced capabilities of Java. It is primarily used for developing applications on the Java Virtual Machine.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/NetRexx","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:25","github_repo_count":null,"paradigms":"3,7,9","typings":"2,8,9,56","oses":null},{"id":364,"name":"NEWP","slug":"newp","description":"NEWP is a high-level programming language that is designed for simplicity and readability, making it suitable for beginners. It is mainly used for educational purposes and as a stepping stone for learning more complex programming languages.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/NEWP","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:26","github_repo_count":null,"paradigms":"7,8,9","typings":"8,9","oses":null},{"id":371,"name":"Nim","slug":"nim","description":"Nim is a statically-typed, compiled programming language that offers high performance and expressive syntax. It is commonly used for systems programming, scripting, and building web applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/nim-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Nim_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:27","github_repo_count":9680,"paradigms":"3,7,8,10,36,70,101","typings":"7,8,9,18","oses":"3,4,7,12,24,28,30"},{"id":379,"name":"Oberon","slug":"oberon","description":"Oberon is a statically-typed, modular programming language developed in the late 1980s. It is primarily used for systems programming, building operating systems, and developing efficient and reliable software.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/projectoberon.net","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Oberon_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:28","github_repo_count":null,"paradigms":"3,7,8,9,79","typings":"2,8,9","oses":null},{"id":385,"name":"Object Pascal","slug":"object_pascal","description":"Object Pascal is a strongly-typed programming language that combines the features of Pascal with object-oriented programming concepts. It is primarily used for developing desktop, mobile, and web applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Object_Pascal","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:29","github_repo_count":16884,"paradigms":"3,4,7,8,9,25,76","typings":"2,8,9,56","oses":null},{"id":381,"name":"Objective-C","slug":"objective-c","description":"Objective-C is a general-purpose, object-oriented programming language that is primarily used to develop applications for iOS and macOS platforms.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/developer.apple.com\/library\/mac\/navigation","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Objective-C","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:28","github_repo_count":539755,"paradigms":"3,25,67,84","typings":"1,2,8","oses":null},{"id":636,"name":"OCaml","slug":"ocaml","description":"OCaml is a mature and statically-typed functional programming language. It is commonly used for programming language research, writing compilers and interpreters, as well as in areas such as finance and formal verification.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/ocaml.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/OCaml","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:08","github_repo_count":31131,"paradigms":"3,8,10,79","typings":"7,8,9,18","oses":"2"},{"id":390,"name":"Opa","slug":"opa","description":"Opa is a secure, scalable, and efficient programming language for building modern web applications. Its main uses include creating real-time web applications, collaborative software, and server-side web development.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/opalang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Opa_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:30","github_repo_count":78,"paradigms":"8,10,25","typings":"7,8,9","oses":null},{"id":392,"name":"OpenCL","slug":"opencl","description":"OpenCL is a programming language for heterogeneous computing that enables developers to write code that can be executed across various devices, such as CPUs and GPUs. It is mainly used for parallel computing tasks, accelerating performance in areas like scientific simulations, image processing, and machine learning.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.khronos.org\/opencl","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/OpenCL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:30","github_repo_count":0,"paradigms":"3,8,9,76","typings":"1,8,57,61","oses":"3,4,10,12,24"},{"id":407,"name":"ParaSail","slug":"parasail","description":"ParaSail is a statically typed programming language designed for the development of highly reliable software systems. It is primarily used for applications that require high integrity, safety, and security.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.parasail-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ParaSail_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:32","github_repo_count":null,"paradigms":"2,3,7,9,36","typings":"8,9","oses":"4"},{"id":409,"name":"Pascal","slug":"pascal","description":"Pascal is a high-level programming language designed for teaching programming concepts and developing efficient and maintainable software. It is commonly used for educational purposes and for developing desktop applications.\n\nPascal is a general-purpose programming language that was developed to encourage good programming practices. Its main uses include teaching computer programming, software development, and implementing algorithms and data structures.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Pascal_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:33","github_repo_count":57738,"paradigms":"8,9","typings":"8,9,56","oses":null},{"id":421,"name":"Pict","slug":"pict","description":"Pict is a programming language designed for creating diagrams, charts, and visual representations of data. It is widely used in technical documentation, software design, and system architecture to enhance communication and understanding through visual representations.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Pict_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:35","github_repo_count":null,"paradigms":"10,36","typings":"8","oses":null},{"id":423,"name":"Pike","slug":"pike","description":"Pike is a general-purpose programming language that supports both procedural and object-oriented programming. It is often used for web development, creating static websites, and building dynamic web applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/pike.lysator.liu.se\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Pike_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:35","github_repo_count":153,"paradigms":"3,7,10","typings":"2,8,61","oses":"2,3"},{"id":433,"name":"PL360","slug":"pl360","description":"PL360 is a high-level programming language designed for scientific and mathematical applications. It is primarily used for numerical calculations, simulations, and data analysis.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/PL360","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:36","github_repo_count":null,"paradigms":"7,8,9","typings":"8,9","oses":null},{"id":438,"name":"PLEXIL","slug":"plexil","description":"PLEXIL is a high-level programming language designed for mission planning and control of autonomous systems. It is primarily used in aerospace applications for developing complex, concurrent, and mission-critical software systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/plexil.sourceforge.net\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/PLEXIL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:37","github_repo_count":null,"paradigms":"25","typings":"8,57","oses":null},{"id":440,"name":"Plus","slug":"plus","description":"The 'Plus' programming language is a high-level language designed for simplicity and readability, with features that enhance productivity. It is commonly used for web development, data analysis, and general-purpose programming tasks.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Plus_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:37","github_repo_count":null,"paradigms":"7,8,9","typings":"8,9,56","oses":null},{"id":455,"name":"Programming Language for Business","slug":"programming_language_for_business","description":"The 'Programming Language for Business' is a high-level programming language designed specifically for business applications. Its main uses include developing and maintaining software systems for business operations, data processing, and decision-making.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Programming_Language_for_Business","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:39","github_repo_count":654,"paradigms":"7,8","typings":"8,9","oses":null},{"id":464,"name":"PureScript","slug":"purescript","description":"PureScript is a strongly-typed functional programming language that compiles to JavaScript. It is primarily used for developing web applications, providing a highly expressive and statically-typed alternative to JavaScript.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.purescript.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/PureScript","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:40","github_repo_count":5731,"paradigms":"10,28","typings":"7,8,9,219","oses":null},{"id":648,"name":"Q#","slug":"qsharp","description":"Q# is a high-level programming language developed by Microsoft for quantum computing. It is primarily used for writing quantum algorithms and simulations on quantum computers.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/docs.microsoft.com\/en-us\/quantum\/quantum-qr-intro","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Q_Sharp","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:17","github_repo_count":952,"paradigms":"8,10","typings":"8,9","oses":null},{"id":481,"name":"Reason","slug":"reason","description":"Reason is a syntax extension and a toolchain for the OCaml programming language. It provides a familiar syntax and a seamless integration with JavaScript, making it suitable for building highly performant web applications and native mobile apps.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/reasonml.github.io\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Reason_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:42","github_repo_count":1978,"paradigms":"10","typings":"8","oses":"7"},{"id":485,"name":"Report Program Generator","slug":"report_program_generator","description":"Report Program Generator (RPG) is a high-level programming language used primarily for business applications, particularly in the creation of reports. It features easy-to-use syntax and powerful data manipulation capabilities, making it ideal for developing and maintaining complex reports within mainframe environments.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/IBM_RPG","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:43","github_repo_count":10262,"paradigms":"7","typings":"8,9","oses":null},{"id":492,"name":"RTL\/2","slug":"rtl_2","description":"RTL\/2 is a high-level programming language used for the development of real-time systems. It is mainly used for designing and implementing time-critical applications such as control systems, embedded systems, and robotics.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/RTL\/2","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:43","github_repo_count":null,"paradigms":"7,8,9","typings":"8,9,18,56","oses":null},{"id":494,"name":"Rust","slug":"rust","description":"Rust is a systems programming language that focuses on safety, speed, and concurrency. It is used for developing highly performant, reliable software, particularly in areas such as embedded systems, game engines, and network services.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.rust-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Rust_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:44","github_repo_count":535042,"paradigms":"3,8,10,36,73,76","typings":"7,8,9,57,95,220","oses":"3,4,7,10,11,12,24,50"},{"id":502,"name":"Sather","slug":"sather","description":"Sather is an object-oriented programming language with a syntax similar to Eiffel. It is primarily used for high-performance computing and large-scale parallel and distributed systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.gnu.org\/software\/sather\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Sather","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:45","github_repo_count":null,"paradigms":"3,10","typings":"8,9","oses":null},{"id":504,"name":"Scala","slug":"scala","description":"Scala is a modern multi-paradigm programming language that combines functional programming with object-oriented programming. It is primarily used for developing scalable and concurrent applications on the Java Virtual Machine (JVM).","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.scala-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Scala_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:45","github_repo_count":235246,"paradigms":"3,8,10,36","typings":"7,8,9,18","oses":null},{"id":511,"name":"Seed7","slug":"seed7","description":"Seed7 is a general-purpose programming language that aims to provide a higher level of abstraction compared to other languages like C or Java. It can be used for a wide range of applications including system programming, scripting, and developing complex software projects.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/seed7.sourceforge.net\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Seed7","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:47","github_repo_count":null,"paradigms":"3,8,9,25,67,76","typings":"8,9,57,61","oses":"7"},{"id":515,"name":"SequenceL","slug":"sequencel","description":"SequenceL is a high-level programming language designed for solving complex problems in a concise and declarative manner. It is primarily used for parallel computing, data analytics, and automation tasks.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/texasmulticore.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SequenceL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:47","github_repo_count":null,"paradigms":"2,5,6,28","typings":"7,8","oses":"3,4,12"},{"id":519,"name":"Simula","slug":"simula","description":"Simula is a programming language designed for simulation and modeling. It is widely used in computer science research and education to develop simulations of complex systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Simula","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:48","github_repo_count":null,"paradigms":"3,7,8,9","typings":"8,57","oses":"2,3,20,23,58"},{"id":520,"name":"SISAL","slug":"sisal","description":"SISAL is a functional programming language that supports data parallelism and high-level array operations. It is mainly used for scientific and numerical computing applications.","execution_mechanism":"The SISAL programming language is 'compiled'.","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SISAL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:49","github_repo_count":null,"paradigms":"10,25,36,91","typings":"8,9","oses":null},{"id":529,"name":"Solidity","slug":"solidity","description":"Solidity is a statically typed, high-level programming language for writing smart contracts on the Ethereum platform. It is commonly used for developing decentralized applications (DApps) and conducting initial coin offerings (ICOs).","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/soliditylang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Solidity","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:50","github_repo_count":142138,"paradigms":null,"typings":"8","oses":null},{"id":532,"name":"SP\/k","slug":"sp_k","description":"SP\/k is a programming language that combines elements of functional and procedural programming paradigms. It is primarily used for scientific and mathematical computation, as well as for developing algorithms and simulations.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SP\/k","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:50","github_repo_count":null,"paradigms":"8,9","typings":"8,9","oses":null},{"id":533,"name":"SPARK","slug":"spark","description":"SPARK is a programming language that combines the benefits of high-level and low-level languages, ensuring both safety and efficiency. It is primarily used for developing high-integrity systems and critical software applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.adacore.com\/sparkpro\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SPARK_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:51","github_repo_count":null,"paradigms":"7","typings":"8,9,56,57","oses":null},{"id":536,"name":"Speedcoding","slug":"speedcoding","description":"Speedcoding is a high-level programming language designed for rapid development and execution of computer programs. It is commonly used for scientific simulations, mathematical calculations, and optimization problems.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Speedcoding","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:51","github_repo_count":null,"paradigms":"3,7,9,76","typings":"8,9,61","oses":null},{"id":539,"name":"SQL","slug":"sql","description":"SQL is a programming language used to manage and manipulate relational databases. Its main uses include querying, inserting, updating, and deleting data in databases, as well as creating and modifying database structures and controlling user access.","execution_mechanism":"'compiled'","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.iso.org\/standard\/76583.html","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SQL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:52","github_repo_count":1883,"paradigms":"6","typings":"8,9","oses":null},{"id":641,"name":"Standard ML","slug":"standard_ml","description":"Standard ML (SML) is a general-purpose programming language that supports functional, imperative, and concurrent programming paradigms. It is mainly used for academic research, programming language theory, and development of type-safe and high-performance software systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/smlfamily.github.io\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Standard_ML","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:11","github_repo_count":500559,"paradigms":"7,8,10,79","typings":"7,8,9","oses":null},{"id":544,"name":"Strongtalk","slug":"strongtalk","description":"Strongtalk is a statically-typed object-oriented programming language designed for building performant and scalable applications. It is primarily used for developing high-performance systems, virtual machines, and dynamic language implementations.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.strongtalk.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Strongtalk","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:52","github_repo_count":null,"paradigms":"3","typings":"2,8","oses":null},{"id":549,"name":"Swift","slug":"swift","description":"Swift is a powerful and intuitive programming language for iOS, macOS, watchOS, and tvOS. It is mainly used for developing applications for Apple platforms.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/swift.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Swift_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:53","github_repo_count":1223416,"paradigms":"3,6,8,10,25,36,91,107","typings":"7,8,9","oses":"3,4,11,12,59,60,61,62"},{"id":552,"name":"SystemVerilog","slug":"systemverilog","description":"SystemVerilog is a hardware description and verification language that combines hardware modeling capabilities with features for verification. Its main uses include designing and verifying complex digital systems, creating testbenches, and simulating and synthesizing digital circuits.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SystemVerilog","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:53","github_repo_count":14022,"paradigms":"3,9","typings":"1,8","oses":null},{"id":565,"name":"Turing","slug":"turing","description":"The Turing programming language is a general-purpose language that combines features of imperative, object-oriented, and functional programming. It is primarily used for teaching introductory programming courses and for academic research in computer science.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Turing_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:55","github_repo_count":551,"paradigms":"3,7","typings":"8,61","oses":"3"},{"id":572,"name":"Umple","slug":"umple","description":"Umple is a programming language that integrates UML modeling and code generation into one unified platform, allowing developers to seamlessly transition between design and implementation. It is primarily used for developing and maintaining large-scale object-oriented systems, particularly in domains such as software engineering, database modeling, and robotics.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.umple.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Umple","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:55","github_repo_count":null,"paradigms":"3","typings":"8","oses":null},{"id":577,"name":"UnrealScript","slug":"unrealscript","description":"UnrealScript is a high-level programming language that was developed specifically for use with the Unreal Engine. It is primarily used for developing games and other interactive applications for various platforms.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/docs.unrealengine.com\/udk\/Three\/UnrealScriptHome.html","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/UnrealScript","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:56","github_repo_count":1502,"paradigms":"3,76","typings":"8,9,56","oses":null},{"id":580,"name":"Verilog","slug":"verilog","description":"Verilog is a hardware description language used to model and simulate digital systems. It is predominantly used for designing electronic circuits and systems at various levels of abstraction.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Verilog","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:56","github_repo_count":63043,"paradigms":"9","typings":"1,8","oses":null},{"id":590,"name":"Visual Prolog","slug":"visual_prolog","description":"Visual Prolog is a strongly-typed logic programming language that provides built-in support for the development of intelligent systems. It is commonly used for developing expert systems, natural language processing applications, and other AI-related projects.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.visual-prolog.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Visual_Prolog","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:57","github_repo_count":18028,"paradigms":"3,8,10,11","typings":"7,8,9","oses":"3"},{"id":599,"name":"X10","slug":"x10","description":"X10 is a modern, concurrent, object-oriented programming language designed for high-performance computing systems. It is mainly used for developing scalable parallel applications and solving complex computational problems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/x10-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/X10_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:59","github_repo_count":46,"paradigms":"3,5,36","typings":"8,9,56","oses":"3,4,12,33"},{"id":642,"name":"XQuery","slug":"xquery","description":"XQuery is a high-level, query and functional programming language designed for querying and manipulating XML data. Its main uses include extracting and transforming XML data, searching for specific patterns within XML documents, and generating reports or summaries from XML sources.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.w3.org\/XML\/Query\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/XQuery","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:12","github_repo_count":1881,"paradigms":"6,10,79","typings":"2,8,9","oses":null},{"id":612,"name":"Xtend","slug":"xtend","description":"Xtend is a flexible and expressive programming language that enhances Java with additional features such as lambda expressions, type inference, and extension methods. It is commonly used for developing applications on the Java Virtual Machine (JVM) and is well-suited for projects that require productivity and code readability improvements.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.xtend-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Xtend","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:00","github_repo_count":1463,"paradigms":"3,8,10","typings":"7,8,9","oses":null},{"id":619,"name":"Zig","slug":"zig","description":"Zig is a general-purpose programming language that prioritizes safety, performance, and control. It is commonly used for systems programming, application development, and scripting.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/ziglang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Zig_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:01","github_repo_count":7485,"paradigms":"7,8,10,36,76","typings":"7,8,9,18","oses":null}]