[{"id":45,"name":"ATS","slug":"ats","description":"ATS is a statically-typed programming language that supports both functional and imperative programming paradigms. It is primarily used for systems-level programming, concurrent and parallel programming, and formal verification of software systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.ats-lang.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ATS_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:40","github_repo_count":223,"paradigms":"6,10","typings":"8,62,95","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":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"}]