[{"id":626,"name":".QL","slug":"dotql","description":"QL is a declarative query language designed for retrieving data from databases. It is commonly used for data analytics and reporting purposes.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/.QL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:03","github_repo_count":null,"paradigms":"3,6,11","typings":"8,9","oses":null},{"id":5,"name":"Abbreviated Language For Authorization","slug":"abbreviated_language_for_authorization","description":"Abbreviated Language For Authorization (ALFA) is a domain-specific programming language designed for expressing authorization policies in a concise and human-readable form. It is mainly used for defining and managing access control rules in various systems, such as enterprise applications, web services, and IoT devices.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Abbreviated_Language_for_Authorization","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:34","github_repo_count":64,"paradigms":"6","typings":null,"oses":null},{"id":8,"name":"ABSYS","slug":"absys","description":"ABSYS is a high-level programming language used for system programming, specifically designed for the Ada programming language. It is primarily used in industries that require real-time, embedded, and safety-critical systems development.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Absys","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:34","github_repo_count":null,"paradigms":"6,11","typings":null,"oses":null},{"id":15,"name":"Advanced Business Application Language","slug":"advanced_business_application_language","description":"The Advanced Business Application Language (ABAL) is a programming language designed for creating and maintaining applications in enterprise environments. It is mainly used for developing business applications such as customer relationship management (CRM), enterprise resource planning (ERP), and supply chain management (SCM) systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:36","github_repo_count":266,"paradigms":"6,7","typings":null,"oses":null},{"id":38,"name":"ASCEND","slug":"ascend","description":"ASCEND is an open-source modeling environment for solving mathematical models that are typically encountered in engineering and scientific applications. It is often used for process simulation, optimization, and equation solving.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.ascend4.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ASCEND","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","typings":null,"oses":null},{"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":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":624,"name":"Datalog","slug":"datalog","description":"Datalog is a declarative query language derived from Prolog, used for expressing and evaluating complex logical queries over relational databases. It is commonly employed in database management systems for tasks like data querying, rule-based reasoning, and data integration.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Datalog","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:03","github_repo_count":null,"paradigms":"6,11","typings":"1","oses":null},{"id":149,"name":"ECL","slug":"ecl","description":"ECL (Enterprise Control Language) is a declarative programming language used for data manipulation and analysis on the Hadoop platform. Its main applications include big data processing, data integration, and creating distributed data-intensive applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/hpccsystems.com\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ECL_(data-centric_programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:56","github_repo_count":286,"paradigms":"6","typings":null,"oses":null},{"id":631,"name":"EdgeQL","slug":"edgeql","description":"EdgeQL is a data manipulation and query language designed for working with graph databases. It is primarily used for accessing and manipulating data stored in graph databases, with a focus on relationships and interconnectedness of the data.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:05","github_repo_count":null,"paradigms":"6","typings":null,"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":167,"name":"Extensible Application Markup Language","slug":"extensible_application_markup_language","description":"Extensible Application Markup Language (XAML) is a declarative programming language used to define user interfaces and application logic. It is primarily used in Microsoft technologies such as Windows Presentation Foundation (WPF) and Universal Windows Platform (UWP) for developing graphical user interfaces and rich client applications.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Extensible_Application_Markup_Language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:59","github_repo_count":151,"paradigms":"6","typings":null,"oses":null},{"id":627,"name":"FXML","slug":"fxml","description":"FXML is an XML-based language used for designing user interfaces in JavaFX applications. It allows developers to separate the UI layout from the application logic, making it easier to maintain and modify the UI independently.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/FXML","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:04","github_repo_count":null,"paradigms":"6","typings":null,"oses":null},{"id":206,"name":"GeneXus","slug":"genexus","description":"GeneXus is a cross-platform rapid application development (RAD) tool that allows developers to generate code in multiple programming languages, such as Java, C#, and Ruby. It is commonly used for creating and maintaining business applications and automating the process of software development.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.genexus.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/GeneXus","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:05","github_repo_count":null,"paradigms":"6","typings":null,"oses":null},{"id":216,"name":"G\u00f6del","slug":"godel","description":"The G\u00f6del programming language is a declarative programming language that utilizes logic programming and constraint solving. Its main uses include solving combinatorial problems, implementing artificial intelligence algorithms, and modeling complex systems.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/G%C3%B6del_(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":"6,11","typings":"9","oses":null},{"id":220,"name":"Graph Query Language","slug":"graph_query_language","description":"The Graph Query Language (GQL) is a programming language designed for querying and manipulating data stored in graph databases. It enables users to efficiently retrieve and modify complex relational data patterns, making it particularly useful for applications involving social networks, recommendation systems, and knowledge graphs.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.gqlstandards.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Graph_Query_Language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:06","github_repo_count":5583,"paradigms":"6","typings":null,"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":238,"name":"HPCC","slug":"hpcc","description":"HPCC is an open-source, data-intensive computing system that offers a declarative programming language called ECL. Its main uses include large-scale data processing, analytics, and machine learning tasks.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/HPCC","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:08","github_repo_count":null,"paradigms":"6","typings":null,"oses":null},{"id":247,"name":"Inform","slug":"inform","description":"Inform is a programming language used for creating interactive fiction, primarily text-based adventure games. It is designed to be beginner-friendly yet powerful enough for experienced developers.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/inform7.com\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Inform","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:09","github_repo_count":null,"paradigms":"3,6,7","typings":"7","oses":"3"},{"id":264,"name":"JavaFX Script","slug":"javafx_script","description":"JavaFX Script is a statically-typed programming language developed by Oracle for creating rich client applications. It is used for building user interfaces and interactive applications that can run smoothly across various platforms.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/JavaFX_Script","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:11","github_repo_count":1441227,"paradigms":"6","typings":null,"oses":null},{"id":266,"name":"Jess","slug":"jess","description":"Jess is a rule-based programming language that is used for building intelligent systems and expert systems. It combines the power of rule-based programming and the flexibility of Java to manipulate and reason about complex knowledge.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.jessrules.com\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Jess_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:12","github_repo_count":null,"paradigms":"6,11","typings":null,"oses":null},{"id":267,"name":"JModelica.org","slug":"jmodelica_org","description":"JModelica.org is an open-source Modelica-based programming language and platform for modeling, simulation, and optimization of complex dynamic systems. Its main uses include model-based control system design, optimization of energy systems, and virtual prototyping.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.jmodelica.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/JModelica.org","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:12","github_repo_count":null,"paradigms":"6","typings":null,"oses":"4"},{"id":277,"name":"JSONiq","slug":"jsoniq","description":"JSONiq is a query and processing language for JSON (JavaScript Object Notation) data. Its main uses include extracting, transforming, and querying JSON data efficiently and expressing complex data manipulation tasks in a concise and readable manner.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.jsoniq.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/JSONiq","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:14","github_repo_count":152,"paradigms":"6","typings":"2,9","oses":null},{"id":700,"name":"KM","slug":"km","description":"KM is a high-level programming language designed for knowledge management applications. It is primarily used for creating and manipulating knowledge bases and knowledge representation systems.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:35:52","github_repo_count":null,"paradigms":"6,97","typings":null,"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":287,"name":"KRL","slug":"krl","description":"KRL (Knowledge Representation Language) is a rule-based programming language used for expressing and manipulating knowledge. Its main uses include creating expert systems, knowledge-based applications, and designing intelligent agents.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/KRL_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:15","github_repo_count":426,"paradigms":"6,11","typings":null,"oses":null},{"id":302,"name":"Lithe","slug":"lithe","description":"Lithe is a dynamically typed programming language designed for simplicity and code expressiveness. It is commonly used for web and mobile application development.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Lithe_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:16","github_repo_count":null,"paradigms":"6","typings":null,"oses":null},{"id":310,"name":"LOOM","slug":"loom","description":"LOOM is a programming language used for building rule-based expert systems. It is designed to provide a concise and intuitive syntax for knowledge representation and reasoning.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/LOOM_(ontology)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:17","github_repo_count":null,"paradigms":"6,97","typings":null,"oses":null},{"id":314,"name":"Lucid","slug":"lucid","description":"Lucid is a high-level declarative programming language that is used primarily for implementing and analyzing mathematical algorithms and functions. It is specifically designed for tasks involving symbolic computations, such as computer algebra systems and theorem proving.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Lucid_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:18","github_repo_count":null,"paradigms":"6,36,91,98","typings":null,"oses":null},{"id":315,"name":"Lustre","slug":"lustre","description":"Lustre is a programming language used for the specification and design of reactive systems. It is designed primarily for modeling and implementing real-time, safety-critical systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Lustre_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:18","github_repo_count":null,"paradigms":"6,91,99","typings":null,"oses":null},{"id":632,"name":"Mapbox Style Specification","slug":"mapbox_style_specification","description":"The Mapbox Style Specification is a JSON-based programming language used for describing the visual appearance and behavior of interactive maps. It is primarily used for creating custom map styles and themes in applications and services that utilize Mapbox's mapping platform.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:05","github_repo_count":248,"paradigms":"6","typings":null,"oses":null},{"id":333,"name":"Metafont","slug":"metafont","description":"Metafont is a programming language developed by Donald Knuth used to generate high-quality fonts with precise control over their shapes and sizes. It is primarily used in the creation of mathematical, scientific, and customized fonts.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Metafont","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:21","github_repo_count":null,"paradigms":"6","typings":null,"oses":null},{"id":334,"name":"MetaPost","slug":"metapost","description":"MetaPost is a programming language that combines the capabilities of the TeX typesetting system with the power of programming. It is mainly used for creating high-quality vector graphics and diagrams for typesetting documents.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/foundry.supelec.fr\/gf\/project\/metapost\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/MetaPost","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:21","github_repo_count":null,"paradigms":"6,8","typings":"2,9,110","oses":null},{"id":341,"name":"Miranda","slug":"miranda","description":"Miranda is a high-level functional programming language known for its simplicity and elegance, often used for teaching and research in functional programming concepts. Its main uses include functional programming education, prototyping, and language research.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/miranda.org.uk","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Miranda_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:22","github_repo_count":null,"paradigms":"6,28","typings":"8,9","oses":null},{"id":344,"name":"Mizar system","slug":"mizar_system","description":"The Mizar system is a formal proof assistant that uses a special programming language for writing mathematical proofs. It is primarily used in the field of formal mathematics to ensure the correctness and rigor of mathematical proofs.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/mizar.uwb.edu.pl\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Mizar_system","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:22","github_repo_count":1822470,"paradigms":"6","typings":"1","oses":null},{"id":347,"name":"Modelica","slug":"modelica","description":"Modelica is a programming language that is used for modeling and simulating complex physical systems. It allows for multi-domain modeling, including mechanical, electrical, thermal, and more.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.modelica.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Modelica","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:23","github_repo_count":1312,"paradigms":"3,6","typings":null,"oses":null},{"id":395,"name":"Openmodelica","slug":"openmodelica","description":"OpenModelica is an open-source modeling and simulation language. It is widely used for designing and simulating complex multi-domain systems, including mechatronics, robotics, and energy systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.openmodelica.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/OpenModelica","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:31","github_repo_count":null,"paradigms":"6","typings":null,"oses":null},{"id":406,"name":"Pan","slug":"pan","description":"Pan is a dynamically-typed programming language with a focus on simplicity and expressiveness. It is commonly used for scripting, web development, and data analysis.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.quattor.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Pan_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:32","github_repo_count":56,"paradigms":"6","typings":"2,9","oses":null},{"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":445,"name":"POP-11","slug":"pop-11","description":"POP-11 is a reflective programming language that was designed for artificial intelligence research and education. It offers an interactive environment with built-in support for symbolic computation, pattern matching, and object-oriented programming.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/POP-11","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:38","github_repo_count":null,"paradigms":"6,7,67","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":628,"name":"PQL","slug":"pql","description":"PQL is a domain-specific programming language designed for querying and analyzing data stored in databases. It is primarily used in data mining, data analysis, and decision support systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/processquerying.com\/pql\/","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:05","github_repo_count":null,"paradigms":"6","typings":null,"oses":null},{"id":458,"name":"Prolog","slug":"prolog","description":"Prolog is a logic programming language that uses formal logic rules to solve problems. It is mainly used for tasks such as artificial intelligence, natural language processing, and expert systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Prolog","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:39","github_repo_count":25981,"paradigms":"6,11,79","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":471,"name":"QML","slug":"qml","description":"QML is a declarative programming language designed for building user interfaces in applications. It is primarily used in the development of graphical user interfaces (GUIs) for native and embedded applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/doc.qt.io\/qt-5\/qmlapplications.html","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/QML","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:41","github_repo_count":17385,"paradigms":"6,98","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":515,"name":"SequenceL","slug":"sequencel","description":"SequenceL is a high-level programming language designed for solving complex problems in a concise and declarative manner. It is primarily used for parallel computing, data analytics, and automation tasks.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/texasmulticore.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SequenceL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:47","github_repo_count":null,"paradigms":"2,5,6,28","typings":"7,8","oses":"3,4,12"},{"id":518,"name":"SIGNAL","slug":"signal","description":"SIGNAL is a high-level programming language known for its strong typing system and efficient compilation process. It is commonly used for building real-time and embedded systems, such as automotive software and telecommunications applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SIGNAL_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:48","github_repo_count":null,"paradigms":"6","typings":null,"oses":null},{"id":630,"name":"SMT-LIB","slug":"smt-lib","description":"The SMT-LIB programming language is a standardized language for specifying logical formulas and constraints. It is primarily used in automated theorem proving and formal verification of software and hardware systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:05","github_repo_count":null,"paradigms":"6","typings":null,"oses":null},{"id":539,"name":"SQL","slug":"sql","description":"SQL is a programming language used to manage and manipulate relational databases. Its main uses include querying, inserting, updating, and deleting data in databases, as well as creating and modifying database structures and controlling user access.","execution_mechanism":"'compiled'","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.iso.org\/standard\/76583.html","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SQL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:52","github_repo_count":1883,"paradigms":"6","typings":"8,9","oses":null},{"id":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":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":600,"name":"XACML","slug":"xacml","description":"XACML (eXtensible Access Control Markup Language) is an XML-based programming language used for implementing fine-grained access control policies. It is primarily used for defining and enforcing access control policies in various applications and systems.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=xacml","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/XACML","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:59","github_repo_count":null,"paradigms":"6,112","typings":null,"oses":null},{"id":625,"name":"XProc","slug":"xproc","description":"XProc is a language for describing and executing sequences of operations on XML documents. Its main uses include XML data processing, building XML pipelines, and automating XML workflows.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/XProc","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:03","github_repo_count":102,"paradigms":"6","typings":null,"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":611,"name":"XSLT","slug":"xslt","description":"XSLT is a declarative programming language used for transforming XML documents. Its main use is to manipulate XML data and generate new structured documents, such as HTML, PDF, or different XML formats.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.w3.org\/TR\/xslt","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/XSLT","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:00","github_repo_count":27298,"paradigms":"6","typings":null,"oses":null}]