[{"id":314,"name":"Lucid","slug":"lucid","description":"Lucid is a high-level declarative programming language that is used primarily for implementing and analyzing mathematical algorithms and functions. It is specifically designed for tasks involving symbolic computations, such as computer algebra systems and theorem proving.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Lucid_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:18","github_repo_count":null,"paradigms":"6,36,91,98","typings":null,"oses":null},{"id":471,"name":"QML","slug":"qml","description":"QML is a declarative programming language designed for building user interfaces in applications. It is primarily used in the development of graphical user interfaces (GUIs) for native and embedded applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/doc.qt.io\/qt-5\/qmlapplications.html","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/QML","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:41","github_repo_count":17385,"paradigms":"6,98","typings":"2,9","oses":null},{"id":581,"name":"VHDL","slug":"vhdl","description":"VHDL, or IEEE 1076, is a hardware description language used for modeling and designing digital systems at various levels of abstraction. Its main applications include the design, simulation, and synthesis of digital circuits, as well as the verification of electronic systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.vhdl.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/VHDL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:56","github_repo_count":40780,"paradigms":"36,91,98","typings":"9","oses":null}]