[{"id":26,"name":"ALGOL 68","slug":"algol_68","description":"ALGOL 68 is a programming language known for its strong typing and flexible syntax. It is primarily used for scientific and numerical computing.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ALGOL_68","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:37","github_repo_count":59333,"paradigms":"8,36","typings":"8,9,18,56","oses":null},{"id":52,"name":"Ballerina","slug":"ballerina","description":"Ballerina is a cloud-native programming language designed for building microservices and distributed systems. It focuses on ease of use, scalability, and resilience, allowing developers to create and connect services efficiently.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/ballerinalang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Ballerina_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:41","github_repo_count":2994,"paradigms":"36","typings":"7,8,9,18","oses":"3,4,12"},{"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":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":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":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":272,"name":"JOVIAL","slug":"jovial","description":"JOVIAL is a high-level programming language designed for real-time systems and developed primarily for the U.S. Air Force. It is used for the development of avionics and other embedded systems in the defense and aerospace industries.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/JOVIAL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:12","github_repo_count":null,"paradigms":"7,8,9","typings":"8,9,18,56","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":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":492,"name":"RTL\/2","slug":"rtl_2","description":"RTL\/2 is a high-level programming language used for the development of real-time systems. It is mainly used for designing and implementing time-critical applications such as control systems, embedded systems, and robotics.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/RTL\/2","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:43","github_repo_count":null,"paradigms":"7,8,9","typings":"8,9,18,56","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":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":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":598,"name":"Wyvern","slug":"wyvern","description":"Wyvern is a statically-typed, object-oriented programming language that focuses on security and modularity. It is mainly used for creating secure and reusable programs and applications.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.cs.cmu.edu\/~aldrich\/wyvern\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Wyvern_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:59","github_repo_count":null,"paradigms":null,"typings":"18","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}]