suzanne.soy/typed-worklist
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.
22 Commits 2 Branches 0 Tags 57 KiB
Racket 100%
e1166931ad
Go to file
Georges Dupéron e1166931ad The tests show an incompatibility with Racket 6.6, drop support for that version
2018-06-03 19:38:44 +02:00
scribblings Typos 2017-12-05 19:32:05 +01:00
test Moved implementation to main.rkt (part 2: update) + documentation 2017-04-20 18:31:35 +02:00
.gitignore Initial commit 2017-04-13 18:37:37 +02:00
.travis.yml The tests show an incompatibility with Racket 6.6, drop support for that version 2018-06-03 19:38:44 +02:00
info.rkt The tests show an incompatibility with Racket 6.6, drop support for that version 2018-06-03 19:38:44 +02:00
LICENSE-more.md Initial commit 2017-04-13 18:37:37 +02:00
LICENSE.txt Initial commit 2017-04-13 18:37:37 +02:00
main.rkt Docs explaing the use case, and the (function-based) implementation 2017-12-05 00:25:59 +01:00
README.md Updated maintenance badge for 2018 2018-01-27 13:26:12 +01:00

README.md

Build Status, Coverage Status, Build Stats, Online Documentation. Maintained as of 2018, License: CC0 v1.0.

Typed Worklist

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