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.
27 Commits 2 Branches 0 Tags 57 KiB
Racket 100%
main
Go to file
Suzanne Soy 31fb17fb7c Renamed main branch
2021-04-04 07:23:17 +01:00
scribblings Changed my name :) 2021-03-04 20:38:21 +00: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 Turn off coverage in older versions 2021-03-05 04:14:36 +00:00
info.rkt Fixed syntax 2021-03-04 21:31:57 +00:00
LICENSE-more.md Changed my name :) 2021-03-04 20:38:21 +00: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 Renamed main branch 2021-04-04 07:23:17 +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.