Search Package Index

21 packages found

 PackageDescriptionBuild 

agile

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

Docs:
Tags:
succeeds0

cs7480-util

Static analysis utilities

succeeds0

forth

Forth emulator, as a Racket #lang

Docs:
Tags:
succeeds0

glob

Deprecated. Use file/glob instead.

Docs:
succeeds0

gm-pepm-2018

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

succeeds; has failing tests4

gtp-checkup

Test correctness of typed/untyped interaction.

succeeds; has failing tests4

gtp-paper

Quick-start for SIGPLAN Scribble papers

Docs:
succeeds0

gtp-plot

Plots for gradual typing performance

Docs:
succeeds0

ipoe

interactive poetry editor

Docs:
succeeds; has failing tests4

left-pad

String left pad

Docs:
Tags:
succeeds0

mf-apply

PLT Redex lang-extension for checked metafunction application

Docs:
succeeds0

mutt

Racket API for the Mutt email client

Docs:
succeeds0

rackunit-abbrevs

Iterated RackUnit tests

succeeds0

redex-abbrevs

Macros for PLT Redex

succeeds0

require-typed-check

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

succeeds0

scribble-abbrevs

Scribble-to-LaTeX helper functions

succeeds0

syntax-parse-example

Example macros written using syntax/parse

succeeds0

tomato-timer

Command-line timer

Tags:
succeeds0

trivial

type-tailored standard library functions

Docs:
succeeds0

with-cache

Filesystem-based caching

Tags:
succeeds0

zordoz

Explorer for .zo bytecode files

Docs:
succeeds0