[{"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":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":75,"name":"C*","slug":"cstar","description":"C* is an extension of the C programming language, designed for high-performance and scalable programming on modern hardware and distributed systems. Its main uses include systems programming, database applications, and distributed computing.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/C*","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:44","github_repo_count":null,"paradigms":"3,8,25,75","typings":"1,8,61","oses":null},{"id":92,"name":"Cilk","slug":"cilk","description":"Cilk is a general-purpose programming language that supports multithreaded parallel computing. It is commonly used for developing high-performance applications that require efficient task-level parallelism.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.cilkplus.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Cilk","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:46","github_repo_count":null,"paradigms":"2,7,8,9","typings":"1,8,61","oses":null},{"id":117,"name":"Cool","slug":"cool","description":"Cool is a small, statically-typed programming language that supports object-oriented programming. It was designed for educational purposes and is often used to teach compiler construction and programming language concepts.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:50","github_repo_count":128,"paradigms":"3","typings":"8,9,61","oses":null},{"id":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":140,"name":"Draco","slug":"draco","description":"Draco is a statically-typed programming language designed for high-performance computing, with a focus on productivity, performance, and expressiveness. It is commonly used for scientific simulations, data analysis, and numerical computations.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Draco_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:54","github_repo_count":null,"paradigms":"7,8,9","typings":"8,9,61","oses":null},{"id":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":169,"name":"F","slug":"f","description":"F is a statically-typed functional programming language designed for writing efficient and concise code. It is commonly used for scientific computing, numerical analysis, and parallel programming.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/F_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:59","github_repo_count":null,"paradigms":"5,7,79","typings":"8,61","oses":null},{"id":187,"name":"Fortran","slug":"fortran","description":"Fortran is a general-purpose, high-level programming language used for scientific and engineering computations. It is particularly popular in areas such as numerical analysis, weather forecasting, and computational physics.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/fortran-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Fortran","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:02","github_repo_count":33341,"paradigms":"3,5,7,8,9,76","typings":"8,9,61","oses":null},{"id":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":249,"name":"Intel Parallel Building Blocks","slug":"intel_parallel_building_blocks","description":"Intel Parallel Building Blocks is a programming language that helps developers write parallel programs for multi-core processors, emphasizing modularity and ease of use. It is mainly used for developing high-performance applications that can effectively utilize the parallel processing capabilities of modern hardware.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/software.intel.com\/en-us\/articles\/intel-parallel-building-blocks","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Intel_Parallel_Building_Blocks","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:10","github_repo_count":31,"paradigms":"8","typings":"1,61","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":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":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":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":536,"name":"Speedcoding","slug":"speedcoding","description":"Speedcoding is a high-level programming language designed for rapid development and execution of computer programs. It is commonly used for scientific simulations, mathematical calculations, and optimization problems.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Speedcoding","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:51","github_repo_count":null,"paradigms":"3,7,9,76","typings":"8,9,61","oses":null},{"id":538,"name":"Split-C","slug":"split-c","description":"Split-C is a parallel programming language that combines the syntax of the C programming language with constructs for expressing parallelism. It is primarily used for developing parallel applications and algorithms that can leverage the processing power of multiple cores or distributed systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.eecs.berkeley.edu\/Research\/Projects\/CS\/parallel\/castle\/split-c\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Split-C","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:52","github_repo_count":null,"paradigms":"8","typings":"1,61","oses":null},{"id":565,"name":"Turing","slug":"turing","description":"The Turing programming language is a general-purpose language that combines features of imperative, object-oriented, and functional programming. It is primarily used for teaching introductory programming courses and for academic research in computer science.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Turing_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:55","github_repo_count":551,"paradigms":"3,7","typings":"8,61","oses":"3"},{"id":575,"name":"Unified Parallel C","slug":"unified_parallel_c","description":"Unified Parallel C is a high-level programming language that provides extensions to C for programming parallel machines and clusters. It is commonly used for developing parallel programs and optimizing performance in scientific computing and other intensive computing applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/upc.gwu.edu","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Unified_Parallel_C","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:56","github_repo_count":19965,"paradigms":"2","typings":"1,61","oses":null}]