Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pkgs.racket-lang.org "typed" keyword

typed-rosette
A typed variant of the Rosette language.
Latest release: about 10 hours ago - 13 stars on GitHub - 1 maintainer
plaitypus
Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai.
Latest release: 7 days ago - 0 stars on GitHub - 1 maintainer
typed-colorize
Typed Racket interface to the colorize package
Latest release: 7 days ago - 0 stars on GitLab.com - 1 maintainer
typed-pmsf
PMS formatting and parsing functions. Typed interface.
Latest release: 7 days ago - 0 stars on GitLab.com - 1 maintainer
tjson
Basic Typed Racket Json Parser and Emitter
Latest release: 27 days ago - 0 stars on GitLab.com - 1 maintainer
list-util
Additional List utilities in Typed Racket.
Latest release: 28 days ago - 0 stars on GitLab.com - 1 maintainer
string-util
Additional string utilities in Typed Racket.
Latest release: 28 days ago - 1 stars on GitLab.com - 1 maintainer
Related Keywords
racket 2 parser 2 utils 1 strings 1 string 1 list 1 searialization 1 json 1 emitter 1 typed-racket 1 parse 1 gentoo 1 color 1 textbook 1 language 1 symbolic-execution 1 rosette 1