[{"id":28,"name":"Alice","slug":"alice","description":"Alice is an educational programming language that emphasizes visual storytelling and interactive 3D animations. It is primarily used to teach the fundamentals of programming and computational thinking to beginners.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.ps.uni-saarland.de\/alice\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Alice_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:38","github_repo_count":null,"paradigms":"8,10,36,54","typings":"7,8,9","oses":null},{"id":30,"name":"Alma-0","slug":"alma-0","description":"Alma-0 is a programming language designed for the specification and implementation of concurrent systems. It is mainly used for modeling and verification of concurrent algorithms and protocols.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.cwi.nl\/en\/alma\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Alma-0","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:38","github_repo_count":null,"paradigms":"7,8,11,54","typings":"8,9","oses":null},{"id":643,"name":"Curry","slug":"curry","description":"Curry is a functional logic programming language that combines features from functional programming and logic programming. Its main uses include declarative programming, constraint solving, and natural language processing.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.curry-language.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Curry_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:13","github_repo_count":20,"paradigms":"10,11,54","typings":"7,8,9","oses":null},{"id":629,"name":"MiniZinc","slug":"minizinc","description":"MiniZinc is a high-level modeling language used for mathematical programming and constraint satisfaction problems. It allows users to formulate problems declaratively and then solve them using various solving engines.","execution_mechanism":"The execution mechanism for the 'MiniZinc' programming language is: interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.minizinc.org\/","wikipedia_url":null,"appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:05","github_repo_count":null,"paradigms":"54","typings":null,"oses":null},{"id":403,"name":"Oz","slug":"oz","description":"Oz is a multiparadigm programming language that supports declarative, functional, and object-oriented programming. It is mainly used for concurrent and distributed programming, as well as for teaching and research in the field of programming languages.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.mozart-oz.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Oz_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:32","github_repo_count":403,"paradigms":"3,8,10,17,25,36,54","typings":"2","oses":null}]