Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 3.1% on pkgs.racket-lang.org
Top 6.3% forks on pkgs.racket-lang.org

pkgs.racket-lang.org : froglet

A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.

Registry - Source - Documentation - JSON
purl: pkg:racket/froglet
Keywords: alloy, education, logic, modeling, relational, teaching
License:
Latest release: about 22 hours ago
Stars: 35 on GitHub
Forks: 7 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 22 hours ago

Readme