Search Package Index

32 packages found

 PackageDescriptionBuild 

agile

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

Docs:
Tags:

This package needs license metadata

succeeds2

choose-lang

Pick #lang at read-time

This package needs license metadata

succeeds2

choose-out

Conditional provide (choose during expansion of importing module)

Tags:

This package needs license metadata

succeeds2

forth

Forth emulator, as a Racket #lang

Docs:
Tags:

This package needs license metadata

succeeds2

froglet

A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.

This package needs documentation

This package needs license metadata

succeeds; has failing tests5

glob

Deprecated. Use file/glob instead.

Docs:

This package needs license metadata

succeeds2

gm-pepm-2018

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

This package needs license metadata

succeeds2

gtp-benchmarks

gradual typing performance benchmarks

This package needs license metadata

succeeds2

gtp-checkup

Test correctness of typed/untyped interaction.

This package needs license metadata

succeeds; has failing tests5

gtp-measure

Runs programs, collects timing info

This package needs license metadata

succeeds; has failing tests5

gtp-paper

Quick-start for SIGPLAN Scribble papers

Docs:

This package needs license metadata

succeeds2

gtp-pict

Picts related to gradual typing / performance

Docs:

This package needs license metadata

succeeds2

gtp-plot

Plots for gradual typing performance

Docs:

This package needs license metadata

succeeds2

gtp-util

37 helper functions you won't find anywhere else

Docs:
Tags:

This package needs license metadata

succeeds; has failing tests5

ipoe

interactive poetry editor

Docs:

This package needs license metadata

succeeds2

left-pad

String left pad

Docs:
Tags:

This package needs license metadata

succeeds2

make-log-interceptor

Collect events for a logger, organized by level

This package needs license metadata

succeeds2

mf-apply

PLT Redex lang-extension for checked metafunction application

Docs:

This package needs license metadata

succeeds2

mutt

Racket API for the Mutt email client

Docs:

This package needs license metadata

succeeds2

pict-abbrevs

Pict helper functions

Tags:

This package needs license metadata

succeeds2

rackunit-abbrevs

Iterated RackUnit tests

This package needs license metadata

succeeds2

redex-abbrevs

Tools for PLT Redex

This package needs license metadata

succeeds2

redex-abbrevs-doc

documentation for "redex-abbrevs"

This package needs tags

This package needs license metadata

succeeds2

redex-abbrevs-lib

Implementation of "redex-abbrevs"

This package needs documentation

This package needs tags

This package needs license metadata

succeeds4

require-typed-check

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

This package needs license metadata

succeeds2

scribble-abbrevs

Scribble-to-LaTeX helper functions

This package needs license metadata

succeeds2

scribble-include-text

Put the contents of a file directly in a Scribble doc

Tags:
License:
succeeds0

syntax-parse-example

Example macros written using syntax/parse

License:
succeeds0

tomato-timer

Command-line timer

Tags:

This package needs license metadata

succeeds2

trivial

type-tailored standard library functions

Docs:

This package needs license metadata

succeeds2

with-cache

Filesystem-based caching

Tags:

This package needs license metadata

succeeds2

zordoz

Explorer for .zo bytecode files

Docs:

This package needs license metadata

succeeds2