[{"id":14,"name":"Ada","slug":"ada","description":"Ada is a high-level, statically typed programming language designed for safety and reliability in software development. It is commonly used in mission-critical systems such as aerospace, defense, transportation, and healthcare.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.adaic.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Ada_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:35","github_repo_count":5616,"paradigms":"3,8,9,25","typings":"8,9,56,57","oses":null},{"id":16,"name":"Agda","slug":"agda","description":"Agda is a dependently typed programming language that supports formal verification. It is primarily used for writing correct and trustworthy software, as well as for mathematical proofs and research in type theory.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/wiki.portal.chalmers.se\/agda\/pmwiki.php","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Agda_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:36","github_repo_count":2472,"paradigms":"28","typings":"7,8,9,57,61,62","oses":"2,3"},{"id":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":80,"name":"Carbon","slug":"carbon","description":"Carbon is a statically-typed programming language with a focus on concurrency and scalability. It is often used for developing high-performance systems, such as web servers and networking software.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/github.com\/carbon-language\/carbon-lang\/blob\/trunk\/README.md","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Carbon_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:44","github_repo_count":null,"paradigms":null,"typings":"7,8,57","oses":null},{"id":120,"name":"Crystal","slug":"crystal","description":"Crystal is a statically typed, compiled programming language with a syntax similar to Ruby. It is designed for high-performance, concurrency-focused applications and is often used for web development, system programming, and building command-line tools.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/crystal-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Crystal_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:51","github_repo_count":8299,"paradigms":"3,25,36","typings":"7,8,57,110","oses":"4,12,24"},{"id":124,"name":"CWEB","slug":"cweb","description":"CWEB is a programming language that combines TeX typesetting with programming. It is mainly used for documenting and developing source code in a literate programming style.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/CWEB","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:52","github_repo_count":459,"paradigms":"80","typings":"57,61","oses":null},{"id":148,"name":"eC","slug":"ec","description":"'eC' is a general-purpose programming language that combines the features of C and C++. It is mainly used for developing embedded systems and applications that require low-level programming and hardware control.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/ec-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/EC_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:55","github_repo_count":152,"paradigms":"3,7,8,25,76","typings":"8,57,123","oses":null},{"id":222,"name":"GrGen","slug":"grgen","description":"GrGen is a graph rewriting programming language that is specifically designed for rule-based graph transformation tasks. It is commonly used in research and development projects involving graph analysis, modeling, and optimization.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/grgen.net\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/GrGen","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:06","github_repo_count":null,"paradigms":"25","typings":"2,57","oses":null},{"id":227,"name":"Handel-C","slug":"handel-c","description":"Handel-C is a high-level programming language that combines the ease of C programming with the power of parallel computing. It is primarily used for developing hardware-accelerated applications and algorithms for FPGA (Field-Programmable Gate Array) devices.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.mentor.com\/products\/fpga\/handel-c\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Handel-C","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:07","github_repo_count":null,"paradigms":"8","typings":"7,57,61","oses":null},{"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":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":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":290,"name":"Lasso","slug":"lasso","description":"Lasso is a server-side programming language used for web application development. It is known for its flexibility, simplicity, and ability to connect with various backend databases and frameworks.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.lassosoft.com\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Lasso_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:15","github_repo_count":574,"paradigms":"3,7,9,36","typings":"2,57,110","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":392,"name":"OpenCL","slug":"opencl","description":"OpenCL is a programming language for heterogeneous computing that enables developers to write code that can be executed across various devices, such as CPUs and GPUs. It is mainly used for parallel computing tasks, accelerating performance in areas like scientific simulations, image processing, and machine learning.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.khronos.org\/opencl","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/OpenCL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:30","github_repo_count":0,"paradigms":"3,8,9,76","typings":"1,8,57,61","oses":"3,4,10,12,24"},{"id":438,"name":"PLEXIL","slug":"plexil","description":"PLEXIL is a high-level programming language designed for mission planning and control of autonomous systems. It is primarily used in aerospace applications for developing complex, concurrent, and mission-critical software systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/plexil.sourceforge.net\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/PLEXIL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:37","github_repo_count":null,"paradigms":"25","typings":"8,57","oses":null},{"id":443,"name":"Polyphonic C#","slug":"polyphonic_csharp","description":"Polyphonic C# is an extension of the C# programming language that supports multiple interacting control flows. It is primarily used for developing concurrent and parallel applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/research.microsoft.com\/~nick\/polyphony\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Polyphonic_C_Sharp","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:37","github_repo_count":12162167,"paradigms":"25","typings":"2,57","oses":null},{"id":494,"name":"Rust","slug":"rust","description":"Rust is a systems programming language that focuses on safety, speed, and concurrency. It is used for developing highly performant, reliable software, particularly in areas such as embedded systems, game engines, and network services.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.rust-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Rust_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:44","github_repo_count":535042,"paradigms":"3,8,10,36,73,76","typings":"7,8,9,57,95,220","oses":"3,4,7,10,11,12,24,50"},{"id":511,"name":"Seed7","slug":"seed7","description":"Seed7 is a general-purpose programming language that aims to provide a higher level of abstraction compared to other languages like C or Java. It can be used for a wide range of applications including system programming, scripting, and developing complex software projects.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/seed7.sourceforge.net\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Seed7","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:47","github_repo_count":null,"paradigms":"3,8,9,25,67,76","typings":"8,9,57,61","oses":"7"},{"id":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":533,"name":"SPARK","slug":"spark","description":"SPARK is a programming language that combines the benefits of high-level and low-level languages, ensuring both safety and efficiency. It is primarily used for developing high-integrity systems and critical software applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.adacore.com\/sparkpro\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SPARK_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:51","github_repo_count":null,"paradigms":"7","typings":"8,9,56,57","oses":null},{"id":535,"name":"Spec#","slug":"specsharp","description":"Spec# is an experimental programming language that extends C# with support for contracts. It is primarily used for developing reliable and correct software by enabling programmers to express and enforce formal specifications on their code.","execution_mechanism":"Spec# is 'compiled'.","logo_svg":null,"repo_url":null,"website_url":"http:\/\/research.microsoft.com\/specsharp\/","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:51","github_repo_count":null,"paradigms":"25","typings":"2,57","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}]