[{"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":16,"name":"Agda","slug":"agda","description":"Agda is a dependently typed programming language that supports formal verification. It is primarily used for writing correct and trustworthy software, as well as for mathematical proofs and research in type theory.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/wiki.portal.chalmers.se\/agda\/pmwiki.php","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Agda_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:36","github_repo_count":2472,"paradigms":"28","typings":"7,8,9,57,61,62","oses":"2,3"},{"id":737,"name":"Bash","slug":"bash","description":"Bash is a powerful Unix shell scripting language that provides a command-line interface for users to interact with the operating system. It is primarily used for automating tasks, writing scripts, and creating customized command-line interfaces.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/savannah.gnu.org\/projects\/bash\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Bash_(Unix_shell)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:37:06","github_repo_count":2028340,"paradigms":null,"typings":null,"oses":"2,3,7,12,13,19,29"},{"id":72,"name":"C","slug":"c","description":"The C programming language is a general-purpose programming language known for its simplicity and efficiency. It is commonly used for system programming, embedded systems, and developing software applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/C_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:43","github_repo_count":2660456,"paradigms":"7,8,9","typings":"1,61","oses":"2,3"},{"id":113,"name":"Concurrent C","slug":"concurrent_c","description":"Concurrent C is a programming language that provides explicit mechanisms for concurrency in C, allowing for the simultaneous execution of multiple tasks. It is primarily used for developing highly parallel and concurrent systems, such as real-time systems, embedded systems, and parallel computing applications.","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:02:50","github_repo_count":11501759,"paradigms":"8,36","typings":"1,215","oses":"2"},{"id":678,"name":"Cython","slug":"cython","description":"Cython is a programming language that is a superset of the Python programming language, providing C-like performance for Python code. It is mainly used for writing Python extensions with high performance and easy integration with existing C or C++ codebases.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/cython.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Cython","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:35:30","github_repo_count":1211,"paradigms":null,"typings":null,"oses":"2,3,4,12"},{"id":141,"name":"Dragon","slug":"dragon","description":"Dragon is a statically-typed, general-purpose programming language designed for simplicity, efficiency, and expressiveness. It is mainly used for systems programming, high-performance computing, and building scalable applications.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/dragon-lang.org","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:54","github_repo_count":null,"paradigms":"3,7,8,82","typings":"2","oses":"2,3"},{"id":680,"name":"Elvish","slug":"elvish","description":"Elvish is a powerful and expressive programming language designed for scripting, configuration, and interactive use. It aims to increase productivity and efficiency by providing a concise syntax, easy-to-use shell integration, and seamless interoperability with existing tools and libraries.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/elv.sh\/","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:35:34","github_repo_count":41,"paradigms":null,"typings":null,"oses":"2,3,7"},{"id":685,"name":"GAP","slug":"gap","description":"GAP is a programming language for computational discrete algebra, with a focus on computational group theory and computational representation theory. It is often used as a research tool in mathematics and computer science, particularly in the areas of group theory, algebraic combinatorics, and computational algebraic geometry.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.gap-system.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/GAP_(computer_algebra_system)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:35:40","github_repo_count":4465,"paradigms":null,"typings":null,"oses":"2,3,4,12,16"},{"id":688,"name":"GNU Awk","slug":"gnu_awk","description":"GNU Awk is a programming language and utility designed for text processing and data manipulation. It is primarily used for pattern scanning and processing of large data sets.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.gnu.org\/software\/gawk\/","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:35:41","github_repo_count":3909,"paradigms":null,"typings":null,"oses":"2,3,7,12,13,19,25"},{"id":689,"name":"GNU Bash","slug":"gnu_bash","description":"GNU Bash is a powerful programming language and shell interpreter used for scripting and automation in the Linux and Unix operating systems. It offers a wide range of features for managing and manipulating files, processes, and system configurations.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/savannah.gnu.org\/projects\/bash\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Bash_(Unix_shell)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:35:41","github_repo_count":149702,"paradigms":null,"typings":null,"oses":"2,3,7,12,13,19,29"},{"id":690,"name":"GNU Common Lisp","slug":"gnu_common_lisp","description":"GNU Common Lisp is a high-level programming language that provides a robust development environment and a powerful set of tools for creating and executing Lisp programs. It is primarily used for developing large-scale, complex applications and for implementing artificial intelligence systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.gnu.org\/software\/gcl\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/GNU_Common_Lisp","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:35:42","github_repo_count":7455,"paradigms":null,"typings":null,"oses":"2,3,12,13,19"},{"id":691,"name":"GNU Guile","slug":"gnu_guile","description":"GNU Guile is a portable, embeddable programming language that supports Scheme as its official dialect. It is commonly used for extending and scripting applications, as well as for implementing domain-specific languages.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.gnu.org\/software\/guile\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/GNU_Guile","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:35:42","github_repo_count":1292,"paradigms":null,"typings":null,"oses":"2,3,12,13,19"},{"id":212,"name":"GNU Octave","slug":"gnu_octave","description":"GNU Octave is a high-level programming language used for numerical computations and solving mathematical problems. It is often used for tasks such as data analysis, simulation, and mathematical modeling.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.gnu.org\/software\/octave\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/GNU_Octave","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:05","github_repo_count":8370,"paradigms":"5","typings":null,"oses":"2,3"},{"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":697,"name":"Jim Tcl","slug":"jim_tcl","description":"Jim Tcl is a lightweight embeddable Tcl interpreter, designed for applications where simplicity, small footprint, and ease of integration are important. It is commonly used to extend existing applications with scripting capabilities or as a standalone scripting language.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/jim.tcl.tk\/","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:35:50","github_repo_count":7056,"paradigms":null,"typings":null,"oses":"2,13,19"},{"id":702,"name":"KTurtle","slug":"kturtle","description":"KTurtle is a programming language designed for learning and teaching programming concepts using a turtle graphics metaphor. Its main use is to introduce beginners, especially children, to the basics of programming and computational thinking.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/edu.kde.org\/kturtle\/","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:35:53","github_repo_count":null,"paradigms":null,"typings":null,"oses":"2,3,4"},{"id":343,"name":"MIT\/GNU Scheme","slug":"mit_gnu_scheme","description":"MIT\/GNU Scheme is an implementation of the Scheme programming language, providing an interactive environment for programming and experimentation, as well as a platform for language research and development. It is primarily used for educational purposes, teaching fundamental concepts of computer programming and programming language design.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.gnu.org\/software\/mit-scheme\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/MIT\/GNU_Scheme","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:22","github_repo_count":38009,"paradigms":null,"typings":"2,9,213","oses":"2,3,12,13,19"},{"id":706,"name":"Mondrian","slug":"mondrian","description":"Mondrian is a statically-typed, compiled programming language designed for creating high-performance, concurrent software applications. It features a clean syntax and offers strong support for parallel programming and resource management. Its main uses include developing scalable web applications, distributed systems, and parallel algorithms.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/theusrus.de\/Mondrian\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Mondrian_(software)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:36:00","github_repo_count":null,"paradigms":null,"typings":null,"oses":"2,3,12"},{"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":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":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":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":519,"name":"Simula","slug":"simula","description":"Simula is a programming language designed for simulation and modeling. It is widely used in computer science research and education to develop simulations of complex systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Simula","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:48","github_repo_count":null,"paradigms":"3,7,8,9","typings":"8,57","oses":"2,3,20,23,58"},{"id":724,"name":"SurgeScript","slug":"surgescript","description":"SurgeScript is a simple and lightweight programming language designed for creating interactive and dynamic narratives in video games, interactive fiction, and other interactive media. Its main uses include creating branching storylines, dialogue systems, AI behavior, and event-driven gameplay mechanics.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/docs.opensurge2d.org\/","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:36:30","github_repo_count":null,"paradigms":null,"typings":null,"oses":"2,3,12,13,19"},{"id":731,"name":"Uniface","slug":"uniface","description":"Uniface is a high-level programming language used for developing enterprise-level applications. It is designed to simplify and streamline development processes by enabling rapid application development and integration.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/uniface.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Uniface_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-25 11:36:34","github_repo_count":null,"paradigms":"110","typings":null,"oses":"2,3,4"}]