types@ccs.neu.edu
Registry
pkgs.racket-lang.org
pkgs.racket-lang.org
Packages
33
33
colorblind-palette
Lists of colorblind friendly colorsLatest release: 28 days ago - 0 stars on gitlab.com - 1 maintainer
require-typed-check
require/typed, but skips contracts on already-typed importsLatest release: about 2 hours ago - 3 stars on GitHub - 1 maintainer
Top 3.1% on pkgs.racket-lang.org
Latest release: 2 days ago - 35 stars on GitHub - 2 maintainers
froglet
A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.Latest release: 2 days ago - 35 stars on GitHub - 2 maintainers
gtp-measure
Runs programs, collects timing infoLatest release: 12 days ago - 4 stars on GitHub - 1 maintainer
Top 8.8% on pkgs.racket-lang.org
Latest release: 9 days ago - 3 stars on GitHub - 1 maintainer
glob
Deprecated. Use file/glob instead.Latest release: 9 days ago - 3 stars on GitHub - 1 maintainer
gm-pepm-2018
Artifact for "On the Cost of Type-Tag Soundness"Latest release: 18 days ago - 3 stars on GitHub - 1 maintainer
gtp-benchmarks
gradual typing performance benchmarksLatest release: 23 days ago - 5 stars on GitHub - 1 maintainer
gtp-util
37 helper functions you won't find anywhere elseLatest release: 21 days ago - 0 stars on GitHub - 1 maintainer
gtp-checkup
Test correctness of typed/untyped interaction.Latest release: 12 days ago - 2 stars on GitHub - 1 maintainer
Top 7.1% on pkgs.racket-lang.org
Latest release: 5 days ago - 18 stars on GitHub - 1 maintainer
with-cache
Filesystem-based cachingLatest release: 5 days ago - 18 stars on GitHub - 1 maintainer
gtp-plot
Plots for gradual typing performanceLatest release: 28 days ago - 6 stars on GitHub - 1 maintainer
trivial
type-tailored standard library functionsLatest release: 4 days ago - 11 stars on GitHub - 1 maintainer
make-log-interceptor
Collect events for a logger, organized by levelLatest release: 28 days ago - 0 stars on GitHub - 1 maintainer
scribble-include-text
Put the contents of a file directly in a Scribble docLatest release: about 1 month ago - 0 stars on gitlab.com - 1 maintainer
agile
#lang agile ;; == (require (for-syntax racket/base syntax/parse))Latest release: 5 days ago - 3 stars on GitHub - 1 maintainer
choose-out
Conditional provide (choose during expansion of importing module)Latest release: 6 days ago - 1 stars on gitlab.com - 1 maintainer
redex-abbrevs-doc
documentation for "redex-abbrevs"Latest release: 23 days ago - 0 stars on GitHub - 1 maintainer
mf-apply
PLT Redex lang-extension for checked metafunction applicationLatest release: 24 days ago - 0 stars on GitHub - 1 maintainer
gtp-paper
Quick-start for SIGPLAN Scribble papersLatest release: 29 days ago - 0 stars on GitHub - 1 maintainer
redex-abbrevs-lib
Implementation of "redex-abbrevs"Latest release: about 1 month ago - 0 stars on GitHub - 1 maintainer
Top 5.4% on pkgs.racket-lang.org
Latest release: 27 days ago - 26 stars on GitHub - 1 maintainer
zordoz
Explorer for .zo bytecode filesLatest release: 27 days ago - 26 stars on GitHub - 1 maintainer
rackunit-abbrevs
Iterated RackUnit testsLatest release: 9 days ago - 1 stars on GitHub - 1 maintainer
gtp-pict
Picts related to gradual typing / performanceLatest release: 15 days ago - 0 stars on GitLab.com - 1 maintainer
scribble-abbrevs
Scribble-to-LaTeX helper functionsLatest release: 22 days ago - 3 stars on GitHub - 1 maintainer
mutt
Racket API for the Mutt email clientLatest release: 28 days ago - 2 stars on GitHub - 1 maintainer
choose-lang
Pick #lang at read-timeLatest release: 28 days ago - 1 stars on GitLab.com - 1 maintainer
Top 5.5% on pkgs.racket-lang.org
Latest release: 29 days ago - 23 stars on GitHub - 1 maintainer
forth
Forth emulator, as a Racket #langLatest release: 29 days ago - 23 stars on GitHub - 1 maintainer
pict-abbrevs
Pict helper functionsLatest release: about 1 month ago - 0 stars on GitLab.com - 1 maintainer
Top 3.4% on pkgs.racket-lang.org
Latest release: about 1 month ago - 31 stars on GitHub - 1 maintainer
syntax-parse-example
Example macros written using syntax/parseLatest release: about 1 month ago - 31 stars on GitHub - 1 maintainer
Details
| types@ccs.neu.edu |