An open API service providing repository metadata for many open source software ecosystems.

GitHub / joom / modal

Compilation of modal logic based functional language ML5 to JavaScript.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joom%2Fmodal
PURL: pkg:github/joom/modal

Stars: 9
Forks: 1
Open issues: 0

License: None
Language: Agda
Size: 106 KB
Dependencies parsed at: Pending

Created at: about 9 years ago
Updated at: about 2 years ago
Pushed at: over 8 years ago
Last synced at: 20 days ago

Topics: agda, compiler, javascript, logic, modal-logic

    Loading...