[{"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":86,"name":"Charity","slug":"charity","description":"Charity is a functional programming language focused on abstracting away low-level details, allowing programmers to write cleaner and more concise code. It is primarily used for academic research and teaching purposes in the field of programming languages and formal verification.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/pll.cpsc.ucalgary.ca\/charity1\/www\/home.html","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:45","github_repo_count":11,"paradigms":"28","typings":null,"oses":"4"},{"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":652,"name":"Coq","slug":"coq","description":"Coq is a proof assistant and formal verification tool. Its main uses include the development and verification of formal mathematical proofs, program correctness, and specification of software systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/coq.inria.fr\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Coq","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:18","github_repo_count":5850,"paradigms":"28","typings":null,"oses":"7"},{"id":653,"name":"FAUST","slug":"faust","description":"FAUST is a functional programming language specifically designed for real-time signal processing and synthesis, offering a concise and expressive syntax. It is commonly used in audio and musical applications for designing digital audio effects, virtual instruments, and other audio processing algorithms.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/faust.grame.fr","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/FAUST_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:18","github_repo_count":268,"paradigms":"28","typings":null,"oses":null},{"id":193,"name":"Frege","slug":"frege","description":"Frege is a purely functional programming language inspired by Haskell. It is primarily used for writing highly expressive and type-safe programs in functional programming paradigms.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/github.com\/Frege\/frege","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:03","github_repo_count":222,"paradigms":"10,28","typings":null,"oses":"7"},{"id":198,"name":"Futhark","slug":"futhark","description":"Futhark is a purely functional, statically-typed, and purely functional programming language designed for high-performance computing on GPUs. It is primarily used for implementing parallel algorithms and performing computationally intensive tasks such as numerical simulations and machine learning.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/futhark-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Futhark_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:04","github_repo_count":118,"paradigms":"5,28","typings":"8,9","oses":null},{"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":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":273,"name":"Joy","slug":"joy","description":"Joy is a purely functional programming language that focuses on concatenative programming and stack manipulation. It is primarily used for teaching and research purposes in the field of programming languages.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Joy_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:13","github_repo_count":null,"paradigms":"28,74,86","typings":"2,9","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":341,"name":"Miranda","slug":"miranda","description":"Miranda is a high-level functional programming language known for its simplicity and elegance, often used for teaching and research in functional programming concepts. Its main uses include functional programming education, prototyping, and language research.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/miranda.org.uk","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Miranda_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:22","github_repo_count":null,"paradigms":"6,28","typings":"8,9","oses":null},{"id":464,"name":"PureScript","slug":"purescript","description":"PureScript is a strongly-typed functional programming language that compiles to JavaScript. It is primarily used for developing web applications, providing a highly expressive and statically-typed alternative to JavaScript.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.purescript.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/PureScript","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:40","github_repo_count":5731,"paradigms":"10,28","typings":"7,8,9,219","oses":null},{"id":515,"name":"SequenceL","slug":"sequencel","description":"SequenceL is a high-level programming language designed for solving complex problems in a concise and declarative manner. It is primarily used for parallel computing, data analytics, and automation tasks.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/texasmulticore.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/SequenceL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:47","github_repo_count":null,"paradigms":"2,5,6,28","typings":"7,8","oses":"3,4,12"}]