Search Package Index

16 packages found

 PackageDescriptionBuild 

adjutor

A helper library

Docs:
succeeds0

anaphoric

Anaphoric versions of `if`, `when` and `cond`. They bind the value of the condition expression to `it`.

Docs:
Tags:
succeeds0

axe

Handy utilities(macros/functions) for racket

Docs:
Tags:
succeeds0

bazaar

A personal collection of useful definitions. Quite unstable.

This package needs documentation

succeeds; has failing tests4

cs7480-util

Static analysis utilities

succeeds0

digimon

The (typed) core to construct the digital world

Docs:
succeeds0

extensible-functions

A solution to the expression problem in Typed Racket

succeeds0

New

lathe

A personal collection of utilities.

This package needs documentation

fails5

New

lathe-lib

A personal collection of utilities. (lib)

This package needs documentation

fails5

markparam

a convenience library for continuation marks like parameters

This package needs documentation

succeeds3

mf-apply

PLT Redex lang-extension for checked metafunction application

Docs:
succeeds0

mutt

Racket API for the Mutt email client

Docs:
succeeds0

roman-numeral

Utilities for parsing and writing Roman numerals

succeeds0

tomato-timer

Command-line timer

Tags:
succeeds0

typed-worklist

A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.

succeeds0

zippers

Utilities for working with and deriving Huet-style zippers

Docs:
Tags:
succeeds0