[{"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":170,"name":"F*","slug":"fstar","description":"The F* programming language is a dependently typed functional programming language that is designed to verify the correctness of programs. Its main uses include programming language research, program synthesis, and formal verification of software and security protocols.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.fstar-lang.org\/","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":314,"paradigms":"8,10","typings":"7,8,9,62,113","oses":"7"}]