www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

README.md (921B)


      1 [![Build Status,](https://img.shields.io/travis/jsmaniac/typed-worklist/main.svg)](https://travis-ci.org/jsmaniac/typed-worklist)
      2 [![Coverage Status,](https://img.shields.io/codecov/c/github/jsmaniac/typed-worklist/main.svg)](https://codecov.io/gh/jsmaniac/typed-worklist)
      3 [![Build Stats,](https://img.shields.io/badge/build-stats-blue.svg)](http://jsmaniac.github.io/travis-stats/#jsmaniac/typed-worklist)
      4 [![Online Documentation.](https://img.shields.io/badge/docs-online-blue.svg)](http://docs.racket-lang.org/typed-worklist/)
      5 [![Maintained as of 2018,](https://img.shields.io/maintenance/yes/2018.svg)](https://github.com/jsmaniac/typed-worklist/issues)
      6 [![License: CC0 v1.0.](https://img.shields.io/badge/license-CC0-blue.svg)](https://creativecommons.org/publicdomain/zero/1.0/)
      7 
      8 Typed Worklist
      9 ==============
     10 
     11 A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.