Programming Languages DB

[{"id":7,"name":"Abstract State Machine Language","slug":"abstract_state_machine_language","description":"Abstract State Machine Language (AsmL) is a programming language for specifying and structuring software systems as a composition of abstract state machines. Its main uses include modeling and analyzing complex systems, formal verification, and prototyping software designs.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Abstract_State_Machine_Language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:34","github_repo_count":359,"paradigms":"10","typings":null,"oses":null},{"id":9,"name":"ACL2","slug":"acl2","description":"ACL2 (A Computational Logic for Applicative Common Lisp) is a programming language based on Common Lisp and supported by a theorem proving system. It is primarily used for formal verification of properties and correctness of computer systems and software.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ACL2","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:35","github_repo_count":null,"paradigms":"10","typings":"2","oses":"2"},{"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":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":22,"name":"Algebraic Logic Functional programming language","slug":"algebraic_logic_functional_programming_language","description":"Algebraic Logic Functional programming language (ALF) is a declarative programming language that combines algebraic techniques with logic programming. It is primarily used for developing and reasoning about complex systems, including software verification and synthesis.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.informatik.uni-kiel.de\/~mh\/systems\/ALF\/README","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Algebraic_Logic_Functional_programming_language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:36","github_repo_count":84,"paradigms":"10,11","typings":null,"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":649,"name":"Alpaca","slug":"alpaca","description":"Alpaca is a statically-typed programming language that emphasizes simplicity, expressive syntax, and strong type inference. It is primarily used for building scalable, high-performance applications, particularly in the field of data processing and artificial intelligence.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/alpaca-lang.org","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:17","github_repo_count":null,"paradigms":"10","typings":null,"oses":null},{"id":638,"name":"APL","slug":"apl","description":"APL is a high-level programming language known for its concise and expressive syntax. It is primarily used in mathematical and scientific applications for tasks such as data analysis, simulations, and modeling.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/APL_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:08","github_repo_count":481,"paradigms":"5,9,10,79","typings":"2","oses":null},{"id":36,"name":"Arc","slug":"arc","description":"Arc is a dialect of Lisp programming language developed by Paul Graham. It is designed for building web applications and emphasizes simplicity and flexibility.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/arclanguage.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Arc_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:39","github_repo_count":255,"paradigms":"7,10,70","typings":"2","oses":null},{"id":37,"name":"Arduino","slug":"arduino","description":"Arduino is an open-source programming language designed for microcontroller boards. It is mainly used for creating interactive projects and prototypes for a wide range of applications such as robotics, automation, and IoT devices.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.arduino.cc","wikipedia_url":null,"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,10","typings":null,"oses":"7"},{"id":44,"name":"Atom","slug":"atom","description":"Atom is a modern programming language designed for building scalable web applications. It is known for its simplicity, efficiency, and flexibility, making it popular among developers for creating backend systems and APIs.","execution_mechanism":"Other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/hackage.haskell.org\/package\/atom","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Atom_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:40","github_repo_count":null,"paradigms":"6,10","typings":"9","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":49,"name":"A\u266f","slug":"axiom","description":"A\u266f is a statically-typed, high-level programming language designed for writing efficient and safe code. It is mainly used for developing system software, real-time applications, and embedded systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/axiom-developer.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/A%E2%99%AF_(Axiom)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:40","github_repo_count":null,"paradigms":"10","typings":null,"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":633,"name":"C#","slug":"csharp","description":"C# is a modern, general-purpose programming language developed by Microsoft. It is primarily used for building Windows desktop applications, web applications, and games.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/docs.microsoft.com\/en-us\/dotnet\/csharp\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/C_Sharp_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:05","github_repo_count":2535044,"paradigms":"3,4,8,9,10,25,67,76,84,114","typings":"2,7,57","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":79,"name":"Cadence SKILL","slug":"cadence_skill","description":"The 'Cadence SKILL' programming language is a procedural language used for writing scripts in the Cadence Design Systems software. It is mainly used for automating tasks, creating custom tools, and manipulating designs in electronic design automation (EDA) processes.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Cadence_SKILL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:44","github_repo_count":0,"paradigms":"10","typings":"2","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":81,"name":"Cayenne","slug":"cayenne","description":"The 'Cayenne' programming language is a statically-typed, general-purpose language with a focus on simplicity and readability. It is used for a wide range of applications including web development, data analysis, and system programming.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Cayenne_(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":"10","typings":"62","oses":null},{"id":645,"name":"CDuce","slug":"cduce","description":"CDuce is a statically typed functional programming language that supports XML processing and tree manipulation. It is mainly used for web development, text processing, and language processing.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/CDuce","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:14","github_repo_count":null,"paradigms":"10","typings":null,"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":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":97,"name":"Clean","slug":"clean","description":"Clean is a general-purpose, lazy and pure functional programming language. It is primarily used for research and education in functional programming, and also for building efficient and reliable software systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/clean.cs.ru.nl","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Clean_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:47","github_repo_count":225,"paradigms":"10,28","typings":"2,9,214","oses":null},{"id":100,"name":"Clojure","slug":"clojure","description":"Clojure is a dynamically-typed, functional programming language that runs on the Java Virtual Machine (JVM). It is used for developing scalable and concurrent applications, with a focus on simplicity, immutability, and code-as-data philosophy.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/clojure.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Clojure","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:48","github_repo_count":87098,"paradigms":"10,11,30,36","typings":"2,9","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":105,"name":"CoffeeScript","slug":"coffeescript","description":"CoffeeScript is a programming language that compiles into JavaScript, providing a more concise and readable syntax. It is commonly used for front-end web development and enables developers to write JavaScript code more easily and efficiently.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/coffeescript.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/CoffeeScript","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:48","github_repo_count":64688,"paradigms":"8,10,17,25","typings":"2","oses":"7"},{"id":110,"name":"Common Lisp","slug":"common_lisp","description":"Common Lisp is a high-level programming language known for its extensive macro system and dynamic, interactive development environment. It is commonly used for artificial intelligence research, scientific computing, and general-purpose programming.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/common-lisp.net\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Common_Lisp","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:49","github_repo_count":26451,"paradigms":"3,7,10,25,67,70,76","typings":"2,9","oses":null},{"id":114,"name":"Concurrent Euclid","slug":"concurrent_euclid","description":"Concurrent Euclid is a parallel, concurrent programming language that allows the creation and manipulation of concurrent objects. It is mainly used in the development of parallel and concurrent systems, such as operating systems and distributed applications.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Concurrent_Euclid","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:50","github_repo_count":3712,"paradigms":"8,9,10","typings":"9","oses":"7"},{"id":119,"name":"CPL","slug":"cpl","description":"CPL is a high-level programming language designed for systems programming, with a strong emphasis on type safety and efficient memory management. It is mainly used for writing operating systems and low-level software where performance and control over hardware are critical.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/CPL_(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":"7,8,9,10,25","typings":null,"oses":null},{"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":123,"name":"Curl","slug":"curl","description":"Curl is a programming language designed for creating rich, interactive web applications. It integrates HTML, JavaScript, and other web technologies into a single language for building dynamic user interfaces. Its main uses include developing web-based user interfaces, web services, and client-side applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.curl.com\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Curl_(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":"3,6,10,25,67","typings":"9","oses":"3,4,7,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":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":129,"name":"Dafny","slug":"dafny","description":"Dafny is a programming language that is designed to support the formal verification of programs. It is mainly used for developing correct and reliable software systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Dafny","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:52","github_repo_count":256,"paradigms":"8,10,81","typings":null,"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":143,"name":"DUP programming language","slug":"dup_programming_language","description":"The DUP programming language is a fully object-oriented language designed for efficient development of software. Its main uses include web development, scientific computing, and artificial intelligence applications.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/DUP_programming_language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:55","github_repo_count":141131,"paradigms":"10","typings":null,"oses":"27"},{"id":144,"name":"Dylan","slug":"dylan","description":"Dylan is a multi-paradigm programming language designed for ease of use and enhanced productivity. It is mainly used for developing dynamic, object-oriented applications, particularly in the areas of web development, scripting, and GUI programming.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/opendylan.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Dylan_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:55","github_repo_count":163,"paradigms":"3,10,25","typings":"2,9","oses":null},{"id":147,"name":"Easy Programming Language","slug":"easy_programming_language","description":"The 'Easy Programming Language' is a user-friendly programming language designed for beginners. It is mainly used for teaching programming concepts and creating simple applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.dywt.com.cn\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Easy_Programming_Language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:55","github_repo_count":141131,"paradigms":"3,7,8,10,25","typings":null,"oses":null},{"id":637,"name":"ECMAScript","slug":"ecmascript","description":"ECMAScript is a high-level, interpreted programming language standardized by Ecma International. It is primarily used for scripting in web browsers and building web applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/ecma-international.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ECMAScript","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:08","github_repo_count":null,"paradigms":"8,10,17,25","typings":"1,2","oses":null},{"id":154,"name":"Elixir","slug":"elixir","description":"Elixir is a dynamic, functional programming language designed for building scalable and maintainable applications. It is primarily used for developing distributed systems, web applications, and real-time systems.","execution_mechanism":"Elixir: Interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/elixir-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Elixir_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:56","github_repo_count":100572,"paradigms":"10,36,85","typings":"2,9,110","oses":"7"},{"id":155,"name":"Emacs Lisp","slug":"emacs_lisp","description":"Emacs Lisp is a dialect of the Lisp programming language. It is primarily used for extending and customizing the text editor Emacs.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.gnu.org\/software\/emacs","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Emacs_Lisp","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:57","github_repo_count":1401,"paradigms":"10,67,70","typings":"2,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":159,"name":"Erlang","slug":"erlang","description":"Erlang is a functional programming language used for creating robust and concurrent software systems. It is particularly suited for building fault-tolerant, scalable, and distributed applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.erlang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Erlang_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:57","github_repo_count":30369,"paradigms":"6,10,25,36","typings":"2,9","oses":"7"},{"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":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":173,"name":"Factor","slug":"factor","description":"Factor is a concatenative stack-oriented programming language that focuses on simplicity and expressiveness. It is mainly used for rapid prototyping, scripting, and interactive development.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/factorcode.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Factor_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:00","github_repo_count":233,"paradigms":"10,25,74,86","typings":"2,9","oses":null},{"id":177,"name":"FL","slug":"fl","description":"FL is a functional programming language that combines features from Lisp and ML. It is primarily used for academic purposes in teaching and researching programming language design and implementation.","execution_mechanism":"For the 'FL' programming language, the execution mechanism is 'interpreted'.","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/FL_(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":"10,87","typings":"2","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":191,"name":"Franz Lisp","slug":"franz_lisp","description":"Franz Lisp is a powerful programming language known for its efficient symbolic manipulation capabilities. It is primarily used in artificial intelligence research and development.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Franz_Lisp","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:03","github_repo_count":26451,"paradigms":"7,10,67,70","typings":"2,9","oses":null},{"id":193,"name":"Frege","slug":"frege","description":"Frege is a purely functional programming language inspired by Haskell. It is primarily used for writing highly expressive and type-safe programs in functional programming paradigms.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/github.com\/Frege\/frege","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:03","github_repo_count":222,"paradigms":"10,28","typings":null,"oses":"7"},{"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":214,"name":"Go!","slug":"go_","description":"Go! is an agent-based programming language in the tradition of logic-based programming languages like Prolog. It was introduced in a 2003 paper by Francis McCabe and Keith Clark.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"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":null,"paradigms":"8,10,11,25,36","typings":"9","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":224,"name":"Haggis","slug":"haggis","description":"Haggis is a dynamic and interpreted programming language that emphasizes simplicity, productivity, and ease of use. It is mainly used for web development, scripting, and rapid prototyping of applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Haggis_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:06","github_repo_count":null,"paradigms":"3,8,10","typings":"7,18","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":228,"name":"Harbour","slug":"harbour","description":"Harbour is a versatile and extensible programming language that combines the best features of Clipper and xBase languages. It is primarily used for developing business applications that require data management and processing capabilities.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/harbour.github.io\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Harbour_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:07","github_repo_count":54,"paradigms":"3,6,7,8,10,25,67","typings":"2,9,56,110","oses":null},{"id":230,"name":"Hartmann pipeline","slug":"hartmann_pipeline","description":"The Hartmann pipeline programming language is a domain-specific language designed for data processing pipelines. Its main uses include data transformation, data aggregation, and data analysis tasks.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/vm.marist.edu\/~pipeline","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/CMS_Pipelines","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:07","github_repo_count":189538,"paradigms":"10,86,87,91","typings":null,"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":235,"name":"Hop","slug":"hop","description":"Hop is a dynamic and object-oriented programming language that is designed for web development. It is commonly used for creating web applications, implementing server logic, and generating dynamic web content.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/hop.inria.fr\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Hop_(software)","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,25,92","typings":"2,9","oses":"13"},{"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":240,"name":"Hume","slug":"hume","description":"Hume is a programming language that enables the implementation of scalable, intelligent systems by combining rule-based programming with machine learning techniques. It is commonly used for building expert systems, natural language processing applications, and automated reasoning systems.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Hume_(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":null,"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":246,"name":"Incr Tcl","slug":"incr_tcl","description":"Incr Tcl is an extension of the Tcl programming language that adds object-oriented features such as classes, inheritance, and encapsulation. It is primarily used for developing GUI applications, automating tasks, and implementing network protocols.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/incrtcl.sourceforge.net\/itcl\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Incr_Tcl","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:09","github_repo_count":7054,"paradigms":"3,4,8,10","typings":"2","oses":null},{"id":255,"name":"ISLISP","slug":"islisp","description":"ISLISP is a dialect of the Lisp programming language that is used for research and educational purposes, focusing on the design and implementation of programming languages and systems. It provides support for interactive programming, symbolic computation, and language extensibility.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ISLISP","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:10","github_repo_count":null,"paradigms":"3,7,10,67,70","typings":null,"oses":null},{"id":256,"name":"ISWIM","slug":"iswim","description":"ISWIM is a programming language that was developed in the late 1950s with a focus on mathematical notation and simplicity. Its main uses include numerical and symbolic computation, as well as teaching programming concepts.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ISWIM","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:10","github_repo_count":null,"paradigms":"8,10","typings":null,"oses":null},{"id":258,"name":"J","slug":"j","description":"J is a high-level, general-purpose programming language that specializes in data analysis and mathematical computing. It is often used for statistical analysis, machine learning, and financial modeling.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.jsoftware.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/J_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:11","github_repo_count":509,"paradigms":"3,5,10,25,87,94","typings":"2","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":265,"name":"JavaScript","slug":"javascript","description":"JavaScript is a high-level, interpreted programming language used primarily for creating interactive web applications and enhancing the functionality of websites.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.ecma-international.org\/publications-and-standards\/standards\/ecma-262\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/JavaScript","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:11","github_repo_count":13450936,"paradigms":"4,8,10,17,71,76","typings":"2,110,216","oses":null},{"id":650,"name":"Jq","slug":"jq","description":"Jq is a lightweight and flexible programming language specifically designed for querying and manipulating JSON data. It is commonly used for extracting, transforming, and filtering JSON data in various data processing and scripting tasks.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Jq_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:17","github_repo_count":116,"paradigms":"10,94","typings":null,"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":644,"name":"Julia","slug":"julia","description":"Julia is a high-level, high-performance programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It is used for data analysis and visualization, numerical and scientific computing, machine learning, and more.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/julialang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Julia_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:13","github_repo_count":64202,"paradigms":"2,3,5,7,8,10,25,70,115","typings":"2,9,57,217","oses":"3,4,12"},{"id":279,"name":"K","slug":"k","description":"The 'K' programming language is an array-based programming language that is designed for processing large amounts of data. It is commonly used in finance, research, and other fields where high performance and efficient manipulation of data are crucial.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/kx.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/K_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:14","github_repo_count":null,"paradigms":"5,10","typings":"2,9","oses":null},{"id":281,"name":"Kent Recursive Calculator","slug":"kent_recursive_calculator","description":"The Kent Recursive Calculator is a programming language designed for numerical computations and mathematical operations. It is primarily used in scientific research, engineering, and education.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Kent_Recursive_Calculator","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:14","github_repo_count":354,"paradigms":"10","typings":null,"oses":null},{"id":285,"name":"Kojo","slug":"kojo","description":"Kojo is a programming language designed for educational purposes, with a syntax that is easy for beginners to understand. It is primarily used to teach coding concepts and problem-solving skills to students.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.kogics.net\/kojo","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Kojo_(learning_environment)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:14","github_repo_count":null,"paradigms":"3,10","typings":"9","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":292,"name":"LFE","slug":"lfe","description":"LFE (Lisp Flavored Erlang) is a functional programming language that combines the syntax and semantics of Lisp with the concurrent, fault-tolerant nature of Erlang. It is primarily used for writing highly distributed and fault-tolerant systems, such as telecommunication infrastructure, real-time systems, and distributed computing.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/lfe.io","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/LFE_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:15","github_repo_count":65,"paradigms":"10","typings":"2,9","oses":null},{"id":634,"name":"Lisp","slug":"lisp","description":"Lisp is a high-level programming language known for its simple syntax and powerful metaprogramming capabilities. It is mainly used for artificial intelligence research, language implementation, and rapid prototyping.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Lisp_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:07","github_repo_count":25986,"paradigms":"7,10,25,67,70","typings":"2,9","oses":null},{"id":303,"name":"Little b","slug":"little_b","description":"Little b is a strongly-typed programming language designed for embedded systems and real-time applications. It prioritizes memory efficiency, speed, and low-level control in order to meet the specific requirements of such systems.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.littleb.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Little_b_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:16","github_repo_count":8351670,"paradigms":"3,10","typings":"2,9","oses":null},{"id":305,"name":"LiveScript","slug":"livescript","description":"LiveScript is a functional programming language that compiles to JavaScript, known for its expressive syntax and powerful features. It is commonly used for web development, creating scalable and maintainable applications.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/livescript.net\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/LiveScript_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:16","github_repo_count":1999,"paradigms":"3,10","typings":"1,2","oses":"7"},{"id":307,"name":"Logo","slug":"logo","description":"Logo is a programming language known for its simplicity and use of turtle graphics. It is mainly used for teaching programming concepts to beginners, particularly in the field of education.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Logo_(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":"7,10,67","typings":"2","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":635,"name":"Lua","slug":"lua","description":"Lua is a lightweight scripting language known for its simplicity and extensibility. It is commonly used in game development, embedded systems, and scripting for various applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.lua.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Lua_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:08","github_repo_count":334960,"paradigms":"3,7,8,10,17,25","typings":"2,9,110","oses":"7"},{"id":316,"name":"LYaPAS","slug":"lyapas","description":"LYaPAS (Learn Yet another Programming Language and Stay sane) is a beginner-friendly programming language designed to simplify the learning process for newcomers. It is commonly used for teaching programming fundamentals and helping beginners build a strong foundation in coding.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/LYaPAS","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:18","github_repo_count":null,"paradigms":"5,9,10,79","typings":"2","oses":null},{"id":324,"name":"Maple","slug":"maple","description":"Maple is a high-level programming language used for mathematical computations, symbolic computation, and creating interactive educational tools. It is widely used in fields such as engineering, physics, mathematics, and scientific research.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.maplesoft.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Maple_(software)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:19","github_repo_count":null,"paradigms":"3,7,10","typings":null,"oses":"3,4,12"},{"id":326,"name":"Mathematica","slug":"mathematica","description":"Mathematica is a high-level programming language used for mathematical and symbolic computation, as well as data analysis and visualization. It is widely used in fields such as engineering, physics, finance, and computer science.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.wolfram.com\/mathematica\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Wolfram_Mathematica","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:20","github_repo_count":27965,"paradigms":"5,10","typings":null,"oses":"3,4,12"},{"id":657,"name":"MATLAB","slug":"matlab","description":"MATLAB is a high-level programming language that provides a mix of numerical analysis, visualization, and programming capabilities. It is commonly used for scientific research, data analysis, and algorithm development in various fields such as engineering, finance, and signal processing.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.mathworks.com\/products\/matlab.html","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/MATLAB","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-24 11:32:55","github_repo_count":357475,"paradigms":"3,5,7,8,10","typings":"1,2","oses":"3,4,12"},{"id":330,"name":"MDL","slug":"mdl","description":"MDL is a programming language developed for creating and manipulating virtual worlds. It is commonly used in developing computer games and simulations.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/MDL_(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":"7,10,67,70","typings":"2,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":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":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":360,"name":"NESL","slug":"nesl","description":"NESL (Nested Data-Parallel Language) is a high-level programming language designed for writing parallel programs. It is primarily used for expressing computations on large data sets and for parallelizing algorithms to exploit parallel hardware architectures.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/NESL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:25","github_repo_count":null,"paradigms":"2,5,10","typings":null,"oses":null},{"id":363,"name":"newLISP","slug":"newlisp","description":"newLISP is a scripting language that combines simplicity with powerful features, making it ideal for programming applications, system administration tasks, and web development.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.newlisp.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/NewLISP","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:26","github_repo_count":514,"paradigms":"3,10,17","typings":"2","oses":null},{"id":365,"name":"Newspeak","slug":"newspeak","description":"Newspeak is a class-based, dynamically-typed programming language designed for software development. It aims to provide simplicity, modularity, and strong encapsulation for various applications, including web development, system programming, and software engineering research.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/newspeaklanguage.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Newspeak_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:26","github_repo_count":null,"paradigms":"3,10","typings":"2","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":375,"name":"Nu","slug":"nu","description":"The 'Nu' programming language is a dynamic, lightweight language designed for scripting and rapid prototyping. It is primarily used for creating automation scripts, data manipulation, and small scale application development.","execution_mechanism":"The 'Nu' programming language is 'interpreted'.","logo_svg":null,"repo_url":null,"website_url":"http:\/\/programming.nu","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Nu_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:27","github_repo_count":372,"paradigms":"3,7,8,9,10","typings":"2","oses":"12"},{"id":382,"name":"Objective-J","slug":"objective-j","description":"Objective-J is a programming language that blends the syntax of Objective-C with JavaScript, allowing developers to write web applications. It is primarily used for front-end development and enhancing user interfaces.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.cappuccino-project.org\/","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:28","github_repo_count":1115,"paradigms":"3,8,10,67","typings":"1,2,110","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":391,"name":"Opal","slug":"opal","description":"Opal is a statically-typed, object-oriented programming language designed for building scalable and maintainable web applications. It is commonly used for server-side development, especially in the areas of web development and microservices.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Opal_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:30","github_repo_count":18,"paradigms":"10","typings":null,"oses":null},{"id":398,"name":"OPS5","slug":"ops5","description":"OPS5 is a rule-based programming language designed for implementing efficient expert systems. It is used for developing expert systems in fields such as artificial intelligence, medical diagnosis, and decision support systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/OPS5","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:31","github_repo_count":null,"paradigms":"10","typings":null,"oses":null},{"id":401,"name":"Orwell","slug":"orwell","description":"Orwell is a high-level programming language designed for simplicity and readability. It is primarily used for educational purposes to teach fundamental concepts of programming.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Orwell_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:31","github_repo_count":null,"paradigms":"10","typings":null,"oses":null},{"id":403,"name":"Oz","slug":"oz","description":"Oz is a multiparadigm programming language that supports declarative, functional, and object-oriented programming. It is mainly used for concurrent and distributed programming, as well as for teaching and research in the field of programming languages.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.mozart-oz.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Oz_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:32","github_repo_count":403,"paradigms":"3,8,10,17,25,36,54","typings":"2","oses":null},{"id":415,"name":"Perl Data Language","slug":"perl_data_language","description":"Perl Data Language (PDL) is a high-level interpreted language designed for scientific and numerical computation in Perl. It provides powerful array processing capabilities for analyzing and manipulating large data sets efficiently.","execution_mechanism":"Compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/pdl.perl.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Perl_Data_Language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:33","github_repo_count":29,"paradigms":"5,8,10","typings":null,"oses":null},{"id":417,"name":"PHP","slug":"php","description":"PHP is a popular general-purpose scripting language used for web development. It is mainly used for developing dynamic websites and applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.php.net","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/PHP","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:34","github_repo_count":4145442,"paradigms":"3,7,8,10,67","typings":"1,2,3","oses":"2,3"},{"id":420,"name":"PicoLisp","slug":"picolisp","description":"PicoLisp is a minimalist Lisp dialect designed for simplicity and extensibility. It is often used for developing database applications, web servers, and artificial intelligence systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/picolisp.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/PicoLisp","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:34","github_repo_count":127,"paradigms":"3,6,7,10,67,70","typings":"2,9,110","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":425,"name":"Pixie","slug":"pixie","description":"Pixie is a dynamically typed, functional programming language designed for simplicity and readability. Its main uses include web development, scripting, and rapid prototyping.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/github.com\/pixie-lang\/pixie","wikipedia_url":null,"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","typings":null,"oses":null},{"id":446,"name":"POP-2","slug":"pop-2","description":"POP-2 is a high-level programming language designed for artificial intelligence research. It is primarily used for building expert systems and natural language processing applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/POP-2","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:38","github_repo_count":null,"paradigms":"10","typings":null,"oses":null},{"id":449,"name":"Power Fx","slug":"power_fx","description":"Power Fx is a low-code programming language designed for building business and productivity apps. It focuses on ease of use and enables non-technical users to create applications using a visual interface, formula-based expressions, and pre-built functions. Its main uses include creating custom apps, automating business processes, and integrating with various data sources.","execution_mechanism":"'compiled'","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Microsoft_Power_Fx","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:38","github_repo_count":53619,"paradigms":"6,8,10","typings":"9","oses":null},{"id":454,"name":"Programming Computable Functions","slug":"programming_computable_functions","description":"Programming Computable Functions is a programming language designed to express and compute mathematical functions. It is commonly used in academic settings for teaching and studying computation theory.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Programming_Computable_Functions","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:39","github_repo_count":2796,"paradigms":"10","typings":null,"oses":null},{"id":462,"name":"Pure","slug":"pure","description":"Pure is a functional programming language that supports static typing and algebraic data types. It is primarily used for academic purposes and research in the area of functional programming and type systems.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/purelang.bitbucket.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Pure_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:40","github_repo_count":null,"paradigms":"6,10","typings":"2,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":654,"name":"Python","slug":"python","description":"Python is a high-level programming language that emphasizes code readability and simplicity. It is widely used for web development, data analysis, artificial intelligence, scientific computing, and automation tasks.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.python.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Python_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-24 11:32:28","github_repo_count":8073104,"paradigms":"3,8,10,25,82","typings":"2,3,110","oses":"7"},{"id":468,"name":"Q","slug":"q","description":"Q is a high-performance, interpreted programming language designed for processing large-scale, time-series data in real-time. It is commonly used for quantitative analysis, algorithmic trading, and financial modeling.","execution_mechanism":"Q programming language: interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Q_(programming_language_from_Kx_Systems)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:40","github_repo_count":952,"paradigms":"5,10","typings":"2,9","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":469,"name":"Qalb","slug":"qalb","description":"Qalb is a statically-typed programming language that combines functional and object-oriented programming paradigms. It is primarily used for developing web applications and backend systems.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/qlb-repl.herokuapp.com\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Qalb_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:40","github_repo_count":null,"paradigms":"10","typings":null,"oses":null},{"id":473,"name":"R","slug":"r","description":"R is a programming language and environment for statistical computing and graphics. It is widely used for data analysis, statistical modeling, and producing interactive visualizations.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.r-project.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/R_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:41","github_repo_count":797761,"paradigms":"3,5,7,8,10,67","typings":"2","oses":"2,3,12,13,19"},{"id":475,"name":"Racket","slug":"racket","description":"Racket is a general-purpose programming language that offers a rich set of tools for creating and manipulating programs. It is commonly used for teaching programming concepts, implementing domain-specific languages (DSLs), and developing software applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/racket-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Racket_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:41","github_repo_count":19748,"paradigms":"3,7,10,25,67,70,79","typings":"2,9","oses":null},{"id":476,"name":"Raku","slug":"raku","description":"Raku is a dynamic, multi-paradigm programming language designed for simplicity and productivity. It is used for a wide range of applications, including web development, data analysis, and system administration.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/raku.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Raku_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:41","github_repo_count":3046,"paradigms":"3,8,10","typings":"2,3","oses":"7"},{"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":482,"name":"REBOL","slug":"rebol","description":"REBOL is a lightweight, minimalist programming language designed for easy communication between distributed systems. It is mainly used for creating networked applications and scripting tasks across different platforms and devices.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.rebol.com\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Rebol","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:42","github_repo_count":31679,"paradigms":"8,10,17,105","typings":"2,9","oses":null},{"id":483,"name":"Red","slug":"red","description":"Red is a programming language that is strongly influenced by Rebol. It is designed to be simple, practical, and powerful, and can be used for a wide range of tasks including web development, system programming, and GUI applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.red-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Red_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:42","github_repo_count":523,"paradigms":"8,10,25","typings":null,"oses":null},{"id":484,"name":"Refal","slug":"refal","description":"Refal is a programming language known for its pattern-matching capabilities, which allows for concise and efficient code. It is commonly used in areas like theorem proving, formal verification, and artificial intelligence research.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.refal.net","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Refal","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:42","github_repo_count":null,"paradigms":"10","typings":"2,9","oses":null},{"id":487,"name":"Ring","slug":"ring","description":"The 'Ring' programming language is an interpreted, high-level language designed for creating and embedding applications. It is often used for web application development, multimedia projects, and rapid prototyping.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/ring-lang.net","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Ring_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:43","github_repo_count":204,"paradigms":"3,6,7,8,10","typings":"2,110","oses":"3,10,11,12,49"},{"id":655,"name":"Ruby","slug":"ruby","description":"Ruby is a dynamic, object-oriented programming language known for its simplicity and readability. It is commonly used for web development, creating server-side logic, automation, and scripting.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.ruby-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Ruby_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-24 11:32:53","github_repo_count":2790721,"paradigms":"3,8,10,67","typings":"2,9,110","oses":"3,12,13,19"},{"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":500,"name":"SASL","slug":"sasl","description":"SASL is a functional programming language that provides a simple syntax for expressing computations. It is mainly used for teaching purposes and as a tool for research in the field of programming language design and implementation.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SASL_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:45","github_repo_count":null,"paradigms":"10","typings":null,"oses":null},{"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":505,"name":"Scheme","slug":"scheme","description":"Scheme is a general-purpose, functional programming language that emphasizes simplicity and minimalism. It is often used for teaching computer science concepts, as well as for research and scripting tasks.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.scheme-reports.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Scheme_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:46","github_repo_count":18011,"paradigms":"7,8,10,70","typings":"2,9,213","oses":null},{"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":531,"name":"Source","slug":"source","description":"Source is a statically-typed, compiled programming language designed for game development. It is primarily used to create interactive and immersive video games.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Source_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:50","github_repo_count":null,"paradigms":"7,8,10,25","typings":"2,110","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":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":553,"name":"T","slug":"t","description":"The 'T' programming language is a modern, statically-typed language designed for high-performance applications. It is commonly used in areas such as financial modeling, data analysis, and scientific computing.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/mumble.net\/~jar\/tproject","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/T_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:54","github_repo_count":null,"paradigms":"3,8,10,25,70","typings":"2,9","oses":null},{"id":660,"name":"Tcl","slug":"tcl","description":"Tcl is a dynamic programming language known for its simplicity and flexibility. It is commonly used for writing scripts, creating GUI applications, and embedding into larger systems as a scripting interface.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/tcl.tk","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Tcl","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-24 14:52:11","github_repo_count":17657,"paradigms":"3,4,7,8,10,25","typings":"2","oses":null},{"id":556,"name":"Tea","slug":"tea","description":"Tea is a high-level, dynamically-typed programming language that is designed for scripting and rapid prototyping. It is primarily used for web development, data analysis, and automation tasks.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.pdmfc.com\/tea","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Tea_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:54","github_repo_count":19,"paradigms":"3,10,25","typings":null,"oses":null},{"id":567,"name":"TXL","slug":"txl","description":"TXL is a string manipulation and transformation language widely used for program analysis, refactoring, and source code transformation tasks. Its main uses include software migration, syntax-directed editing, and program understanding.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.txl.ca\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/TXL_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:55","github_repo_count":94,"paradigms":"10","typings":null,"oses":null},{"id":569,"name":"TypeScript","slug":"typescript","description":"TypeScript is a statically typed superset of JavaScript that compiles to plain JavaScript. It is mainly used for building large-scale web applications and enables developers to catch errors at compile time and achieve better tooling support.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.typescriptlang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/TypeScript","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:55","github_repo_count":4246456,"paradigms":"3,4,8,10,76","typings":"3,18,110","oses":null},{"id":576,"name":"Unlambda","slug":"unlambda","description":"Unlambda is a minimalistic esoteric programming language that is known for its simplicity and lack of traditional programming constructs. It is primarily used for educational purposes and to explore the principles of functional programming.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.madore.org\/~david\/programs\/unlambda\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Unlambda","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:56","github_repo_count":null,"paradigms":"1,10","typings":null,"oses":null},{"id":579,"name":"V","slug":"v","description":"V is a statically typed, compiled programming language that aims to provide high performance and simplicity. It can be used for a wide range of applications including systems programming, web development, and data science.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/vlang.io\/","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:56","github_repo_count":2056,"paradigms":"8,10","typings":null,"oses":"3,4,10,12,19"},{"id":583,"name":"Vimscript","slug":"vimscript","description":"Vimscript is a scripting language designed for the Vim text editor, primarily used for customizing and extending Vim's functionality through scripts and plugins. It allows users to automate tasks, create custom shortcuts, and modify the behavior of Vim according to their specific needs.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.vim.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Vim_script","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:57","github_repo_count":null,"paradigms":"3,8,10","typings":null,"oses":null},{"id":585,"name":"Visual Basic","slug":"visual_basic","description":"Visual Basic is a programming language that allows developers to create Windows applications with a graphical user interface. It is commonly used for developing business applications, database management systems, and productivity tools.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/docs.microsoft.com\/en-us\/dotnet\/visual-basic\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Visual_Basic_(.NET)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:57","github_repo_count":1193752,"paradigms":"3,4,7,8,9,10,25,67,76,84,114","typings":"2,57","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":594,"name":"Whiley","slug":"whiley","description":"Whiley is a programming language that aims to improve software reliability and verification through the use of static typing and formal verification techniques. It is commonly used for developing reliable and secure software, particularly in safety-critical systems and areas such as embedded systems and cryptography.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/whiley.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Whiley_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:58","github_repo_count":2,"paradigms":"8,10","typings":"9,18,56","oses":null},{"id":597,"name":"Wolfram Language","slug":"wolfram_language","description":"The Wolfram Language is a general-purpose programming language that allows for high-level computational tasks, symbolic programming, and data manipulation. Its main uses include scientific research, data analysis, machine learning, and creating interactive visualizations.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.wolfram.com\/language\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Wolfram_Language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:58","github_repo_count":415,"paradigms":"3,5,6,8,10,25","typings":"2,9","oses":"3,4,12"},{"id":606,"name":"XOTcl","slug":"xotcl","description":"XOTcl is an object-oriented extension to the Tcl scripting language, providing enhanced features for object-oriented programming. It is mainly used for developing applications that require complex object models and dynamic behaviors.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/media.wu-wien.ac.at\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/XOTcl","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:00","github_repo_count":null,"paradigms":"3,4,8,10,25","typings":"2","oses":null},{"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}]