typed-worklist

A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Language familiesRacket
    Last updatedFriday, June 12th, 2026 3:34:30am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Build platformsany platform
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://typed-worklist-git.suzanne.soy/typed-worklist.git#main31fb17fb7c8aaa96c49dcd1ca9094d0dffa775c8
    Last checkedSaturday, June 13th, 2026 1:32:31am (UTC)
    Last editedFriday, February 13th, 2026 11:38:55am (UTC)
    Date addedTuesday, March 25th, 2025 2:15:02am (UTC)
    Modules
    • typed-worklist/test/test-experiment.rkt
    • typed-worklist/scribblings/typed-worklist.scrbl
    • typed-worklist/main.rkt