[{"id":97,"name":"Clean","slug":"clean","description":"Clean is a general-purpose, lazy and pure functional programming language. It is primarily used for research and education in functional programming, and also for building efficient and reliable software systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/clean.cs.ru.nl","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Clean_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:47","github_repo_count":225,"paradigms":"10,28","typings":"2,9,214","oses":null},{"id":244,"name":"Idris","slug":"idris","description":"Idris is a general-purpose, purely functional programming language with dependent types. It is primarily used for research in formal methods, theorem proving, and programming language design.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.idris-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Idris_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:09","github_repo_count":2049,"paradigms":"10,28,93","typings":"8,62,95,214","oses":null},{"id":331,"name":"Mercury","slug":"mercury","description":"Mercury is a logic\/functional programming language with a strong, static type system. It is designed for the development of high-performance and reliable software, especially in domains such as real-time systems, safety-critical systems, and program analysis.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.mercurylang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Mercury_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:20","github_repo_count":746,"paradigms":"3,10,11,25,28","typings":"8,9,214,217","oses":null},{"id":498,"name":"SAC programming language","slug":"sac_programming_language","description":"The SAC programming language is a domain-specific language designed for high-performance numerics and parallel computing. It is commonly used in scientific and technical computing applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.sac-home.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SAC_programming_language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:45","github_repo_count":141155,"paradigms":"5","typings":"9,214","oses":null}]