Racket Packages

These are the packages in the official package catalog.

raco pkg install package-name installs a package.

You can add your own packages to the index.

1743 packages (see all, including packages tagged as "deprecated", "main-distribution", or "main-test")

 PackageDescriptionBuild 

1d6

A partial implementation of the Troll dice-rolling language in Racket.

This package needs documentation

succeeds3

2048

The game of 2048 in Racket

Docs:
succeeds0

2htdp-typed

A partial version of 2htdp for Typed Racket

succeeds0

3d-model

3d-model vertex/tri representaion library

Docs:
Tags:
succeeds; has dependency problems0

3s

positional sound and mixing for lux and other programs

Docs:
fails5

_

This package needs a description

Docs:

This package needs tags

succeeds2

_-exp

A metalanguage similar to #lang at-exp, but with a configurable command character

Docs:
succeeds0

abnf

Attributed BNFs for Scribble

This package needs documentation

succeeds3

acl2s-scribblings

a scribble document for beginner mode of ACL2s

Docs:

This package needs tags

succeeds1

acmart

#lang for the acmart paper format

This package needs documentation

This package needs tags

fails5

acmsmall

Port of the acmsmall style to Scribble

Docs:
Tags:
succeeds; has failing tests4

Adapton

Adapton: Composable, Demand-Driven Incremental Computation

Docs:
succeeds0

adjutor

A helper library

Docs:
succeeds0

admiral-edu-server

The Racket code associated with the Captain Teach server

This package needs documentation

succeeds; has failing tests4

advent-of-code

Package for fetching Advent of Code input.

succeeds0

adventure

A teaching language for making simple adventure games -- i.e. with NPCs and quests.

This package needs documentation

This package needs tags

fails5

adventure-harrypotter

A teaching language for making adventure games -- i.e. with NPCs and quests. Provides identifiers for wizard and magic assets inspired by Harry Potter.

This package needs documentation

This package needs tags

fails5

adventure-mario

A teaching language for making adventure games -- i.e. with NPCs and quests. Provides identifiers for platformer-game-inspired assets (e.g. Mario).

This package needs documentation

This package needs tags

fails5

affix

Managing Racket application state

Docs:
succeeds; has failing tests4

afl

a lang-extension that provides rackjure-like anonymous function literals

Docs:
succeeds0

aful

A fork of #lang afl which also supports #lang aflu/unhygienic.

Docs:
succeeds0

Agatha

Uma linguagem para Logica de primeira ordem

Docs:
Tags:
succeeds0

agile

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

Docs:
Tags:
succeeds0

al2-test-runner

Alternative way of running rackunit tests

Tags:
succeeds0

alexis-multicast

One-to-many buffered asynchronous channels

This package needs tags

succeeds1

alexis-util

Various utilities and helper functions I've found useful

succeeds0

alexknauth-music

Some stuff for representing music and music theory

This package needs documentation

This package needs tags

succeeds; has failing tests4

algebraic

Algebraic Racket

Docs:
succeeds0

algebraic-app

Inline operator syntax for Algebraic Racket

fails5

algorithms

A package containing many useful algorithms (borrowed from many other programming languages).

succeeds0

amap

Gaode Amap web service API

Docs:
Tags:
succeeds; has failing tests4

anaphoric

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

Docs:
Tags:
succeeds0

anarki

Community-managed variant of the Arc dialect of Lisp

Docs:
succeeds0

andlet

Coupling and logic to let and let* forms.

Tags:
succeeds0

animal-assets

Various openly licensed images

This package needs documentation

This package needs tags

fails5

animated-canvas

Package converted from PLaneT. No code changes. Still in testing.

Tags:
fails5

ansi

ANSI and VT10x escape sequences for Racket.

This package needs documentation

Tags:
succeeds3

ansi-color

A library to make it easy to write colorized and styled output in terminals that support ANSI escape codes (most command lines).

succeeds0

ANU-Web-Quantum-RNG

To fetch true random numbers from the quantum random number generator of the Australian National University (QRNG@ANU).

Docs:
succeeds0

aoc-racket

Solutions & explanations — in Racket, of course — for the Advent of Code puzzles

Tags:
fails5

aosd

FFI bindings to the Atheme Project's libaosd

This package needs documentation

succeeds; has failing tests4

apply

應用序語言

This package needs documentation

succeeds; has dependency problems3

appveyor-racket

Help for using AppVeyor with Racket projects

Tags:
succeeds0

apse

a pixel-based sprite editor (good with mode-lambda)

This package needs documentation

succeeds3

argo

Validate JSON data using JSON Schema.

Docs:
succeeds0

arguments

A simple data structure for a group of function arguments. Used by the mock package.

Docs:
succeeds0

arroy

A little library for modeling labeled transition systems with a collaborative Web stepper.

This package needs documentation

succeeds3

asi64

The Racket based 6502 assembler

Docs:
Tags:
succeeds0

asm

A multi-platform assembler for Racket (supports x64 and generic instruction sets)

Docs:
succeeds; has failing tests4

asn1

ASN.1 library

Docs:
succeeds0

asn1-doc

ASN.1 library

Docs:
succeeds0

asn1-lib

ASN.1 library

This package needs documentation

succeeds3

asn1-test

ASN.1 library

This package needs documentation

succeeds3

asyncunit

RackUnit helper functions for asynchronous channels

Docs:
succeeds0

atomichron

A microbenchmarking library

succeeds0

aurie

