Search Package Index

29 packages found

 PackageDescriptionBuild 

agile

#lang agile ;; == (require (for-syntax racket/base syntax/parse))

This package needs documentation

Tags:
3

choose-lang

Pick #lang at read-time

This package needs documentation

3

choose-out

Conditional provide (choose during expansion of importing module)

This package needs documentation

Tags:
3

cs7480-util

Static analysis utilities

This package needs documentation

3

forth

Forth emulator, as a Racket #lang

This package needs documentation

Tags:
3

glob

Deprecated. Use file/glob instead.

This package needs documentation

3

gm-pepm-2018

Artifact for "On the Cost of Type-Tag Soundness"

This package needs documentation

3

gtp-benchmarks

gradual typing performance benchmarks

This package needs documentation

3

gtp-checkup

Test correctness of typed/untyped interaction.

This package needs documentation

3

New

gtp-measure

Runs programs, collects timing info

This package needs documentation

3

gtp-paper

Quick-start for SIGPLAN Scribble papers

This package needs documentation

3

gtp-pict

Picts related to gradual typing / performance

This package needs documentation

3

gtp-plot

Plots for gradual typing performance

This package needs documentation

3

gtp-util

37 helper functions you won't find anywhere else

This package needs documentation

Tags:
3

ipoe

interactive poetry editor

This package needs documentation

3

left-pad

String left pad

This package needs documentation

Tags:
3

make-log-interceptor

Collect events for a logger, organized by level

This package needs documentation

3

mf-apply

PLT Redex lang-extension for checked metafunction application

This package needs documentation

3

mutt

Racket API for the Mutt email client

This package needs documentation

3

pict-abbrevs

Pict helper functions

This package needs documentation

Tags:
3

rackunit-abbrevs

Iterated RackUnit tests

This package needs documentation

3

redex-abbrevs

Macros for PLT Redex

This package needs documentation

3

require-typed-check

require/typed, but skips contracts on already-typed imports

This package needs documentation

3

scribble-abbrevs

Scribble-to-LaTeX helper functions

This package needs documentation

3

syntax-parse-example

Example macros written using syntax/parse

This package needs documentation

3

tomato-timer

Command-line timer

This package needs documentation

Tags:
3

trivial

type-tailored standard library functions

This package needs documentation

3

with-cache

Filesystem-based caching

This package needs documentation

Tags:
3

zordoz

Explorer for .zo bytecode files

This package needs documentation

3