froglet

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

Build status: failed missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Language familiesRacket
      Last updatedFriday, March 6th, 2026 6:35:38pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Build platformsany platform
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/tnelson/forge.git?path=froglet2f80c9e64fcd13277b25887b2138dfefb4e5c18e
      Last checkedSaturday, June 20th, 2026 7:27:21pm (UTC)
      Last editedMonday, February 6th, 2023 6:19:56pm (UTC)
      Date addedThursday, January 19th, 2023 5:57:58pm (UTC)
      Modules
      • froglet/typecheck/error.rkt
      • froglet/util.rkt
      • froglet/typecheck/struct.rkt
      • froglet/main.rkt
      • froglet/lang/reader.rkt
      • froglet/typecheck/main.rkt