Spritely Aurie (https://gitlab.com/spritely/aurie) provides a system to safely serialize and deserialize a running Goblins (https://gitlab.com/spritely/goblins) process.

This package needs documentation

succeeds3

auto-syntax-e

For syntax pattern variables: instead of raising an error, x is roughly equivalent to (syntax->datum #'x).

Tags:
succeeds0

autoffi

Automatically generating FFI bindings for Racket

This package needs documentation

fails5

automata

a library for defining efficient automata using match patterns

Docs:
succeeds0

automata-doc

a library for defining efficient automata using match patterns

Docs:
succeeds0

automata-lib

a library for defining efficient automata using match patterns

This package needs documentation

succeeds3

automata-test

a library for defining efficient automata using match patterns

This package needs documentation

succeeds3

auxiliary-macro-context

Match-expander-style syntactic extensibility outside expressions.

This package needs documentation

This package needs tags

succeeds3

avl

AVL Trees for Racket

Docs:

This package needs tags

succeeds1

awesome-list

Extra list processing functions & macros borrowed from various sources.

Tags:
succeeds0

aws

Amazon Web Services including S3, SDB, SES, SNS, SQS, CloudWatch, Glacier, Dynamo, and Route 53.

Docs:
Tags:
succeeds0

aws-cloudformation-deploy

core AWS Cloudformation deployment scripting library

This package needs documentation

fails5

aws-cloudformation-template

statically typed DSL for writing AWS CloudFormation templates

Docs:

This package needs tags

fails5

aws-cloudformation-template-doc

documentation (no implementation) for “aws-cloudformation-template”

Docs:

This package needs tags

fails5

aws-cloudformation-template-lib

implementation (no documentation) for “aws-cloudformation-template”

This package needs documentation

This package needs tags

fails5

axe

Handy utilities(macros/functions) for racket

Docs:
Tags:
succeeds0

azelf

超能力工具箱

Docs:
succeeds0

backport-template-pr1514

Backports syntax-local-template-metafunction-introduce as a package, so that it can be used in older versions. Require backport-template-pr1514/experimental/template instead of syntax/parse/experimental/template to use it.

succeeds0

basalt

A constraint-based programming language for designing figures and diagrams

This package needs documentation

fails5

base32

Provides encoding to and from Crockford's Base32 encoding.

Tags:
succeeds0

base58

Provides Base58Check encoding and decoding functions.

Docs:
succeeds0

base64

This package needs a description

Docs:

This package needs tags

succeeds2

base64-lib

This package needs a description

This package needs documentation

This package needs tags

succeeds3

basedir

XDG Basedir Spec library

Docs:
succeeds0

basm

This package needs a description

Docs:

This package needs tags

succeeds2

battle-arena

A teaching language for creating battle arena style RPG games. Built on #lang game-engine.

This package needs documentation

fails5

battle-arena-avengers

Teaching language for creating battle royal games with Creative Commons licensed super hero assets, e.g. avengers.

This package needs documentation

This package needs tags

fails5

battlearena

Clone of package battle-arena. Teaching language for making battle royal type games.

This package needs documentation

This package needs tags

fails5

battlearena-avengers

Teaching language for creating battle royal games with Creative Commons licensed super hero assets, e.g. avengers.

This package needs documentation

This package needs tags

fails5

battlearena-fortnite

Teaching language. Specialized look-and-feel for battle-arena games.

This package needs documentation

This package needs tags

fails5

battlearena-starwars

Teaching language. Specialized look-and-feel for battle-arena games.

This package needs documentation

This package needs tags

fails5

bazaar

A personal collection of useful definitions. Quite unstable.

This package needs documentation

succeeds3

bcrypt

A Racket interface to the bcrypt key derivation function.

This package needs documentation

Tags:
succeeds3

beautiful-racket

Resources for the “Beautiful Racket” book

Docs:
succeeds0

beautiful-racket-demo

Sample projects for “Beautiful Racket”

This package needs documentation

succeeds3

beautiful-racket-lib

support library for `beautiful-racket`

This package needs documentation

succeeds3

beautiful-racket-macro

Subpackage with just the br/macro and br/syntax modules

This package needs documentation

succeeds3

beeswax

A Pollen-friendly template language

Docs:
succeeds0

behavior

This package introduces a set of modeling techniques for exploring behavior in software systems. Models such as state machines and Petri nets can be used to model the behavior of a system, and Markov chains are used to generate events to help in the simulation of systems.

Docs:
succeeds0

benchmark

Benchmarking library

Docs:
succeeds; has failing tests4

benchmark-ips

This is my port of @evanphx's benchmark-ips for ruby to racket. Provides a very simple and clean way to do performance comparisons.

This package needs documentation

succeeds; has dependency problems3

bencode

BitTorrent Bencode Decoding

Docs:
succeeds0

bencode-codec

Library for reading and writing Bencoded data.

Tags:
succeeds0

berkeley

Support library for CS 61AS at UC Berkeley (http://cs61as.org).

This package needs documentation

This package needs tags

fails5

biginterval

A racket interface to MPFI, the interval library based on MPFR. http://perso.ens-lyon.fr/nathalie.revol/software.html. You should use the package `rival` instead of this.

This package needs documentation

This package needs tags

succeeds; has dependency problems; has failing tests4

binary-class

Classes for writing and reading binary data

succeeds0

binary-class-dbf

Interface to *.dbf files (dBase, Foxpro, ...)

This package needs documentation

succeeds3

binary-class-exif

Class for reading and writing Exif in JPEG or TIFF

This package needs documentation

succeeds3

binary-class-mp3

MP3 ID3v2.1 and ID3v2.2 tags parser

succeeds0

binary-class-riff

Classes for reading and writing RIFF files

succeeds0

binaryio

functions for reading and writing binary data

Docs:
Tags:
succeeds0

binaryio-lib

functions for reading and writing binary data

This package needs documentation

Tags:
succeeds3

binutils

Utilities for manipulating machine code object files

Docs:
succeeds0

bip32

Racket implementation of Bitcoin Improvement Proposal 32.

Docs:
succeeds0

bitsyntax

Erlang-like binary pattern-matching and bit string manipulation for Racket.

Docs:
Tags:
succeeds0

bleir-sandbox

This package needs a description

This package needs tags

succeeds2

bloggy

A very simple Racket blog system

This package needs documentation

succeeds3

bluetooth-socket

Racket impl of FFI RAW, AF_BLUETOOTH BTPROTO_HCI socket for Linux. Allows for communicating to a Bluetooth Controller (hciX) via HCI packets per the Bluetooth Specification.

succeeds0

bnf

Concise Typed Racket syntax for declaring recursive data in BNF

This package needs documentation

succeeds3

boincrpc

Thin (but maybe soon to be thicker) abstraction layer for using BOINC’s RPC on Racket

Docs:
Tags:
succeeds0

bookcover

A language/library for creating PDF files suitable for use as printed book covers.

Docs:
succeeds0

box-extra

Extra utilities for working with boxes in Racket.

Docs:
Tags:
succeeds0

box-extra-lib

Extra utilities for working with boxes. (implementation)

This package needs documentation

Tags:
succeeds3

bozeman

XSLT (Extensible Stylesheet Language Transformations) for Racket

This package needs documentation

Tags:
fails5

bozeman-doc

Documentation for Bozeman

This package needs documentation

Tags:
fails5

bozeman-lib

Implementation for Bozeman

This package needs documentation

Tags:
fails5

bozeman-test

Tests for Bozeman

This package needs documentation

Tags:
fails5

br-parser-tools

fork of `parser-tools` with some modernizations & improvements. Backward compatible with `parser-tools`.

succeeds0

br-parser-tools-doc

fork of `parser-tools-doc` for Beautiful Racket

succeeds0

br-parser-tools-lib

fork of `parser-tools-lib` for Beautiful Racket

This package needs documentation

succeeds3

brag

Modernized & improved version of `ragg` language that generates a parser from a BNF grammar

Docs:
succeeds0

brag-lib

This package needs a description

This package needs documentation

Tags:
succeeds3

brazilian-law

definitions for Brazilian laws; also parses them if in suitable plaintext format.

This package needs tags

succeeds1

brick-snip

Part of the racket-bricks toolset (https://youtu.be/yJt0kKE9YxQ) This is the cut-and-pasteable snip that encapsulates bricks that are embedded in a DrRacket program.

This package needs documentation

This package needs tags

fails5

brick-tool

Part of the racket-bricks toolset (https://youtu.be/yJt0kKE9YxQ) This adds a button to the toolbar in DrRacket. The button adds a new brick-snip at your cursor's position.

This package needs documentation

This package needs tags

fails5

brush

A semi-literate programming package for Scribble

Docs:
succeeds0

bs

A Bitcoin Script Implementation for testing Script riddles.

Docs:
succeeds; has dependency problems0

BSA-drracket-teachpacks

The DrRacket teach packs for the Bootstrap plus the files used for Fall 2020.

This package needs documentation

Tags:
fails5

bsd-sysv-checksum

Allows for calculation of BSD and System V checksums of files. Uses code from GNU Coreutils and gnulib.

fails5

buid

Universally unique, lexicographically-sortable flake ids for Racket.

Docs:
succeeds0

bv

Bitvectors for Racket a-la Rosette

Docs:
succeeds0

New

bystroTeX

A tool for preparing HTML slides with LaTeX formulas, based on Scribble

Docs:
succeeds; has conflicts; has dependency problems; has failing tests4

bzip2

bzip2 compression and decompression

Docs:
succeeds0

c

A language level for writing C code in DrRacket.

Docs:
Tags:
succeeds0

c-defs

Simple C value access

Docs:
Tags:
succeeds; has failing tests4

c-utils

Utilities for manipulating C source code.

Docs:
Tags:
succeeds0

cairo

Racket bindings for Cairo (a 2d graphics library implemented in C). The bindings match the C API closely.

This package needs documentation

succeeds; has failing tests4

cairo-lib

Racket bindings for Cairo (a 2d graphics library). The bindings match the C API closely.

This package needs documentation

succeeds3

cairo-test

Racket bindings for Cairo (a 2d graphics library). The bindings match the C API closely. This package contains tests.

This package needs documentation

Tags:
succeeds; has failing tests4

calendar

This package needs a description

Docs:

This package needs tags

succeeds2

canonicalize-path

This package needs a description

succeeds2

canvas-list

Fast-rendering, single-selection, canvas control allowing custom drawing for a list of items.

succeeds0

carl-lib

Backend for Causal Relational Learning implementation

Docs:
fails5

cartoon-assets

A package of creative-commons images with a cartoon theme

This package needs documentation

This package needs tags

fails5

casemate

Case converter in the style of camel-snake-kebab

Docs:
succeeds0

cbor

Implementation of Concise Binary Object Representation (RFC 8949) for Racket.

Docs:
succeeds; has conflicts0

cc4101-handin

Handin client for the CC4101 - Programming Languages course at University of Chile

This package needs documentation

This package needs tags

succeeds; has failing tests4

ccnum

Credit Card Number Utilities

Docs:
Tags:
succeeds0

chain-module-begin

Helper to define meta-languages which can chain-call other languages. Status: Experimental (no backwards compatibility).

succeeds0

character-creator

For making sprite sheets from the Liberated Pixel Cup assets, plus some bonus assets from Sithjester.

This package needs documentation

Tags:
fails5

charterm

Character-cell Terminal Interface

Docs:
Tags:
succeeds0

check-sexp-equal

A simple extension for rackunit that provides s-expression diffs on failure.

Tags:
succeeds; has dependency problems; has failing tests4

chess

A library for modeling games of chess

Docs:
succeeds0

chez-runner

run chez scheme programs in drracket

This package needs documentation

succeeds3

chido-parse

Parsing with delimited continuations.

Tags:
succeeds; has failing tests4

chief

Chief runs Procfile-based applications. Like foreman, but written in Racket.

This package needs documentation

succeeds3

Chinese-4-Stratego

Chinese Stratego

This package needs documentation

Tags:
fails5

chive

an extended scheme library to easily cook practical applications

This package needs documentation

fails5

chk

a minimal tester

Docs:
Tags:
succeeds0

chk-doc

a minimal tester

Docs:
Tags:
succeeds0

chk-lib

a minimal tester

This package needs documentation

Tags:
succeeds3

chk-test

a minimal tester

This package needs documentation

Tags:
succeeds3

choose-lang

Pick #lang at read-time

succeeds0

choose-out

Conditional provide (choose during expansion of importing module)

Tags:
succeeds0

circuit-playground

Language for coding the Circuit Playground Express in Racket. Compiles Racket code to Python, which runs on a custom version of the Circuit Python firmware. We use this for educational purposes at ThoughtSTEM. It may or may not work on your operating system. I've tested it only on Mac and Linux.

Tags:
fails5

cKanren

Constraint programming language

This package needs documentation

This package needs tags

succeeds; has failing tests4

cksum

Allows for calculation of CRC checksums of files in the style of the cksum utility from GNU Coreutils. Uses code from GNU Coreutils and gnulib.

Docs:
succeeds0

clang

Toolbox for C family in Typed Racket

Docs:
succeeds0

classicthesis-scribble

Scribble wrapper for the classicthesis LaTeX style.

This package needs documentation

Tags:
succeeds3

cldr-bcp47

API for BCP47 extensions to CLDR

Tags:
succeeds0

cldr-core

API for cldr-core data set

Docs:
Tags:
succeeds0

cldr-dates-modern

API for cldr-dates-modern data set

Tags:
succeeds0

cldr-localenames-modern

API for cldr-localenames-modern data set

Tags:
succeeds0

cldr-numbers-modern

API for cldr-numbers-modern data set

Tags:
succeeds0

cli

Simple and expressive command line interfaces.

Docs:
succeeds0

clicker-assets

Assets for clicker games

This package needs tags

succeeds; has dependency problems1

clotho

A library for enabling parametric randomness in Racket applications.

Docs:
succeeds; has failing tests4

cmx

A calculus of mediated exchange

This package needs documentation

fails5

cobalt2-theme

The Cobalt 2 color theme for DrRacket.

This package needs documentation

This package needs tags

succeeds; has failing tests4

code-sync

Fast Code Sharing for DrRacket

Docs:
fails5

codepoint

Library for operations on Unicode codepoints, and UCD properties.

Docs:
Tags:
succeeds0

codespells-live

@(tt "codespells-live/chat") is the language for interacting with our Twitch stream @(link "https://www.twitch.tv/codespells" "here"). Any of commands below can be run inside the Twitch chat preceded by a @tt{!!} and minus the outer set of parentheses. (E.g. @tt{!!mini})

Docs:

This package needs tags

fails5

collections

A generic interface for collections

This package needs tags

succeeds1

collections-doc

This package needs a description

This package needs tags

succeeds2

collections-lens

Lenses for generic collections

Tags:
succeeds; has dependency problems0

collections-lib

This package needs a description

This package needs documentation

This package needs tags

succeeds3

collections-test

This package needs a description

This package needs documentation

This package needs tags

succeeds3

collector2

Parse Racket packages catalog and generate ebuild scripts

succeeds0

colon-kw

a lang-extension for writing :kw for #:kw

Docs:
succeeds0

colon-match

match with colon notation, based on discussion with Jens Axel Søgaard on users list

Tags:
succeeds0

colophon

An experimental static site generator

This package needs documentation

succeeds; has dependency problems3

color-flood

A game where the player must fill the board with colors before its opponent

This package needs documentation

Tags:
succeeds3

color-strings

Makes identifiers for common colors. Prevents silly mispellings.

This package needs tags

succeeds; has dependency problems1

colorize

colorize your console

Docs:
succeeds0

colormaps

Additional colormaps for the Racket plot package

Docs:
Tags:
succeeds0

colors

A library for HSB colors.

Docs:
succeeds0

colors-as-strings

Provides common color strings as identifiers.

This package needs tags

succeeds; has conflicts; has dependency problems1

combinator-parser

A combinator parser library retained for backwards compatibility. Using parser-tools/yacc or ragg instead is recommended.

succeeds0

comm-panel

Racket GUI widget for sending, receiving, listening, and broadcasting strings over AWS SQS.

This package needs documentation

Tags:
succeeds; has dependency problems; has failing tests4

command-line-ext

Extensible form of command-line with command-line-flag-expanders

succeeds0

command-tree

Handle tree-style (à la git) command line arguments

This package needs documentation

succeeds3

common-icons

A (currently) very small set of icons we've used across multiple projects. We'll add more here as that continues to happen.

This package needs documentation

This package needs tags

fails5

commonmark

Fast, CommonMark-compliant Markdown parser

succeeds0

commonmark-doc

documentation (no implementation) for “commonmark”

succeeds0

commonmark-lib

implementation (no documentation) for “commonmark”

This package needs documentation

succeeds3

compact-annotations

Function type annotation syntax for Typed Racket similar to Haskell

succeeds0

compiler-goodies

This package needs a description

This package needs tags

succeeds2

component

Simple dependency injection (docs and implementation).

Docs:
succeeds0

component-doc

Simple dependency injection (docs).

Docs:
succeeds0

component-lib

Simple dependency injection (implementation only).

This package needs documentation

succeeds3

component-test

Tests for component-lib.

This package needs documentation

succeeds3

compose-app

#%app syntax for function composition, (a .. b .. c) => (lambda (v) (a (b (c v))))

succeeds0

cond-contract

Conditional contracts for Racket

Tags:
succeeds0

cond-strict

cond: what it should have been

Tags:
succeeds0

continued-fractions

Exact computer arithmetic and base conversion via continued fractions.

Docs:
succeeds0

contract-etc

Miscellaneous contracts.

Tags:
succeeds0

contract-parameter

Dynamically bound contracts.

Tags:
succeeds0

contract-repl

A REPL that prints contracts on values

This package needs documentation

succeeds3

control

Control structures

succeeds0

counter

Small counter library to use for console output, logging, etc.

Docs:
succeeds0

country

Facilities for working with country data.

Docs:
succeeds0

cover

A code coverage tool

This package needs documentation

succeeds3

cover-benchmarks

benchmarks for cover

This package needs documentation

succeeds; has dependency problems3

cover-cobertura

This package needs a description

This package needs documentation

succeeds3

cover-codecov

This package needs a description

This package needs documentation

succeeds3

cover-coveralls

This package needs a description

This package needs documentation

succeeds; has failing tests4

cover-doc

A code coverage tool, documentation

Docs:
succeeds0

cover-lib

A code coverage tool, implementation part

This package needs documentation

succeeds3

cover-test

A code coverage tool, test part

This package needs documentation

succeeds; has failing tests4

covid-19

Racket wrapper of QQ/Sina's COVID-19 API

Docs:
Tags:
succeeds0

cow-repl

Cowsay in your REPL

This package needs documentation

This package needs tags

succeeds3

cpu-affinity

A library for getting/setting CPU affinity

Tags:
succeeds; has failing tests4

cpuinfo

CPU Information

Docs:

This package needs tags

succeeds1

crc32c

Implementation of CRC32-C

Docs:
succeeds0

crypto

Cryptography library

Docs:
Tags:
succeeds0

crypto-doc

Cryptography library

Docs:
Tags:
succeeds0

crypto-lib

Cryptography library

This package needs documentation

Tags:
succeeds3

crypto-test

Cryptography library

This package needs documentation

Tags:
succeeds; has failing tests4

crystal

Spritely Crystal is an implementation and demo of how to bring privacy-preserving, persistent URLs to the web which are capable of being updated.

This package needs documentation

succeeds3

New

cs-bootstrap

Creates Chez Scheme boot files from source

This package needs documentation

This package needs tags

succeeds; has failing tests4

cs135-drtools

DrRacket Tools for CS 135 course at UWaterloo.

succeeds; has dependency problems0

cs2500f16-jsonlab

Teachpack for CS2500 JSON lab

Tags:
succeeds0

cs7480-util

Static analysis utilities

succeeds0

csc104

Language for University of Toronto course CSC104

This package needs documentation

fails5

csexp

Canonical s-expressions for Racket.

Docs:
succeeds; has dependency problems0

csfml

Bindings for CSFML 2.5 (https://www.sfml-dev.org/download/csfml/)

This package needs documentation

succeeds; has failing tests4

csp

solve constraint-satisfaction problems

Docs:
succeeds0

csrmesh

Implementation of the Bluetooth CSR Mesh protocol.

Docs:
succeeds0

css-expr

S-expression-based CSS

Docs:
succeeds0

css-tools

Tools for generating & manipulating CSS (unstable)

Docs:
Tags:
succeeds0

csv

csv file reader and writer

Docs:

This package needs tags

succeeds; has dependency problems1

csv-reading

Comma-Separated Value (CSV) Parsing

Tags:
succeeds0

csv-writing

simple functions to write CSV files (and TSV files)

succeeds0

cuecore

CueCore Lighting Control

Docs:

This package needs tags

succeeds1

cultural-anthropology

Metapackage that bundles all the packages discussed or mentioned in Language-oriented Programming in Racket: A Cultural Anthropology

This package needs documentation

Tags:
fails5

cur

Dependent types and meta-programming

Docs:
succeeds0

cur-doc

This package needs a description

Docs:

This package needs tags

succeeds2

cur-lib

This package needs a description

This package needs documentation

This package needs tags

succeeds; has failing tests4

cur-test

This package needs a description

This package needs documentation

This package needs tags

succeeds; has failing tests4

curly-fn

This package needs a description

Docs:
succeeds2

curly-fn-doc

This package needs a description

Docs:

This package needs tags

succeeds2

curly-fn-lib

This package needs a description

This package needs documentation

This package needs tags

succeeds3

curly-fn-test

This package needs a description

This package needs documentation

This package needs tags

succeeds3

curved-text

This package needs a description

This package needs documentation

fails5

custom-load

A load handler that avoids stale zo files.

This package needs tags

succeeds1

dali

Simple text templating (mustache/handlebars style) for Racket.

Docs:
Tags:
succeeds0

dallas

Experimental RDBMS based on the Darwen & Date's D language

This package needs documentation

fails5

dallas-doc

Documentation for Dallas

This package needs documentation

fails5

dallas-lib

Dallas (implementation)

This package needs documentation

fails5

dallas-test

Tests for Dallas

This package needs documentation

fails5

dan-scheme

A very little language for situations where simplicity is desired over convenience

This package needs tags

succeeds1

darwin

Static blog generator application. Supports Twitter Bootstrap, Pygments, more.

Docs:
fails5

data-frame

A data frame implementation for Racket

succeeds0

data-red-black

red-black trees. Includes implementations of augmented red-black trees, positional red-black trees, and an ordered set backed by a rb-tree.

Tags:
succeeds0

data-sci

To facilitate educational use, this reprovides plot and data-science. The vision is to add specific datasets, and various abstractions and/or convenience functions for working with certain sets.

This package needs documentation

This package needs tags

fails5

data-table

data-table provides a set of tools for working with tabular data. Still under construction.

Docs:
fails5

data-type

data type syntax for typed/racket

Docs:
succeeds0

database-url

Parse DATABASE_URL for use with the Racket db module

succeeds0

datacell

A simple embedded dataflow language

Docs:
Tags:
succeeds0

datatype

Algebraic(-like) Data Types

This package needs documentation

This package needs tags

succeeds3

date

Simple Date/Time support for formats commonly used on the Web in Typed Racket. Note there are better collection options unless you just need a RFC/ISO date for some HTTP API or similar.

Docs:
succeeds0

dbg

Remote debugging client and server implementation.

This package needs documentation

Tags:
succeeds3

dbg-ui

Remote debugging GUI client for the dbg package.

This package needs documentation

succeeds; has failing tests4

dbm

An interface to UNIX dbm files using a libdbm FFI

Docs:
Tags:
succeeds; has failing tests4

dbus

Native D-Bus for Racket

Docs:
succeeds0

ddict

Deterministic Dictionaries

Docs:
Tags:
succeeds; has failing tests4

debug

a lang-extension for debugging, and a macro for inserting a debug-repl

Docs:
succeeds; has failing tests4

debug-scopes

Some utilities which help debugging scope-related issues for unhygienic macros

succeeds0

decentralized-internet

A package for building distributed computing projects

succeeds0

defensive-to-contracts

This package presents a tool that converts defensive programming into equivalent contracts. Currently, the tool is still at its infancy and have not been tested on many code bases. The sample folder contains some example files to get you started. So far I have exposed two functions that allows you to input a path and either returns the raw result or load up a GUI that allows you to change a file.

succeeds0

deferred

A simple library for deferring asynchronous tasks until a specified time

Docs:

This package needs tags

succeeds1

define-assets-from

makes it easy to provide 2htdp/image identifiers from a directory full of PNGs. Just put files in directories, get provides out from your Racket modules.

This package needs tags

succeeds; has dependency problems1

define-match-spread-out

a version of define that allows definitions to be spread across a file

Tags:
succeeds0

define-who

An anaphoric macro that binds who to function name

Tags:
succeeds0

define-with-spec

Allows for function definitions with simple specifications that are enforced by checks at each call site. Functionality pales in comparison to racket/contract, but error messages w/ source info are provided for same-module violations of specifications.

This package needs tags

succeeds1

define2

Provides new but backward-compatible definitions of `lambda` and `define` that simplify keyword arguments and designing wrapper functions.

Docs:
succeeds0

defpat

a version of define for defining functions with match-patterns as arguments

succeeds0

delay-pure

Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed.

succeeds0

delimit-app

An #%app macro that changes meaning based on paren shape

succeeds0

denxi

A programming model for software distribution. Use to produce package managers, CI/CD systems, or operating systems.

succeeds; has failing tests4

derp-3

The Derp 3 parser, based on "Parsing with Derivatives," code written by Michael D. Adams (www.michaeldadams.org)

This package needs documentation

succeeds3

derpy

Presentation Room Control

Docs:

This package needs tags

succeeds; has failing tests4

describe

Doug Williams's 'describe' package from PLaneT

Docs:
succeeds0

design-by-numbers

An implementation of John Maeda's Design by Numbers language in Racket as a #lang.

Docs:
fails5

deta

A functional database mapper. (docs and implementation)

Docs:
succeeds0

deta-doc

A functional database mapper. (docs only)

Docs:
succeeds0

deta-lib

A functional database mapper. (implementation only)

This package needs documentation

succeeds3

deta-test

A functional database mapper. (tests only)

This package needs documentation

succeeds; has failing tests4

detail

detail used to reveal the details of the function

Docs:
succeeds0

dherman-struct

A port of David Herman's struct.plt planet package

This package needs documentation

This package needs tags

succeeds3

diagrama

A diagram drawing library, implementation

This package needs documentation

succeeds3

diagrama-doc

A diagram drawing library, documentation

Docs:
succeeds0

diagrama-lib

A diagram drawing library, implementation

This package needs documentation

succeeds3

diagrams

Draw technical diagrams

This package needs documentation

succeeds3

dice-parser

A parser for dice expressions like "1d6-1d4+5".

succeeds0

diff-merge

"Myers-Ukkonen" diff and diff3-based merge for sequences

This package needs documentation

succeeds3

digimon

The (typed) core to construct the digital world

Docs:
fails5

dirname

Basename and dirname functions

Docs:
succeeds0

disassemble

Disassembler for JIT-compiled functions.

This package needs documentation

succeeds3

disposable

Provides an abstraction for values associated with external resources that allows automatic resource pooling, per-thread virtual construction, and monadic composition

succeeds0

disposable-test

Tests for the "disposable" package

succeeds0

distro-build

Tools for constructing a distribution of Racket

This package needs tags

succeeds1

distro-build-client

client-side part of "distro-build"

This package needs documentation

This package needs tags

succeeds3

distro-build-doc

documentation part of "distro-build"

This package needs tags

succeeds1

distro-build-lib

implementation (no documentation) part of "distro-build"

This package needs documentation

This package needs tags

succeeds3

distro-build-server

server-side part of "distro-build"

This package needs documentation

This package needs tags

succeeds; has failing tests4

distro-build-test

Tests for "distro-build"

This package needs documentation

This package needs tags

succeeds3

dlm-read

This package needs a description

Docs:

This package needs tags

succeeds2

dm

Linux Device Mapper bindings for Racket.

Docs:
Tags:
succeeds; has failing tests4

doc-coverage

A package for inspecting and testing a module's documentation of its provided bindings

succeeds0

dollar

An example #lang extension which uses $ instead of , for unquote.

This package needs documentation

succeeds3

doodle

This package needs a description

Docs:
Tags:
succeeds2

dos

Delimited-continuation-based Operating-system Simulator

Docs:
succeeds0

dotenv

Override environment variables by loading .env files.

Docs:
Tags:
succeeds0

dotlambda

Splits dotted identifiers like a.b.c, also supports λ<arg>.(code) syntax. Experimental (i.e. there may be small breaking changes in later versions).

Docs:
succeeds0

dracula

Dracula: ACL2 theorem prover tools in DrRacket

This package needs documentation

This package needs tags

fails5

dracula-theme

Dracula color scheme for DrRacket (https://draculatheme.com/)

This package needs documentation

succeeds3

draw-i386-macosx

native libraries for "draw" package

This package needs documentation

This package needs tags

3

draw-i386-macosx-2

native libraries for "draw" package

This package needs documentation

This package needs tags

3

draw-ppc-macosx

native libraries for "draw" package

This package needs documentation

This package needs tags

3

draw-ppc-macosx-2

native libraries for "draw" package

This package needs documentation

This package needs tags

3

draw-win32-i386

native libraries for "draw" package

This package needs documentation

This package needs tags

3

draw-win32-i386-2

native libraries for "draw" package

This package needs documentation

This package needs tags

3

draw-win32-x86_64

native libraries for "draw" package

This package needs documentation

This package needs tags

3

draw-win32-x86_64-2

native libraries for "draw" package

This package needs documentation

This package needs tags

3

draw-x86_64-linux-natipkg-2

native libraries for "draw" package

This package needs documentation

This package needs tags

3

draw-x86_64-macosx

native libraries for "draw" package

This package needs documentation

This package needs tags

3

draw-x86_64-macosx-2

native libraries for "draw" package

This package needs documentation

This package needs tags

3

drbayes

Probabilistic programming language

This package needs documentation

fails5

drcomplete

The package assembles drcomplete plugins

This package needs documentation

Tags:
succeeds3

drcomplete-auto

automatic triggering of autocompletion

This package needs documentation

Tags:
succeeds3

drcomplete-base

basic framework for drcomplete

This package needs documentation

Tags:
succeeds3

drcomplete-filename

A DrRacket plugin for autocomplete for filenames, only active inside string.

This package needs documentation

Tags:
succeeds3

drcomplete-method-names

A DrRacket plugin for autocomplete for class method names

This package needs documentation

Tags:
succeeds3

drcomplete-module

autocomplete for modules

This package needs documentation

Tags:
succeeds3

drcomplete-required

A DrRacket plugin for autocomplete for required identifiers.

This package needs documentation

Tags:
succeeds3

drcomplete-user-defined

A DrRacket plugin for autocomplete for user-defined identifiers.

This package needs documentation

Tags:
succeeds3

drdr

DrDr, Racket's continuous integration system

This package needs documentation

This package needs tags

succeeds3

drdr2

Prototype replacement for DrDr

This package needs documentation

This package needs tags

succeeds3

dropbox

SDK for Dropbox

Docs:
succeeds; has failing tests4

drracket-ayu-mirage

🎨 An ayu mirage color scheme for DrRacket

This package needs documentation

succeeds3

drracket-cmdline-args

Accessible command-line arguments for DrRacket

succeeds0

drracket-custom-keybindings

A plugin and language for implementing macro-specific keybinding extensions for DrRacket

Docs:
succeeds0

drracket-cyberpunk

This package needs a description

This package needs documentation

succeeds3

drracket-material

This package adds a Material colorscheme to DrRacket.

This package needs documentation

succeeds3

drracket-one-dark

Atom's iconic One Dark color scheme for DrRacket!

This package needs documentation

succeeds3

drracket-paredit

paredit keybindings for DrRacket

This package needs documentation

This package needs tags

succeeds3

drracket-red

VsCode Red Theme for DrRacket

This package needs documentation

succeeds3

drracket-restore-workspace

Restore workspace for DrRacket

Tags:
succeeds0

drracket-scheme-dark-green

This is a white-on-black dark green colorscheme for DrRacket.

This package needs documentation

succeeds3

drracket-solarized

Solarized colorscheme for Drracket

This package needs documentation

succeeds3

New

drracket-tool-text-lib

Code implementing non-GUI programmatic interfaces to some IDE tools that DrRacket supports

This package needs documentation

This package needs tags

fails5

drracket-vim-tool

DrRacket plugin that simulates vim keybindings

This package needs documentation

succeeds3

drracket-workspaces

Save and reopen groups of files in DrRacket as workspaces.

This package needs documentation

Tags:
succeeds3

drracket-zenburn

The Zenburn colorscheme for DrRacket.

This package needs documentation

succeeds3

DrRacketTheme

set the background image for DrRacket View -> Set Background

This package needs documentation

Tags:
succeeds3

Drrackgit

A git plugin for DrRacket.

This package needs documentation

Tags:
succeeds; has dependency problems; has failing tests4

dset

Deterministic Sets

Docs:
Tags:
succeeds; has failing tests4

dssl

Data Structures Student Language: an extension of ASL for easier imperative programming.

Docs:
succeeds0

dssl2

A language for data structures students

Docs:
succeeds; has failing tests4

dtc

Languages for book "Don't Teach Coding"

This package needs documentation

This package needs tags

fails5

dynamic-ffi

Dynamically generate FFI bindings to C, and write C code inline in your Racket programs.

succeeds0

dynamic-xml

Apply keyword procedures in a given Racket namespace using X-expressions.

succeeds0

ebml

A library for reading and writing EBML files.

Docs:
Tags:
succeeds0

ebuild

Library to ease automatic ebuild creation. Metapackage.

This package needs documentation

succeeds3

ebuild-doc

Library to ease automatic ebuild creation. Documentation.

Docs:
succeeds0

ebuild-lib

Library to ease automatic ebuild creation. Core.

This package needs documentation

succeeds3

ebuild-templates

Library to ease automatic ebuild creation. Additional templates.

This package needs documentation

succeeds3

ebuild-test

Library to ease automatic ebuild creation. Tests.

This package needs documentation

succeeds3

ebuild-tools

Library to ease automatic ebuild creation. Tools.

This package needs documentation

succeeds3

ebuild-transformers

Library to ease automatic ebuild creation. Additional helper libraries.

This package needs documentation

succeeds3

ec

Provides elliptic curve arithmetic, point (de)serialization, and parameters for popular cryptographic elliptic curves.

Docs:
succeeds0

echonest

Wrapper for The Echo Nest web API.

This package needs documentation

succeeds; has failing tests4

ecmascript

Parser, runtime and #lang for ECMAScript

Tags:
succeeds0

ee-lib

Utilities for defining embedded macro expanders

Docs:

This package needs tags

succeeds1

eff

A Library Provide Extensible Effects in Racket (Untyped).

This package needs documentation

succeeds3

effection

A library for custom side effects.

Docs:
succeeds0

effection-doc

A library for custom side effects. (doc)

Docs:
succeeds0

effection-lib

A library for custom side effects. (lib)

This package needs documentation

succeeds3

effection-test

A library for custom side effects. (test)

This package needs documentation

succeeds3

effects

Delimited-continuation-based effects for Racket

This package needs documentation

Tags:
succeeds; has dependency problems3

egal

Henry Baker's egal

This package needs documentation

succeeds3

egg-herbie

An egg interface for Herbie.

This package needs documentation

This package needs tags

succeeds; has conflicts; has dependency problems3

egg-herbie-linux

This package needs a description

This package needs documentation

This package needs tags

succeeds; has conflicts; has dependency problems; has failing tests4

egg-herbie-osx

This package needs a description

This package needs documentation

This package needs tags

succeeds; has conflicts; has dependency problems; has failing tests4

egg-herbie-windows

This package needs a description

This package needs documentation

This package needs tags

succeeds; has dependency problems; has failing tests4

ejs

EJS is exact JSON: A no-compromises implementation of RFC 8259 in which all numbers are rational

This package needs documentation

Tags:
succeeds3

ekans

歌词下载器。

Docs:
Tags:
succeeds; has failing tests4

elasticsearch

This package needs a description

This package needs documentation

This package needs tags

succeeds; has failing tests4

electron

This package needs a description

This package needs documentation

This package needs tags

fails5

elf

Unix executable and linking format read/writing

Docs:
succeeds; has dependency problems0

elle

The library and documentation for the Elle language, a Racket-like language with reimagined syntax and updated features.

Docs:
succeeds; has dependency problems0

elle-doc

Documentation for the Elle language.

Docs:
succeeds0

elle-lib

The Elle language, a Racket-like language with reimagined syntax and updated features.

This package needs documentation

succeeds3

emcsabac

Basic ABAC analyzer for educational purposes

This package needs documentation

This package needs tags

fails5

emoji

Emoji terminal output for Racket

Docs:
Tags:
succeeds0

english

Utilities for generating English text strings -- e.g. plurals

Docs:

This package needs tags

succeeds1

envy

an environment variable manager for applications

Docs:

This package needs tags

succeeds1

errortrace

This package needs a description

This package needs tags

2

errortrace-pkg

Errortrace installed packages

succeeds0

esAsm

esAsm is a toy assembly-ish language.

Docs:
Tags:
succeeds0

esc-vp21

Epson ESC/VP21 Projector Control

Docs:

This package needs tags

succeeds1

euclid

Data structures and algorithms related to Euclidean geometry

Docs:
succeeds0

event

Synchronizable event programming

Docs:
fails5

eventfd

Linux eventfd support

Docs:
Tags:
succeeds0

exact-decimal-lang

a lang-extension that reads decimals as exact rationals

succeeds0

New

expander

Racket's implementation of macros, modules, and top-level evaluation

This package needs documentation

This package needs tags

succeeds; has failing tests4

expect

A package defining "expectations", first-class assertions about values for use in validation and unit testing with high quality error messages. Currently experimental.

Docs:
succeeds0

New

expeditor

Terminal expression editor

This package needs documentation

fails5

New

expeditor-doc

documentation part of "expeditor"

This package needs documentation

fails5

New

expeditor-lib

implementation (no documentation) part of "expeditor"

This package needs documentation

fails5

New

expeditor-test

test part of "expeditor"

This package needs documentation

fails5

explorer

Utility for interactive exploration of complex data structures.

This package needs documentation

This package needs tags

succeeds3

expr-in-racket

embed expr like "x+1" in racket.

This package needs documentation

fails5

extenor

Extensible Nominal Records. They're like mixin-able structs that keep their extensions when functionally updated by procedures that only know about the non-extended version. Also somewhat like dictionaries, but supporting struct-type-properties.

Docs:
Tags:
succeeds; has dependency problems0

extensible-functions

A solution to the expression problem in Typed Racket

succeeds0

extensible-parser-specifications

Unstable, and has seemingly unsolvable problems with module boundaries. This package works like seq-no-order by Alexander Knauth, but adds reusable (within the same module) clauses and global constraints like "a must occur before b" or "a mutually exclusive with c".

succeeds0

ez-csv

Reading and writing CSV files from Racket... Except easier.

Docs:
succeeds0

fairyfloss

sailorhg's fairyfloss for DrRacket

This package needs documentation

succeeds3

Fairylog

A Verilog dialect and source-to-source compiler, with various compile time features and macros.

Docs:
succeeds0

fancy-app

Scala-style anonymous functions

Docs:
Tags:
succeeds0

fast-convert

Fast conversion from bytes to string for one-byte encoding

succeeds0

fast-sequence

Macros for fast sequences.

Tags:
succeeds; has dependency problems; has failing tests4

fast-sequence-lib

Macros for fast sequences.

This package needs documentation

Tags:
succeeds3

faster-minikanren

A fast implementation of miniKanren with disequality and absento.

This package needs documentation

This package needs tags

succeeds; has conflicts3

feature-profile

Profile that measures time spent in language/library features

succeeds; has failing tests4

fector

Persistent Functional Vectors

This package needs documentation

Tags:
succeeds3

fexpress

A compilation-friendly fexpr language.

Docs:
succeeds0

fexpress-doc

A compilation-friendly fexpr language. (doc)

Docs:
succeeds0

fexpress-lib

A compilation-friendly fexpr language. (lib)

This package needs documentation

succeeds3

fexpress-test

A compilation-friendly fexpr language. (test)

This package needs documentation

succeeds3

ffi-definer-convention

No longer necessary in 6.9.0.5 and newer (it's built-in to the ffi library now)

Docs:
Tags:
fails5

ffi-utils

Helpful tools for writing FFI interfaces to C

Docs:
Tags:
fails5

ffmpeg-i386-macosx-3-4

This package needs a description

This package needs documentation

fails5

ffmpeg-i386-win32

This package needs a description

This package needs documentation

fails5

ffmpeg-i386-win32-3-4

This package needs a description

This package needs documentation

succeeds; has conflicts3

ffmpeg-x86_64-macosx

This package needs a description

This package needs documentation

succeeds3

ffmpeg-x86_64-macosx-3-4

Bindings for ffmpeg 3.4

This package needs documentation

succeeds3

ffmpeg-x86_64-win32

This package needs a description

This package needs documentation

fails5

ffmpeg-x86_64-win32-3-4

This package needs a description

This package needs documentation

succeeds; has conflicts3

fiberweb

An experiment in cooperative concurrency. Wildly unimplemented.

Docs:
fails5

file-metadata

Answer various questions about a file, e.g. "Is this a gzip file?" THIS IS VERY ALPHA. Currently only supports the 'is it a gzip' question, code is ugly, etc.

This package needs documentation

succeeds; has dependency problems3

file-watchers

Sensible file watching procedures

succeeds0

files-viewer

a file manager for drracket

succeeds0

finalizer

Trivial finalizer. Does action when object garbage collected

Docs:
Tags:
succeeds0

find-parent-dir

Find parent directories matching a criterion.

This package needs documentation

succeeds3

fixture

Provides test fixtures: resources that are automatically created and destroyed for each RackUnit test case

Docs:
succeeds0

flash-card

A language for creating interactive digital flash cards.

This package needs documentation

This package needs tags

fails5

flexpr

Expressions rendered as both XML and JSON

Docs:
Tags:
succeeds0

fltest

This package needs a description

This package needs documentation

This package needs tags

succeeds; has dependency problems3

fluent

UNIX style pipes and a lambda shorthand syntax to make your code more readable.

This package needs documentation

succeeds3

fme

Fourier-Motzkin elimination for integer inequality satisfiability

Docs:
Tags:
succeeds0

fmt

An extensible code formatter for Racket

Docs:
Tags:
succeeds0

font-finder

Locate font files on your computer

succeeds; has failing tests4

fontconfig

FFI bindings for fontconfig

This package needs documentation

Tags:
succeeds; has dependency problems; has failing tests4

fontland

font processing [in development]

This package needs documentation

Tags:
succeeds3

for-helpers

Helper macros for racket for macros to avoid intermediate sequences

Tags:
succeeds0

forge

A model-finding language with Alloy-adjacent syntax.

This package needs documentation

succeeds; has failing tests4

forged-ocelot

A fork of James Bornholt's Ocelot solver for relational model finding, for use in Forge.

This package needs tags

succeeds1

New

formica

"Functionally oriented" educational language

This package needs documentation

This package needs tags

fails5

forms

Web form validation (docs and implementation).

Docs:
succeeds0

forms-doc

Web form validation (documentation only).

Docs:
succeeds0

forms-lib

Web form validation (implementation only).

This package needs documentation

succeeds3

forms-test

Web form validation (tests only).

This package needs documentation

succeeds3

forth

Forth emulator, as a Racket #lang

Docs:
Tags:
succeeds0

fpbench

Tools for the FPBench numerical software standards (more info at http://fpbench.org/)

This package needs documentation

succeeds3

fra

Purely functional implementation of relational algebra

Docs:
Tags:
succeeds0

fragments

experimental game

Docs:

This package needs tags

succeeds; has dependency problems1

fragments-first

experimental game

This package needs tags

succeeds; has failing tests4

frog

Static blog generator application. Supports Twitter Bootstrap, Pygments, more.

Docs:
succeeds; has failing tests4

from-template

Download template apps to get started building new projects with Racket

succeeds0

ftree

Finger Trees

This package needs documentation

Tags:
succeeds3

fulmar

Generate C++ code from S-expressions

This package needs tags

succeeds1

functional

generic interfaces and data structures for functional programming

succeeds0

functional-doc

documentation (no implementation) for “functional”

succeeds0

functional-lib

implementation (no documentation) for “functional”

This package needs documentation

succeeds3

fundamentals

Reprovides all of racket, along with 2htdp/image. Convenient for teaching arbitrarily complex racket concepts with pictures.

This package needs documentation

This package needs tags

fails5

Funktionuckelt

A dark eye-friendly color scheme for Racket

This package needs documentation

succeeds3

fuse

Library for creating user-space filesystems with FUSE

Docs:
succeeds; has failing tests4

futil

An intermediate language designed for Fuse.

This package needs documentation

This package needs tags

fails5

future-visualizer-pict

The drawing and data representation portions of the future visualizer

This package needs documentation

Tags:
3

futures-sort

This library leverages futures for implementing parallel merge-sort of vector? and fxvector?. By default it tries to use all available processors as reported by (processor-count).

succeeds0

fuzzy-search

Approximate string matching based on Forrest Smith's reverse engineering of Sublime Text.

succeeds0

g-code-tools

A collection of tools for manipulating G-code.

Tags:
succeeds; has dependency problems0

game-engine

An entity/component 2d game engine for rapid prototyping and educational purposes. It is not (at the moment) particularly fast.

This package needs documentation

Tags:
fails5

game-engine-demos-common

Some useful entities/components/assets for some demo games that we've built for a game design course that we teach at ThoughtSTEM.

This package needs documentation

fails5

game-engine-rpg

Extends the game-engine package with some features for making RPGs

This package needs documentation

Tags:
fails5

game-engine-style-demos

Package containing demos of using the game-engine package to explore different styles for simple games.

This package needs documentation

fails5

gaming

This package needs a description

This package needs documentation

fails5

gcstats

Print summary GC statistics after running a program.

This package needs documentation

succeeds3

gdbdump

GDB-based Native Thread Backtrace Dumps

Docs:
Tags:
succeeds0

gemtext

A text/gemini parser for Racket.

Docs:
succeeds0

gen-queue-lib

Generic interface for some queues. Used by graph-lib

This package needs documentation

succeeds3

generator-util

Utilities for working with generators

succeeds0

generic-bind

Generic binding forms.

This package needs tags

succeeds1

generic-flonum

Alternative MPFR interface for emulating IEEE-754 floating-point numbers

succeeds0

generic-syntax-expanders

Allows definition of macros which include expander-definition forms, like match expanders

succeeds0

geoid

work efficiently with geographic data

Docs:

This package needs tags

succeeds1

geoip

Geolocation based on MaxMind's GeoIP databases. (docs and implementation)

Docs:
succeeds0

geoip-doc

Geolocation based on MaxMind's GeoIP databases. (docs only)

Docs:
succeeds0

geoip-lib

Geolocation based on MaxMind's GeoIP databases. (implementation only)

This package needs documentation

succeeds3

get-bonus

Get Bonus is a project about discovering the best way to program video games.

This package needs documentation

fails5

get-pass

Utility to get passwords from the command line without echoing input.

Docs:
succeeds0

get-primitive

Extract low-level primitives

This package needs documentation

Tags:
succeeds3

gettext

GNU gettext compatible library for internationalization with BSD license

Docs:
succeeds0

gillette

XPath for Racket

This package needs documentation

fails5

gillette-doc

Docs for Gillette

This package needs documentation

fails5

gillette-lib

Implementation for Gillette

This package needs documentation

fails5

gillette-test

Tests for Gillette

This package needs documentation

fails5

gir

GTK/GLib/GIO/... GObjectIntrospection FFI binding

Docs:
Tags:
succeeds0

git-slice

For slicing git repositories into pieces

This package needs documentation

Tags:
succeeds; has failing tests4

github

Github Bindings

This package needs documentation

Tags:
succeeds; has failing tests4

github-api

Bindings for the GitHub API

Tags:
succeeds; has failing tests4

glass

An optics (lenses, prisms, traversals, etc.) library.

Docs:
succeeds0

glc

A lambda calculus #lang

Docs:

This package needs tags

succeeds1

glfw3

GLFW wrapper for Racket

Docs:
Tags:
succeeds; has failing tests4

glm

OpenGL Mathematics

Docs:
succeeds0

global

Define global variables and automatically generate a command line parser.

Docs:
succeeds0

glossolalia

A language for generating words according to sound and syllable rules. Has features for cross-syllable rules and phoneme occurence frequency.

Tags:
succeeds; has dependency problems0

GLPK

An interface to the Gnu Linear Programming Kit (GLPK)

Docs:
succeeds; has failing tests4

gls

Generic Little (Object, Type, Anything, ...) System - multiple dispatch on types

Docs:
Tags:
succeeds0

glsl

The OpenGL Shader Language 4.5 (GLSL)

Docs:
succeeds; has dependency problems0

glu-tessellate

Converts a set of closed paths to a set of covering triangles covering the region enclosed by the curves

Tags:
succeeds; has failing tests4

gm-pepm-2018

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

succeeds0

gmp

Bindings to gmp (the GNU Multiple Precision Arithmetic Library)

Docs:
Tags:
succeeds0

gmp-lib

Bindings to gmp (the GNU Multiple Precision Arithmetic Library)

This package needs documentation

Tags:
succeeds3

gnal-lang

a #lang that allows relative module paths for reader languages

This package needs documentation

Tags:
fails5

gnucash

parses gnucash XML files

Docs:
Tags:
succeeds0

goblins

Goblins is a lightweight actor model library.

Docs:
succeeds; has dependency problems; has failing tests4

google

Google APIs (Drive, Plus, ...) for Racket.

This package needs documentation

succeeds3

google-spreadsheet-api

Racket interface for Google Spreadsheet APIs

succeeds0

gradual-typing-bib

This package needs a description

This package needs documentation

This package needs tags

succeeds3

graph

Generic graph library.

Docs:
Tags:
succeeds0

graph-doc

Documentation for graph-lib

Docs:
succeeds0

graph-lib

main graph package

This package needs documentation

Tags:
succeeds3

graph-test

Tests for graph-lib

This package needs documentation

succeeds3

graphic-block

A plug-in that prevents inserting non-text content into the editor (can be configured through the general editing panel).

This package needs documentation

succeeds3

graphics

Essential computer graphics for Typed Racket

Docs:
fails5

graphics-engine

An accelerated graphics programming environment.

succeeds; has failing tests4

graphite

A ggplot2-inspired data visualization library

Tags:
succeeds0

graphite-doc

Documentation for Graphite

Docs:
Tags:
succeeds0

graphite-lib

A ggplot2-inspired data visualization library (no documentation)

This package needs documentation

Tags:
succeeds3

graphite-test

Tests for Graphite

This package needs documentation

Tags:
succeeds; has failing tests4

graphite-tutorial

A guided tour for Graphite

Tags:
succeeds0

gregor

Date and time library

Docs:
succeeds0

gregor-doc

Documentation part of gregor library

Docs:
succeeds0

gregor-lib

Code part of the gregor date and time library

This package needs documentation

succeeds3

gregor-test

Tests for the gregor library

This package needs documentation

This package needs tags

succeeds3

grift

A gradually typed language

This package needs documentation

fails5

gsl-integration

Interface to GNU GSL Numerical Integration.

succeeds0

gsl-rng

Interface to GNU GSL Random Number Generation

Docs:
succeeds0

gtp-benchmarks

gradual typing performance benchmarks

succeeds0

gtp-checkup

Test correctness of typed/untyped interaction.

succeeds; has failing tests4

gtp-measure

Runs programs, collects timing info

succeeds0

gtp-paper

Quick-start for SIGPLAN Scribble papers

Docs:
succeeds0

gtp-pict

Picts related to gradual typing / performance

Docs:
succeeds0

gtp-plot

Plots for gradual typing performance

Docs:
succeeds0

gtp-util

37 helper functions you won't find anywhere else

Docs:
Tags:
succeeds; has failing tests4

gui-easy

A declarative API on top of racket/gui. (docs & implementation)

Docs:
Tags:
succeeds0

gui-easy-lib

A declarative API on top of racket/gui. (implementation)

This package needs documentation

Tags:
succeeds3

GUI-helpers

This package provides functions to help make GUI creation easy. It sets defaults wherever possible, for example, standard keyboard shortcuts in menus.

This package needs documentation

Tags:
fails5

gui-pkg-manager

Graphical tool for managing Racket package installations

This package needs tags

succeeds1

gui-pkg-manager-doc

documentation part of "gui-pkg-manager"

This package needs tags

succeeds1

gui-widget-mixins

Tool tips, cue text and validation for text-field% GUI widgets in Racket

Tags:
succeeds0

hackett

This package needs a description

Docs:
fails5

hackett-demo

This package needs a description

This package needs documentation

This package needs tags

fails5

hackett-doc

This package needs a description

Docs:

This package needs tags

fails5

hackett-lib

This package needs a description

This package needs documentation

This package needs tags

fails5

hackett-test

This package needs a description

This package needs documentation

This package needs tags

fails5

haiku-enum

A language designed for generating Haiku

Docs:

This package needs tags

succeeds1

hamt

Hash array mapped tries

Docs:

This package needs tags

succeeds1

handin

Handin server and client template

This package needs tags

succeeds; has failing tests4

handy

Utility functions that are missing from Racket -- e.g. 'say' (variadic displayln), 'multi-partition' (partition into more than two lists), better exception creation / trapping, database management, etc

This package needs documentation

succeeds3

happy-app

A Toolbox of Syntactic Shortcuts

Docs:
succeeds; has failing tests4

happy-names

Simple generator for Heroku-like names (random adj + random noun)

This package needs documentation

This package needs tags

succeeds; has dependency problems3

hash-view

Struct-like view for hashes

Docs:
Tags:
succeeds0

hash-view-lib

Struct-like view for hashes

This package needs documentation

Tags:
succeeds3

hdf5

FFI bindings to the hdf5 library

This package needs documentation

succeeds; has failing tests4

herbie

A tool for automatically improving the accuracy of floating point expressions

This package needs documentation

succeeds; has conflicts; has dependency problems; has failing tests4

heresy

A functional Lisp dialect with BASIC-inspired syntax

Docs:
Tags:
succeeds; has failing tests4

hidapi

Racket bindings to hidapi library.

Docs:
succeeds; has failing tests4

hive-client

Hive: client-server framework. This is client package.

This package needs documentation

Tags:
succeeds3

hive-common

Hive: client-server framework. This is library for both client and server.

Tags:
succeeds0

hive-server

Hive: client-server framework. This is server-side package.

This package needs documentation

Tags:
succeeds3

HoLy

HoLy is simple http library for creating your web-applications and rest api's easier. This library covers only http-server layer(url-dispatching, cookies, parameters). Library in aplha state - api unstable. Pull requests are welcome!

Docs:
succeeds; has dependency problems0

honu

The implementation of the Honu language

Docs:

This package needs tags

succeeds1

hostname

Getting Hostname, FQDN, and IP Addresses

Docs:

This package needs tags

succeeds1

htdp-json

A library for teaching with JSON

Docs:
Tags:
succeeds0

htdp-trace

Wrapper for racket/trace that allows it to be used in HtDP Languages like Beginning Student, where functions cannot be used as first class values.

succeeds0

html-examples

Generate an HTML part out of Scribble Examples

succeeds; has dependency problems0

html-parsing

Permissive Parsing of HTML to SXML

succeeds0

html-template

HTML-Writing Template Language in SXML

succeeds0

html-writing

Writing HTML from SXML

succeeds0

New

html5-lang

Educational language for making simple HTML5, mobile-friendly web apps.

Docs:

This package needs tags

fails5

http

Support for HTTP 1.1 including automatic connection pooling.

Docs:
succeeds0

http-client

A practical http client library for sending data to http servers.

succeeds; has failing tests4

http-easy

A high-level HTTP client.

Docs:
succeeds0

http-easy-test

A high-level HTTP client. (tests only)

This package needs documentation

succeeds3

http11

HTTP v1.1 low level protocol library in Typed Racket.

Docs:
Tags:
succeeds0

http11-server

Minimal low level routines in Typed Racket sufficient to handle a RPC/API HTTP(S) endpoint server. It is NOT a full blown HTTP Content Server. Simple endpoint server.

succeeds0

http123

HTTP client with support for HTTP/1.1 and HTTP/2.

Docs:
succeeds; has failing tests4

http123-lib

HTTP client with support for HTTP/1.1 and HTTP/2.

This package needs documentation

succeeds3

http2

A (wildly unimplemented) http2 client and server for Racket

Docs:
Tags:
succeeds0

hygienic-quote-lang

hygienic versions of quote-like racket reader macros

succeeds0

hygienic-reader-extension

adding hygiene to racket reader extensions

succeeds0

hyper-literate

Some tools which help build hyper-literate programs. For now, this only contains a few changes from scribble/lp2, including support for typed/racket literate programs.

succeeds0

hyphenate

Hyphenate X-expressions with the Knuth–Liang hyphenation algorithm

Docs:
succeeds0

Ibkre

IBK Actor/Syndicate Library

Docs:
Tags:
succeeds; has conflicts0

icfp-2014-contracts-talk

Slideshow implementation of ICFP 2014 Contracts Keynote Talk

This package needs documentation

Tags:
succeeds; has failing tests4

icfp2017-minikanren

A racket port of the version of minikanren from the artifact of the ICFP 2017 Pearl, A Unified Approach to Solving Seven Programming Problems by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might. Includes evalo-optimized.

This package needs documentation

succeeds3

icns

A Racket library for working with Apple's .icns icon file format.

Docs:
succeeds0

identikon

Tiny framework for generating identicons

Docs:
succeeds0

iloveck101

A command-line tool to download images from ck101 threads.

This package needs documentation

Tags:
fails5

image-coloring

For doing bitmap operations on 2htdp/image objects

This package needs tags

succeeds; has dependency problems1

image-colors

For doing basic pixel operations on 2htdp/image objects

This package needs tags

succeeds; has conflicts; has dependency problems1

impl-excl

Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates

This package needs documentation

Tags:
succeeds3

in-new-directory

Run things in new directories

Tags:
succeeds0

in-out-logged

Wraps a chunk of code in "entering" and "leaving" log messages and returns the result(s) of the code.

succeeds0

inexact-number-lang

A lang-extension that reads every number as inexact

succeeds0

infix

Infix Expressions

Tags:
succeeds0

infix-syntax

Expansion-time parsing of infix expressions.

Tags:
succeeds0

intellij

Support IntelliJ editor features

This package needs documentation

succeeds3

interactive-brokers-api

Client API for Interactive Brokers' Trader Workstation

succeeds0

interactive-syntax

(Early) Prototype for Interactive Syntax

This package needs documentation

This package needs tags

succeeds3

New

interconfection

A library for building extensible systems, especially module systems.

succeeds0

New

interconfection-doc

A library for building extensible systems, especially module systems. (doc)

succeeds0

New

interconfection-lib

A library for building extensible systems, especially module systems. (lib)

This package needs documentation

succeeds3

New

interconfection-test

A library for building extensible systems, especially module systems. (test)

This package needs documentation

succeeds3

intern

Type-safe interning of datatype in Typed Racket as a new sub-type of Index

This package needs documentation

succeeds3

io

I/O utilities from dherman's io.plt Planet package

This package needs documentation

Tags:
succeeds; has failing tests4

ipoe

interactive poetry editor

Docs:
succeeds0

iracket

Jupyter kernel for Racket

Docs:

This package needs tags

succeeds1

irandom

Racket implementation of Bob Jenkins' ISAAC pseudorandom number generator (Indirection, Shift, Accumulate, Add, and Count).

Docs:
succeeds0

irc

An IRC client library.

Docs:
Tags:
succeeds; has failing tests4

irc-client

A higher-level, typed wrapper around the irc package

succeeds0

irregex

Alex Shinn's IrRegular Expressions package. Includes both a character-based syntax and Olin Shivers' SRE regexp syntax.

Docs:
succeeds0

iswim

iswim implementation

This package needs documentation

Tags:
succeeds3

iu-pict

This package needs a description

Docs:

This package needs tags

succeeds; has dependency problems2

j

Racket implementation of J language and related concepts

Docs:
succeeds0

jack-ease

Library for easing things between start and stop values fluidly

Docs:
succeeds0

jack-posn

Library for working with points in 2d space

Docs:
succeeds0

java

A port of David Herman's java.plt PLaneT package, without the PLaneT dependencies.

Docs:
succeeds0

java-lexer

Java syntax highlighting for Scribble.

This package needs documentation

succeeds3

java-processing

The minimal amount of code necessary to write processing code in DrRacket (so I don't have to switch students to a different IDE in my classes).

This package needs documentation

This package needs tags

succeeds; has dependency problems3

javascript

An implementation of JavaScript

This package needs tags

succeeds1

jen

procedural generation DSL embedded in Racket [UNSTABLE]

This package needs documentation

succeeds3

jen-doc

procedural generation DSL embedded in Racket (doc) [UNSTABLE]

Docs:
succeeds0

jen-lib

procedural generation DSL embedded in Racket (lib) [UNSTABLE]

This package needs documentation

succeeds3

jen-samples

procedural generation DSL embedded in Racket (samples) [UNSTABLE]

This package needs documentation

succeeds3

job-queue

A library for managing sets of workers and their jobs.

This package needs documentation

succeeds3

job-queue-doc

A library for managing sets of workers and their jobs. (doc)

Docs:
succeeds0

job-queue-lib

A library for managing sets of workers and their jobs. (lib)

This package needs documentation

succeeds3

js-voxel

A general-purpose voxel programming environment

Docs:
succeeds; has failing tests4

json-parsing

JSON Parsing, Folding, and Conversion

Tags:
succeeds0

json-pointer

Parse, render, and evaluate JSON Pointers (RFC 6901).

Tags:
succeeds0

json-socket

JSON-Talking TCP Sockets

This package needs documentation

Tags:
succeeds3

json-sourcery

A library built on top of the json package for improving JSON serialization and adding clearer syntax macros.

This package needs documentation

fails5

json-sourcery-lib

library package for json-sourcery

This package needs documentation

This package needs tags

succeeds3

json-type-provider

A well-typed JSON parser for Typed Racket inspired by Type Provider

This package needs documentation

succeeds3

jsond

A #lang for JSON data

Docs:
succeeds0

k

k theorem prover

Docs:
Tags:
succeeds0

k-infix

Simple but versatile infix parsing for arbitrary expressions. Fully customizable. Comes with basic math expressions implemented.

Docs:
Tags:
succeeds0

k2

Some visual and social teaching languages.

This package needs documentation

This package needs tags

fails5

New

kenney-assets

A package of public domain assets by https://www.kenney.nl/

This package needs documentation

This package needs tags

fails5

kernel

Interface to Linux kernel runtime configuration.

This package needs documentation

Tags:
succeeds; has failing tests4

keyring

a library for uniformly accessing secrets

Docs:
succeeds0

keyring-get-pass-lib

Keyring backend using get-pass

This package needs documentation

succeeds3

keyring-keychain-lib

Keyring backend using MacOS Keychain

This package needs documentation

succeeds3

keyring-lib

Implementation of the keyring package.

This package needs documentation

succeeds3

keyring-secret-service-lib

Keyring backend using Freedesktop Secret Service

This package needs documentation

succeeds3

kinda-ferpy

An implicit functional reactive model based on MaiaVictor's PureState library

succeeds0

kitco

Precious Metals Market Info. Access

Docs:
succeeds0

kittle-buffer

An extended Brainf**k implementation.

This package needs documentation

succeeds; has failing tests4

koyo

A web application toolkit (docs and implementation).

Docs:
succeeds0

koyo-doc

A web application toolkit (docs only).

Docs:
succeeds0

koyo-lib

A web application toolkit (implementation only).

This package needs documentation

succeeds3

koyo-north

A north migrator component for koyo.

This package needs documentation

succeeds3

koyo-postmark

A Postmark mail adapter for koyo. (docs and implementation)

Tags:
succeeds; has conflicts0

koyo-sentry

Integrates koyo and racket-sentry.

succeeds0

koyo-sessions-redis

A Redis-based session store for Koyo.

succeeds; has conflicts0

koyo-test

A web application toolkit (tests only).

This package needs documentation

succeeds3

kw-make-struct

Naming struct fields with keywords for constructing and matching

succeeds0

kw-make-struct-lib

Naming struct fields with keywords for constructing and matching

This package needs documentation

succeeds3

kw-utils

misc kw utils

Docs:
Tags:
succeeds0

lambda-calculus

A lambda-calculus DSL in Racket

succeeds0

lambda-sh

Do we really need a "Typed Shell"? Nevertheless, Unix Shell and Powershell are not friends.

Docs:
fails5

lambdajam-2015-racket-pl-pl

This package needs a description

This package needs documentation

This package needs tags

succeeds; has failing tests4

lang

This package needs documentation

fails5

lang-file

Functions for dealing with #lang files

Tags:
succeeds0

lang-file-lib

Functions for dealing with #lang files

This package needs documentation

Tags:
succeeds3

lang-slide

A picture showing all the languages used to implement Racket.

succeeds; has failing tests4

laramie

HTML5 parser

This package needs documentation

fails5

laramie-doc

Documentation for Laramie

This package needs documentation

fails5

laramie-lib

Implementation for Laramie

This package needs documentation

fails5

laramie-test

Tests for Laramie

This package needs documentation

fails5

latex-pict

Render LaTeX formulas as picts. The picts are vector based, so you can scale them without problems. The conversion uses pdflatex.

succeeds; has failing tests4

latex-utils

Some utilities for generating LaTeX markup of various descriptions.

Docs:
succeeds0

New

lathe-comforts

A collection of utilities.

succeeds0

New

lathe-comforts-doc

A collection of utilities. (doc)

succeeds0

New

lathe-comforts-lib

A collection of utilities. (lib)

This package needs documentation

succeeds3

New

lathe-comforts-test

A collection of utilities. (test)

This package needs documentation

succeeds3

New

lathe-morphisms

Interfaces for category theory concepts.

succeeds0

New

lathe-morphisms-doc

Interfaces for category theory concepts. (doc)

succeeds0

New

lathe-morphisms-lib

Interfaces for category theory concepts. (lib)

This package needs documentation

succeeds3

New

lathe-morphisms-test

Interfaces for category theory concepts. (test)

This package needs documentation

succeeds3

New

lathe-ordinals

Ordinal numbers supporting addition, multiplication, and exponentiation.

succeeds0

New

lathe-ordinals-doc

Ordinal numbers supporting addition, multiplication, and exponentiation. (doc)

succeeds0

New

lathe-ordinals-lib

Ordinal numbers supporting addition, multiplication, and exponentiation. (lib)

This package needs documentation

succeeds3

New

lathe-ordinals-test

Ordinal numbers supporting addition, multiplication, and exponentiation. (test)

This package needs documentation

succeeds3

New

laundry

Org mode for Racket.

This package needs documentation

Tags:
fails5

layout

racket library for creating and rendering layouts, filling them with data, optionally generate example data

This package needs documentation

succeeds3

layout-interactive

interact utility for use with 'layout' library

This package needs documentation

succeeds3

lazytree

Lightweight, general-purpose utilities for working with tree-structured data.

Docs:
succeeds0

ldap

A native Racket interface to LDAP authentication.

Docs:
Tags:
succeeds; has failing tests4

ldap-ffi

ldap-ffi: a Racket LDAP client built on top of libldap C API

Docs:
succeeds; has failing tests4

learn-to-type

A very simple GUI program to learn to type by copying a text.

This package needs documentation

Tags:
succeeds3

left-pad

String left pad

Docs:
Tags:
succeeds0

leftist-tree

Functional priority queues

Tags:
succeeds0

lens

Composable, functional lenses

Docs:
succeeds0

lens-common

Base lens constructors and additional combinators

This package needs documentation

succeeds3

lens-data

Lens constructors for various Racket data structures

This package needs documentation

succeeds3

lens-doc

Documentation for the lens libraries

Docs:
succeeds0

lens-lib

Implementation (no docs) of the lens library, includes lens-data and lens-common

This package needs documentation

succeeds3

lens-unstable

Unstable and experimental features for lenses

This package needs documentation

succeeds3

levenshtein

Levenshtein Distance Metric

This package needs tags

succeeds1

lex-yacc-example

Examples for lexer and yacc

succeeds; has dependency problems0

libansilove

FFI to Libansilove

succeeds0

libargon2

Meta-package that installs the appropriate libargon2 shared library for the current platform on Linux, macOS and Windows.

This package needs documentation

succeeds3

libargon2-aarch64-macosx

This package needs a description

This package needs documentation

succeeds3

libargon2-i386-win32

This package needs a description

This package needs documentation

succeeds3

libargon2-x86_64-linux

This package needs a description

This package needs documentation

succeeds3

libargon2-x86_64-macosx

This package needs a description

This package needs documentation

succeeds3

libargon2-x86_64-win32

This package needs a description

This package needs documentation

succeeds3

libgit2

Racket bindings for the Libgit2 library.

Docs:
Tags:
succeeds; has failing tests4

libgit2-i386-win32

native libraries for "libgit2" on "i386-win32"

This package needs documentation

Tags:
succeeds3

libgit2-native-libs

native libraries for "libgit2" (meta-package)

This package needs documentation

Tags:
succeeds3

libgit2-x86_64-linux

native libraries for "libgit2" on "x86_64-linux"

This package needs documentation

Tags:
succeeds3

libgit2-x86_64-linux-natipkg

This package contains the x86_64 linux build of the libgit2 library, for use by the libgit2 package.

This package needs documentation

Tags:
succeeds3

libgit2-x86_64-macosx

native libraries for "libgit2" on "x86_64-macosx"

This package needs documentation

Tags:
succeeds3

libgit2-x86_64-win32

native libraries for "libgit2" on "x86_64-win32"

This package needs documentation

Tags:
succeeds3

libkenji

This package needs a description

This package needs documentation

This package needs tags

succeeds3

libnotify

FFI bindings for libnotify (desktop notifications)

Docs:
Tags:
succeeds; has failing tests4

libopenal-racket

Racket wrapper for the OpenAL library

succeeds; has dependency problems; has failing tests4

libquiche

Functions and other stuff I wrote to complement the Racket standard library which aren’t significant enough to warrant its own package.

Docs:
Tags:
succeeds0

libsass-i386-win32

This package needs a description

This package needs documentation

succeeds3

libsass-x86_64-linux

This package needs a description

This package needs documentation

succeeds3

libsass-x86_64-macosx

This package needs a description

This package needs documentation

succeeds3

libsass-x86_64-win32

This package needs a description

This package needs documentation

succeeds3

libscrypt

Colin Percival's scrypt bindings for Racket, uses system library.

Docs:
Tags:
fails5

libserialport

FFI bindings for the libserialport library.

succeeds; has failing tests4

libsqlite3

This package needs a description

This package needs documentation

succeeds3

libsqlite3-aarch64-linux

This package needs a description

This package needs documentation

succeeds3

libsqlite3-aarch64-macosx

This package needs a description

This package needs documentation

succeeds3

libsqlite3-i386-win32

This package needs a description

This package needs documentation

succeeds3

libsqlite3-x86_64-linux

This package needs a description

This package needs documentation

succeeds3

libsqlite3-x86_64-macosx

This package needs a description

This package needs documentation

succeeds3

libsqlite3-x86_64-win32

This package needs a description

This package needs documentation

succeeds3

libtoxcore-racket

A Racket wrapper for the Tox libraries.

succeeds; has failing tests4

libuuid

FFI bindings for the libuuid library.

Docs:
Tags:
succeeds0

libvid-i386-linux

Library for Video log messages

This package needs documentation

succeeds; has conflicts3

libvid-i386-linux-0-2

This package needs a description

This package needs documentation

Tags:
succeeds; has conflicts3

libvid-i386-macosx-0-2

This package needs a description

This package needs documentation

Tags:
fails5

libvid-i386-win32

32-bit windows build of libvid

This package needs documentation

succeeds; has conflicts3

libvid-i386-win32-0-2

This package needs a description

This package needs documentation

Tags:
succeeds; has conflicts3

libvid-x86_64-linux

Libvid for 64-bit linux

This package needs documentation

succeeds; has conflicts3

libvid-x86_64-linux-0-2

This package needs a description

This package needs documentation

Tags:
succeeds; has conflicts3

libvid-x86_64-macosx

An optional helper library for Video, to enable ffmpeg level logging.

This package needs documentation

succeeds; has conflicts3

libvid-x86_64-macosx-0-2

This package needs a description

This package needs documentation

Tags:
succeeds; has conflicts3

libvid-x86_64-win32

64-bit windows build of the libvid library.

This package needs documentation

succeeds; has conflicts3

libvid-x86_64-win32-0-2

This package needs a description

This package needs documentation

Tags:
succeeds; has conflicts3

libxml2

Racket bindings for libxml2

Docs:
Tags:
succeeds0

libxml2-x86_64-linux-natipkg

Packages libxml2 for the package build server

This package needs documentation

Tags:
succeeds3

lindenmayer

This package needs a description

This package needs tags

succeeds2

linea

line-oriented reader

Docs:
Tags:
succeeds0

linkeddata

linkeddata is a package that provides various types of linked data tooling, from RDF tooling to json-ld

Docs:
fails5

linux-shared-libraries

This package contains the shared libraries needed for `flomat` to run on Linux (including the build server).

This package needs documentation

succeeds3

lipics

Scribble languages for the LIPIcs paper format

Docs:
Tags:
succeeds; has failing tests4

list-plus

A form that collects values into a list while supporting internal-definitions

Docs:
Tags:
succeeds0

list-util

Additional List utilities in Typed Racket.

Docs:
Tags:
succeeds0

list-utils

Some additional list-processing functions which I have found useful.

succeeds0

literify

racket literate programming in scribble to enable simultaneously display and evaluate code chunks

Docs:
succeeds; has dependency problems0

liturgical-calendar

Compute the dates of Easter and other feasts

succeeds0

live-free-or-die

Freedom from Typed Racket

succeeds0

livefrog

Convert ljdump/ljmigrate files for Frog

This package needs documentation

succeeds; has dependency problems3

loci

Loci provides access to locus, an entity similar to a place based on OS processes, instead of threads.

Docs:
succeeds0

loess

Local polynomial regressions for Racket.

Docs:
succeeds0

logbook

Tool for recording a database of experimental results

This package needs documentation

This package needs tags

fails5

logger

A simple logging library with color and 7 log levels.

Docs:
Tags:
succeeds0

logo

A #lang for Logo

Docs:

This package needs tags

succeeds1

loop

Advanced named let

Docs:
Tags:
succeeds0

lti-freq-domain-toolbox

Functions for studying LTI (linear time-invariant) dynamical systems

succeeds0

lua

The programming language Lua. Targeting version 5.3.5 (Currently unstable)

This package needs documentation

succeeds; has dependency problems; has failing tests4

lux

brilliant interactive programs

Docs:
succeeds0

lux-charterm

a lux chaos for terminal programs

Tags:
succeeds; has failing tests4

lwc2016

PLT submision to the 2016 language workbench challenge

This package needs documentation

This package needs tags

succeeds; has failing tests4

macrotypes-example

This package needs a description

This package needs documentation

This package needs tags

succeeds3

macrotypes-lib

"Types as macros" core api, used to create Turnstile lang

This package needs documentation

This package needs tags

succeeds3

macrotypes-nonstx

A version of the macrotypes / Turnstile idea where types don't have to be syntax objects

This package needs tags

succeeds; has failing tests4

macrotypes-test

This package needs a description

This package needs documentation

This package needs tags

succeeds; has failing tests4

magenc

Symmetric encryption for magnet URIs (code and docs)

Docs:
succeeds0

magic-loader

We use this at ThoughtSTEM to help kids get demo code into DrRacket quickly. I don't recommend using this package directly -- but it could be useful as a demonstration of extending DrRacket.

This package needs documentation

succeeds; has dependency problems3

magnolisp

Magnolisp

Docs:
Tags:
succeeds0

majordomo2

Task manager with retries, data carried across restarts, sorting, filtering, and more.

succeeds0

make-log-interceptor

Collect events for a logger, organized by level

succeeds0

map-widget

A Racket GUI Widget to display maps based on OpenStreetMap tiles

Tags:
succeeds0

margrave

A policy analyzer

Docs:

This package needs tags

succeeds; has failing tests4

mario

An interpreter for the 2d programming language MarioLANG

This package needs documentation

succeeds; has dependency problems3

marionette

A Racket library that lets you control Firefox via the Marionette Protocol. (docs and implementation)

succeeds0

marionette-doc

A Racket library that lets you control Firefox via the Marionette Protocol. (docs only)

succeeds0

marionette-lib

A Racket library that lets you control Firefox via the Marionette Protocol. (implementation only)

This package needs documentation

succeeds3

marionette-test

A Racket library that lets you control Firefox via the Marionette Protocol. (tests only)

This package needs documentation

succeeds3

markdown

Markdown format parser.

Docs:
succeeds0

markdown-ng

New Generation of a Racket Markdown library

Docs:
Tags:
fails5

markparam

a convenience library for continuation marks like parameters

Docs:
succeeds0

markparam-doc

a convenience library for continuation marks like parameters

Docs:
succeeds0

markparam-lib

a convenience library for continuation marks like parameters

This package needs documentation

succeeds3

markparam-test

a convenience library for continuation marks like parameters

This package needs documentation

succeeds3

match-count

Instrumented match

This package needs documentation

succeeds3

match-plus

This package needs a description

This package needs tags

succeeds2

match-string

string-append and append as a match patterns

succeeds0

mboxrd-read

Racket functions for reading mboxrd and mboxcl2 (used by dovecot) format

Tags:
succeeds0

mc-coach

This package needs documentation

This package needs tags

fails5

mc-coach-assess

Assessment flashcards for MetaCoders coach training.

This package needs documentation

This package needs tags

fails5

mcfly

Embedded Package Documentation Runtime

Docs:
succeeds0

measures

Units and measures with basic arithmetic operations.

Docs:
Tags:
succeeds0

measures-with-dimensions

based on measures, but with dimensions and types

succeeds0

mediafile

Media File Metadata Utilities

Docs:
succeeds0

medic

A debugging tool for better printf

Docs:

This package needs tags

succeeds; has failing tests4

megaparsack

practical parser combinators

succeeds0

megaparsack-doc

documentation (no implementation) for “megaparsack”

succeeds0

megaparsack-lib

implementation (no documentation) for “megaparsack”

This package needs documentation

succeeds3

megaparsack-parser

built-in parsers implemented using megaparsack

This package needs documentation

succeeds3

megaparsack-parser-tools

helpers for using megaparsack with parser-tools

This package needs documentation

succeeds3

memcached

A native Racket interface to memcached

Docs:
Tags:
succeeds0

memo

Memoization with finalizers and cleanup

Docs:
succeeds0

memoize

Memoization for functions

Docs:

This package needs tags

succeeds1

meow

Personal utilities.

This package needs documentation

Tags:
fails5

metapict

Create beautiful pictures and diagrams

Docs:
succeeds; has failing tests4

mf-apply

PLT Redex lang-extension for checked metafunction application

Docs:
succeeds0

mic1

tools for MIC-1 CPU architecture

Docs:
Tags:
succeeds; has failing tests4

midi-readwrite

simple functions to read MIDI (.mid) files

Docs:
succeeds0

mike

Micro Make replacement

Docs:
succeeds0

mind-map

Write and render mind maps in Racket.

Docs:
fails5

minetest

Compile-time framework for getting 2htdp/image objects into Minetest (as blocks, items, recipes, and/or schematics). Only works on Linux.

Docs:
fails5

mini-theme

A minimal DrRacket theme

succeeds0

minikanren

A Planet 2 package for minikanren

Tags:
succeeds0

minikanren-ee

An embedded expander wrapper around faster-minikanren, offering better error messages and some automatic program transformations

This package needs documentation

This package needs tags

succeeds3

minipascal

MiniPascal as a Racket language

This package needs documentation

succeeds3

misc1

Miscellaneous utilities collection.

Docs:

This package needs tags

succeeds1

mischief

Mischief: A Racketeer's Toolkit

Docs:
succeeds; has failing tests4

mischief-dev

Mischief: A Racketeer's Toolkit [development branch]

Docs:
succeeds; has conflicts; has failing tests4

mixfix

Mixfix for Racket

Docs:
Tags:
succeeds0

mk

This package needs a description

This package needs documentation

fails5

mm

an environment for exploring memory management

This package needs documentation

Tags:
succeeds3

mmap

Wrapper for the system mmap() function

This package needs documentation

succeeds3

mobilpay

A barebones implementation of mobilpay's credit card ordering interface in Racket.

This package needs documentation

succeeds3

mock

A library for creating test mocks

succeeds0

mock-rackunit

RackUnit checks for testing with mocks from the mock package

succeeds0

mockfighter

Stockfighter-like API for a limit order exchange

succeeds; has dependency problems; has failing tests4

mode-lambda

2d sprite-based graphics engine

succeeds0

mojilang

This package needs a description

This package needs documentation

This package needs tags

succeeds3

molis-hai

This package includes the code associated with my Dickens-based (or any-corpus-based) password generator, Molis Hai. See also http://www.brinckerhoff.org/molis-hai/pwgen.html

Docs:
succeeds0

monad

A generic/polymorphic monad library for Racket.

This package needs documentation

Tags:
succeeds3

mongodb

A native Racket interface to MongoDB & BSON

Docs:
Tags:
succeeds; has failing tests4

monitors

Java style monitors for Racket objects

Docs:
succeeds0

monotonic

Monotonic time for Racket.

Docs:
succeeds0

mordae

Personal utilities, do not use directly!

This package needs documentation

This package needs tags

succeeds3

morsel-doc

documentation for morsel-lib

Docs:
Tags:
succeeds0

morsel-lib

core of Plisqin

This package needs documentation

succeeds3

mosquitto-ffi

An FFI binding of libmosquitto for racket

This package needs documentation

succeeds; has failing tests4

mox

Open XML for Microsoft Office

Docs:
fails5

mred-designer

A WYSIWYG GUI generator for Racket

This package needs documentation

Tags:
succeeds3

msgpack

Implementation of the MessagePack protocol.

Docs:
succeeds; has failing tests4

msgpack-rpc

A MessagePack-RPC client for Racket

succeeds0

multi-file-lang

a #lang language for multiple files in one

Tags:
succeeds; has failing tests4

multi-id

Define identifiers which act as a type-expander and match-expander and macro and identifier macro and set! transformer

succeeds0

multicolumn

GUI widget with multicolumn data table. Columns width may be set in pixels or in percents.

This package needs documentation

Tags:
succeeds3

multimethod

This package needs a description

This package needs tags

succeeds2

multimethod-doc

This package needs a description

This package needs tags

succeeds2

multimethod-lib

This package needs a description

This package needs documentation

This package needs tags

succeeds3

multimethod-test

This package needs a description

This package needs documentation

This package needs tags

succeeds3

multipath-daemon

Library for communication with the multipathd process via it's UNIX domain socket.

This package needs tags

succeeds1

multiscope

This package needs a description

This package needs documentation

This package needs tags

succeeds3

mumble-ping

Ping Mumble servers

Tags:
succeeds0

music

A music notation language. Outputs MIDI. See more on github.

Docs:
fails5

mutt

Racket API for the Mutt email client

Docs:
succeeds0

my-cond

a version of cond that supports "cond-expanders" and a for/cond-clause form, allowing it to iterate though conditions

Tags:
succeeds0

namespaced-transformer

This package needs a description

This package needs tags

succeeds2

namespaced-transformer-doc

This package needs a description

This package needs tags

succeeds2

namespaced-transformer-lib

This package needs a description

This package needs documentation

This package needs tags

succeeds3

nanopass

This package needs a description

Docs:
Tags:
succeeds2

nasa-open-api

Library for a handful of NASA's Open APIs

succeeds0

nat-traversal

NAT traversal utilities, including NAT-PMP and UPnP.

succeeds; has dependency problems; has failing tests4

natural-cli

Easily write large command-line interfaces (CLIs)

succeeds0

neo4j-lib

Neo4j interface

Docs:
succeeds0

neologia

A language for creating and managing dictionaries and lexicons

Docs:
succeeds; has dependency problems0

nested-hash

Functions to allow for easy nested hash setting and getting.

succeeds0

net-cookies

RFC6265-compliant cookie handling for client and server

Docs:
Tags:
0

net-cookies-doc

RFC6265-compliant cookie handling for client and server (doc)

Docs:
Tags:
0

net-cookies-lib

RFC6265-compliant cookie handling for client and server (lib)

This package needs documentation

Tags:
3

net-cookies-test

RFC6265-compliant cookie handling for client and server (test)

This package needs documentation

Tags:
3

net-ip

IP address utilities (implementation and docs).

Docs:
succeeds0

net-ip-doc

IP address utilities (docs only).

Docs:
succeeds0

net-ip-lib

IP address utilities (implementation only).

This package needs documentation

succeeds3

net-ip-test

Tests for net-ip-lib.

This package needs documentation

succeeds3

net-jwt

JSON Web Token / JSON Web Signature codec, verification, signing

Docs:
succeeds0

net-pem

Privacy Enhanced Mail (PEM) Parsing and Unparsing

This package needs documentation

succeeds3

net2

Highly experimental and aspirational networking library. Not yet fit for public consumption.

Docs:
succeeds0

netrc

Find entries in ~/.netrc files

Docs:
Tags:
succeeds0

neu-cs2500-handin

This package needs a description

This package needs documentation

This package needs tags

succeeds3

neuron

Decentralized Software Organisms

Docs:
succeeds; has dependency problems0

neuron-doc

Documentation for neuron

Docs:

This package needs tags

succeeds; has dependency problems1

neuron-lib

Impelementation of neuron

This package needs documentation

This package needs tags

succeeds; has failing tests4

neuron-shell

Interactive UI for Neuron

This package needs documentation

This package needs tags

fails5

nevermore

A silly little Racket package that will never change. Its purpose is to be used to test racket-docker builds.

This package needs documentation

succeeds3

nix

Racket bindings to common UNIX APIs.

This package needs documentation

succeeds; has dependency problems; has failing tests4

nlopt

FFI wrapper for the NLopt nonlinear optimization library.

Docs:
succeeds; has dependency problems; has failing tests4

no-vert-bar-lang

a lang-extension that reads `|` as a normal character

succeeds0

noise

Implements perlin and simplex noise in typed racket based on the implementations from http://webstaff.itn.liu.se/~stegu/simplexnoise/simplexnoise.pdf

Docs:
succeeds; has conflicts0

non-det

Racket non-determinism

This package needs documentation

Tags:
succeeds; has dependency problems3

north

A database migration tool.

Docs:
succeeds0

nproc

A simple wrapper to num_processors in gnulib's nproc module

Docs:
Tags:
succeeds; has failing tests4

numformat-old

Number Formatting

Tags:
succeeds0

numspell

Spelling Numbers as English

Docs:
Tags:
succeeds0

nvim-client

API client for the Neovim text editor

succeeds0

object-backtrace

This package needs a description

This package needs documentation

This package needs tags

succeeds; has dependency problems3

ocelot

A solver-aided relational logic DSL

Docs:
fails5

odysseus

Library with handy general-purpose functions and macro as well as specific ones

Docs:

This package needs tags

succeeds; has dependency problems; has failing tests4

oii-422-handin-client

Handin Client for PUCV PL course OII-422

This package needs documentation

This package needs tags

succeeds; has failing tests4

onlog

Perform operations on log files

Docs:
fails5

open-app

A utility for opening a file or url with the default application.

Docs:
succeeds0

openal

FFI for OpenAL

Docs:
Tags:
succeeds0

openapi-type-provider

Type provider for OpenAPI schemas. Generate well-typed client libraries in Typed Racket.

fails5

opencl

A Racket interface to OpenCL using an FFI

Docs:
succeeds; has failing tests4

opencpu

A Racket library for calling R functions through the OpenCPU API.

Docs:
fails5

opencv

FFI bindings to the OpenCV library

This package needs documentation

succeeds; has failing tests4

opengl

Exhaustive Racket bindings to OpenGL

Docs:
succeeds; has failing tests4

openh264-x86_64-macosx

This package needs a description

This package needs documentation

succeeds3

openmpi

A Racket interface to MPI based on an FFI to OpenMPI

Docs:
succeeds; has failing tests4

openweather

Library for OpenWeatherMap's API. Only US, with zipcode is currently supported.

succeeds0

operational-transformation

Operational Transformation (OT) for Racket. Wrapper package for both operational-transformation-lib and operational-transformation-demo.

This package needs documentation

This package needs tags

succeeds3

operational-transformation-demo

Demo collaborative editor using Operational Transformation (OT).

This package needs documentation

This package needs tags

succeeds3

operational-transformation-lib

Operational Transformation (OT) for Racket. Just the operational-transformation collect, no demo included.

This package needs documentation

This package needs tags

succeeds3

opt

Optional and Either data type utilities. Provides util function for Typed Racket's Option type as well as defines an Either type.

Docs:
succeeds0

optimization-coach

Optimization Coach Plug-In for DrRacket

0

option-bind

Monadic shorthand for propagating #f in Option types

This package needs tags

succeeds1

New

org

Org mode as #lang org and DrRacket support.

This package needs documentation

Tags:
fails5

org-mode

A native Racket reader and writer for org-mode files.

This package needs documentation

Tags:
succeeds3

osc

Open Sound Control data definitions

Docs:
Tags:
succeeds0

otp

Implementation of one-time passwords as specified by RFC4226 and RFC6238.

Docs:
Tags:
succeeds; has dependency problems0

otp-doc

This package needs a description

Docs:

This package needs tags

succeeds2

otp-lib

This package needs a description

This package needs documentation

This package needs tags

succeeds3

overeasy

Racket Language Test Engine

Docs:
Tags:
succeeds0

overscan

A toolkit and live coding environment for broadcasting video.

Docs:
succeeds; has dependency problems; has failing tests4

package-analysis

A package for analyzing the Racket package ecosystem

Tags:
succeeds0

New

Package-Backward-Compatibility-Checker

check backward compatibility of changes to Racket and/or base packages

This package needs documentation

Tags:
succeeds; has dependency problems3

packet-socket

Access to raw Ethernet frames from Racket

This package needs documentation

Tags:
succeeds; has failing tests4

Packrat

A small library of parsing combinators and a syntax for defining parsers based on the portable packrat parsing library by Tony Garnock-Jones.

Docs:
succeeds0

paddle

Paddle is a microworld.

Docs:
fails5

pangu

Paranoid text spacing with Racket.

Docs:

This package needs tags

succeeds; has dependency problems1

parameter

Parameter utilities

Docs:

This package needs tags

succeeds; has dependency problems1

New

parendown

A weak opening parenthesis, good for eliminating indentation.

This package needs documentation

succeeds3

New

parendown-doc

A weak opening parenthesis, good for eliminating indentation. (doc)

Docs:
succeeds0

New

parendown-lib

A weak opening parenthesis, good for eliminating indentation. (lib)

This package needs documentation

succeeds3

New

parendown-test

A weak opening parenthesis, good for eliminating indentation. (test)

This package needs documentation

succeeds3