https://github.com/suzannesoy/typed-worklist

A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.
https://github.com/suzannesoy/typed-worklist

racket-library

Last synced: 4 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/suzannesoy/typed-worklist
• Owner: SuzanneSoy
• License: cc0-1.0
• Created: 2017-04-13T16:40:44.000Z (about 9 years ago)
• Default Branch: main
• Last Pushed: 2021-04-04T15:00:34.000Z (about 5 years ago)
• Last Synced: 2025-03-19T00:02:53.852Z (over 1 year ago)
• Topics: racket-library
• Language: Racket
• Homepage:
• Size: 20.5 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-more.md

Awesome Lists containing this project

README

          
[![Build Status,](https://img.shields.io/travis/jsmaniac/typed-worklist/main.svg)](https://travis-ci.org/jsmaniac/typed-worklist)

[![Coverage Status,](https://img.shields.io/codecov/c/github/jsmaniac/typed-worklist/main.svg)](https://codecov.io/gh/jsmaniac/typed-worklist)

[![Build Stats,](https://img.shields.io/badge/build-stats-blue.svg)](http://jsmaniac.github.io/travis-stats/#jsmaniac/typed-worklist)

[![Online Documentation.](https://img.shields.io/badge/docs-online-blue.svg)](http://docs.racket-lang.org/typed-worklist/)

[![Maintained as of 2018,](https://img.shields.io/maintenance/yes/2018.svg)](https://github.com/jsmaniac/typed-worklist/issues)

[![License: CC0 v1.0.](https://img.shields.io/badge/license-CC0-blue.svg)](https://creativecommons.org/publicdomain/zero/1.0/)

Typed Worklist

==============

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