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.
1410 packages (see all, including packages tagged as "deprecated", "main-distribution", or "main-test")
| Package | Description | Build | |
|---|---|---|---|
1d6 | A partial implementation of the Troll dice-rolling language in Racket. This package needs documentation | succeeds | |
2019-nCov-report | 每日新型肺炎统计报告 | succeeds; has failing tests | |
2048 | The game of 2048 in Racket | succeeds | |
2htdp-typed | A partial version of 2htdp for Typed Racket | succeeds | |
3d-model | 3d-model vertex/tri representaion library | succeeds; has dependency problems | |
3s | positional sound and mixing for lux and other programs | fails | |
_ | This package needs a description This package needs tags | succeeds | |
_-exp | A metalanguage similar to #lang at-exp, but with a configurable command character | succeeds | |
abnf | Attributed BNFs for Scribble This package needs documentation | succeeds | |
acl2s-scribblings | a scribble document for beginner mode of ACL2s This package needs tags | succeeds | |
acmart | #lang for the acmart paper format This package needs documentation This package needs tags | fails | |
acmsmall | Port of the acmsmall style to Scribble | succeeds; has failing tests | |
Adapton | Adapton: Composable, Demand-Driven Incremental Computation | succeeds | |
adjutor | A helper library | succeeds | |
admiral-edu-server | The Racket code associated with the Captain Teach server This package needs documentation | succeeds; has failing tests | |
adventure | A teaching language for making simple adventure games -- i.e. with NPCs and quests. This package needs documentation This package needs tags | fails | |
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 | fails | |
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 | fails | |
affix | Managing Racket application state | succeeds; has failing tests | |
afl | a lang-extension that provides rackjure-like anonymous function literals | succeeds | |
aful | A fork of #lang afl which also supports #lang aflu/unhygienic. | succeeds | |
Agatha | Uma linguagem para Logica de primeira ordem | succeeds | |
agile | #lang agile ;; == (require (for-syntax racket/base syntax/parse)) | succeeds | |
alexis-multicast | One-to-many buffered asynchronous channels This package needs tags | succeeds | |
alexis-util | Various utilities and helper functions I've found useful | succeeds | |
alexknauth-music | Some stuff for representing music and music theory This package needs documentation This package needs tags | succeeds; has failing tests | |
algebraic | Algebraic Racket | succeeds | |
algebraic-app | Inline operator syntax for Algebraic Racket | fails | |
amap | Gaode Amap web service API | succeeds; has failing tests | |
anaphoric | Anaphoric versions of `if`, `when` and `cond`. They bind the value of the condition expression to `it`. | succeeds | |
anarki | Community-managed variant of the Arc dialect of Lisp | succeeds | |
animal-assets | Various openly licensed images This package needs documentation This package needs tags | fails | |
animated-canvas | Package converted from PLaneT. No code changes. Still in testing. | fails | |
ansi | ANSI and VT10x escape sequences for Racket. This package needs documentation | succeeds | |
ansi-color | A library to make it easy to write colorized and styled output in terminals that support ANSI escape codes (most command lines). | succeeds | |
ANU-Web-Quantum-RNG | To fetch true random numbers from the quantum random number generator of the Australian National University (QRNG@ANU). | succeeds | |
aoc-racket | Solutions & explanations — in Racket, of course — for the Advent of Code puzzles | succeeds | |
aosd | FFI bindings to the Atheme Project's libaosd This package needs documentation | succeeds; has failing tests | |
apply | 應用序語言 This package needs documentation | succeeds; has dependency problems | |
appveyor-racket | Help for using AppVeyor with Racket projects | succeeds | |
apse | a pixel-based sprite editor (good with mode-lambda) This package needs documentation | succeeds | |
argo | Validate JSON data using JSON Schema. | succeeds | |
arguments | A simple data structure for a group of function arguments. Used by the mock package. | succeeds | |
arroy | A little library for modeling labeled transition systems with a collaborative Web stepper. This package needs documentation | succeeds | |
asi64 | The Racket based 6502 assembler | succeeds | |
asm | A multi-platform assembler for Racket (supports x64 and generic instruction sets) | succeeds; has failing tests | |
asn1 | ASN.1 library | succeeds | |
asn1-doc | ASN.1 library | succeeds | |
asn1-lib | ASN.1 library This package needs documentation | succeeds | |
asn1-test | ASN.1 library This package needs documentation | succeeds | |
asyncunit | RackUnit helper functions for asynchronous channels | succeeds | |
atomichron | A microbenchmarking library | succeeds | |
auto-syntax-e | For syntax pattern variables: instead of raising an error, x is roughly equivalent to (syntax->datum #'x). | succeeds | |
autoffi | Automatically generating FFI bindings for Racket This package needs documentation | fails | |
automata | a library for defining efficient automata using match patterns | succeeds | |
automata-doc | a library for defining efficient automata using match patterns | succeeds | |
automata-lib | a library for defining efficient automata using match patterns This package needs documentation | succeeds | |
automata-test | a library for defining efficient automata using match patterns This package needs documentation | succeeds | |
auxiliary-macro-context | Match-expander-style syntactic extensibility outside expressions. This package needs documentation This package needs tags | succeeds | |
avl | AVL Trees for Racket This package needs tags | succeeds | |
aws | Amazon Web Services including S3, SDB, SES, SNS, SQS, CloudWatch, Glacier, Dynamo, and Route 53. | succeeds | |
aws-cloudformation-deploy | core AWS Cloudformation deployment scripting library This package needs documentation | fails | |
aws-cloudformation-template | statically typed DSL for writing AWS CloudFormation templates
This package needs tags | fails | |
aws-cloudformation-template-doc | documentation (no implementation) for “aws-cloudformation-template”
This package needs tags | fails | |
aws-cloudformation-template-lib | implementation (no documentation) for “aws-cloudformation-template” This package needs documentation This package needs tags | fails | |
axe | Handy utilities(macros/functions) for racket | succeeds | |
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. | succeeds | |
New | basalt | A constraint-based programming language for designing figures and diagrams This package needs documentation | fails |
base32 | Provides encoding to and from Crockford's Base32 encoding. | succeeds | |
basedir | XDG Basedir Spec library | succeeds | |
battle-arena | A teaching language for creating battle arena style RPG games. Built on #lang game-engine. This package needs documentation | fails | |
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 | fails | |
battlearena | Clone of package battle-arena. Teaching language for making battle royal type games. This package needs documentation This package needs tags | fails | |
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 | fails | |
battlearena-fortnite | Teaching language. Specialized look-and-feel for battle-arena games. This package needs documentation This package needs tags | fails | |
battlearena-starwars | Teaching language. Specialized look-and-feel for battle-arena games. This package needs documentation This package needs tags | fails | |
bazaar | A personal collection of useful definitions. Quite unstable. This package needs documentation | succeeds | |
bcrypt | A Racket interface to the bcrypt key derivation function. This package needs documentation | succeeds | |
beautiful-racket | Resources for the “Beautiful Racket” book | succeeds | |
beautiful-racket-demo | Sample projects for “Beautiful Racket” This package needs documentation | succeeds | |
beautiful-racket-lib | support library for `beautiful-racket` This package needs documentation | succeeds | |
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. | succeeds | |
benchmark | Benchmarking library | succeeds; has failing tests | |
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 problems | |
bencode | BitTorrent Bencode Decoding | succeeds | |
bencode-codec | Library for reading and writing Bencoded data. | succeeds | |
berkeley | Support library for CS 61AS at UC Berkeley (http://cs61as.org). This package needs documentation This package needs tags | fails | |
binary-class | Classes for writing and reading binary data | succeeds | |
binary-class-dbf | Interface to *.dbf files (dBase, Foxpro, ...) This package needs documentation | succeeds | |
binary-class-exif | Class for reading and writing Exif in JPEG or TIFF This package needs documentation | succeeds | |
binary-class-mp3 | MP3 ID3v2.1 and ID3v2.2 tags parser | succeeds | |
binary-class-riff | Classes for reading and writing RIFF files | succeeds | |
New | binary-word | This package needs a description This package needs documentation This package needs tags | fails |
binaryio | functions for reading and writing binary data | succeeds | |
binaryio-lib | functions for reading and writing binary data This package needs documentation | succeeds | |
binutils | Utilities for manipulating machine code object files | succeeds | |
bitsyntax | Erlang-like binary pattern-matching and bit string manipulation for Racket. | succeeds | |
bloggy | A very simple Racket blog system This package needs documentation | succeeds | |
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. | succeeds | |
bnf | Concise Typed Racket syntax for declaring recursive data in BNF This package needs documentation | succeeds | |
bookcover | A language/library for creating PDF files suitable for use as printed book covers. | succeeds | |
br-parser-tools | fork of `parser-tools` with some modernizations & improvements. Backward compatible with `parser-tools`. | succeeds | |
br-parser-tools-doc | fork of `parser-tools-doc` for Beautiful Racket | succeeds | |
br-parser-tools-lib | fork of `parser-tools-lib` for Beautiful Racket This package needs documentation | succeeds | |
brag | Modernized & improved version of `ragg` language that generates a parser from a BNF grammar | succeeds | |
brag-lib | This package needs a description This package needs documentation | succeeds | |
brazilian-law | definitions for Brazilian laws; also parses them if in suitable plaintext format. This package needs tags | succeeds | |
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 | fails | |
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 | fails | |
brush | A semi-literate programming package for Scribble | succeeds | |
bs | A Bitcoin Script Implementation for testing Script riddles. | succeeds; has dependency problems | |
bv | Bitvectors for Racket a-la Rosette This package needs documentation | succeeds | |
bystroTeX | A tool for preparing HTML slides with LaTeX formulas, based on Scribble | succeeds; has conflicts; has dependency problems; has failing tests | |
bzip2 | bzip2 compression and decompression | succeeds | |
c | A language level for writing C code in DrRacket. | succeeds; has conflicts | |
c-defs | Simple C value access | succeeds; has failing tests | |
c-utils | Utilities for manipulating C source code. | succeeds | |
calendar | This package needs a description This package needs tags | succeeds | |
canonicalize-path | This package needs a description | succeeds | |
cartoon-assets | A package of creative-commons images with a cartoon theme This package needs documentation This package needs tags | fails | |
casemate | Case converter in the style of camel-snake-kebab | succeeds | |
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 tests | |
ccnum | Credit Card Number Utilities | succeeds | |
chain-module-begin | Helper to define meta-languages which can chain-call other languages. Status: Experimental (no backwards compatibility). | succeeds | |
character-creator | For making sprite sheets from the Liberated Pixel Cup assets, plus some bonus assets from Sithjester. This package needs documentation | fails | |
charterm | Character-cell Terminal Interface | succeeds | |
check-sexp-equal | A simple extension for rackunit that provides s-expression diffs on failure. | succeeds; has dependency problems; has failing tests | |
chess | A library for modeling games of chess | succeeds | |
chez-runner | run chez scheme programs in drracket This package needs documentation | succeeds | |
chief | Chief runs Procfile-based applications. Like foreman, but written in Racket. This package needs documentation | succeeds | |
Chinese-4-Stratego | Chinese Stratego This package needs documentation | fails | |
chive | an extended scheme library to easily cook practical applications | succeeds | |
chk | a minimal tester | succeeds; has dependency problems | |
chk-doc | a minimal tester | succeeds | |
chk-lib | a minimal tester This package needs documentation | succeeds | |
chk-test | a minimal tester This package needs documentation | succeeds; has dependency problems | |
choose-lang | Pick #lang at read-time | succeeds | |
choose-out | Conditional provide (choose during expansion of importing module) | succeeds | |
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. | fails | |
cKanren | Constraint programming language This package needs documentation This package needs tags | succeeds; has failing tests | |
clang | Toolbox for C family in Typed Racket
| succeeds; has conflicts | |
classicthesis-scribble | Scribble wrapper for the classicthesis LaTeX style. This package needs documentation | succeeds | |
cldr-bcp47 | API for BCP47 extensions to CLDR | succeeds | |
cldr-core | API for cldr-core data set | succeeds | |
cldr-dates-modern | API for cldr-dates-modern data set | succeeds | |
cldr-localenames-modern | API for cldr-localenames-modern data set | succeeds | |
cldr-numbers-modern | API for cldr-numbers-modern data set | succeeds | |
clicker-assets | Assets for clicker games This package needs tags | succeeds; has dependency problems | |
cmx | A calculus of mediated exchange
| fails | |
collections | A generic interface for collections This package needs tags | succeeds | |
collections-doc | This package needs a description This package needs tags | succeeds | |
collections-lens | Lenses for generic collections | succeeds; has dependency problems | |
collections-lib | This package needs a description This package needs documentation This package needs tags | succeeds | |
collections-test | This package needs a description This package needs documentation This package needs tags | succeeds | |
colon-kw | a lang-extension for writing :kw for #:kw | succeeds | |
colon-match | match with colon notation, based on discussion with Jens Axel Søgaard on users list | succeeds | |
color-flood | A game where the player must fill the board with colors before its opponent This package needs documentation | succeeds | |
color-strings | Makes identifiers for common colors. Prevents silly mispellings. This package needs tags | succeeds; has conflicts; has dependency problems | |
colorize | colorize your console | succeeds | |
colormaps | Additional colormaps for the Racket plot package | succeeds | |
colors | A library for HSB colors. | succeeds | |
colors-as-strings | Provides common color strings as identifiers. This package needs tags | succeeds; has conflicts; has dependency problems | |
combinator-parser | A combinator parser library retained for backwards compatibility. Using parser-tools/yacc or ragg instead is recommended. | succeeds | |
comm-panel | Racket GUI widget for sending, receiving, listening, and broadcasting strings over AWS SQS. This package needs documentation | succeeds; has dependency problems; has failing tests | |
command-line-ext | Extensible form of command-line with command-line-flag-expanders | succeeds | |
command-tree | Handle tree-style (à la git) command line arguments This package needs documentation | succeeds | |
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 | fails | |
compact-annotations | Function type annotation syntax for Typed Racket similar to Haskell | succeeds | |
compiler-goodies | This package needs a description This package needs tags | succeeds | |
component | Simple dependency injection (docs and implementation). | succeeds | |
component-doc | Simple dependency injection (docs). | succeeds | |
component-lib | Simple dependency injection (implementation only). This package needs documentation | succeeds | |
component-test | Tests for component-lib. This package needs documentation | succeeds | |
compose-app | #%app syntax for function composition, (a .. b .. c) => (lambda (v) (a (b (c v)))) | succeeds | |
cond-contract | Conditional contracts for Racket | succeeds | |
cond-strict | cond: what it should have been | succeeds | |
continued-fractions | Exact computer arithmetic and base conversion via continued fractions. | succeeds | |
contract-repl | A REPL that prints contracts on values This package needs documentation | succeeds | |
control | Control structures | succeeds | |
country | Facilities for working with country data. | succeeds | |
cover | A code coverage tool This package needs documentation | succeeds | |
cover-benchmarks | benchmarks for cover This package needs documentation | succeeds; has dependency problems | |
cover-cobertura | This package needs a description This package needs documentation | succeeds | |
cover-codecov | This package needs a description This package needs documentation | succeeds | |
cover-coveralls | This package needs a description This package needs documentation | succeeds; has failing tests | |
cover-doc | A code coverage tool, documentation | succeeds | |
cover-lib | A code coverage tool, implementation part This package needs documentation | succeeds | |
cover-test | A code coverage tool, test part This package needs documentation | succeeds | |
cow-repl | Cowsay in your REPL This package needs documentation This package needs tags | succeeds | |
cpu-affinity | A library for getting/setting CPU affinity | succeeds; has failing tests | |
cpuinfo | CPU Information This package needs tags | succeeds | |
crc32c | Implementation of CRC32-C | succeeds | |
crypto | Cryptography library | succeeds | |
crypto-doc | Cryptography library | succeeds | |
crypto-lib | Cryptography library This package needs documentation | succeeds | |
crypto-test | Cryptography library This package needs documentation | succeeds; has failing tests | |
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 | succeeds | |
New | cs-bootstrap | Creates Chez Scheme boot files from source This package needs documentation This package needs tags | succeeds; has failing tests |
cs2500f16-jsonlab | Teachpack for CS2500 JSON lab | succeeds | |
cs7480-util | Static analysis utilities | succeeds | |
csc104 | Language for University of Toronto course CSC104 This package needs documentation | succeeds | |
csexp | Canonical s-expressions for Racket. | succeeds; has dependency problems | |
csfml | Bindings for CSFML 2.5 (https://www.sfml-dev.org/download/csfml/) This package needs documentation | succeeds; has failing tests | |
csp | solve constraint-satisfaction problems | succeeds | |
csrmesh | Implementation of the Bluetooth CSR Mesh protocol. | succeeds | |
css-expr | S-expression-based CSS | succeeds | |
css-tools | Tools for generating & manipulating CSS (unstable) | succeeds | |
csv | csv file reader and writer This package needs tags | succeeds; has dependency problems | |
csv-reading | Comma-Separated Value (CSV) Parsing | succeeds | |
csv-writing | simple functions to write CSV files (and TSV files) | succeeds | |
cuecore | CueCore Lighting Control This package needs tags | succeeds | |
cultural-anthropology | Metapackage that bundles all the packages discussed or mentioned in Language-oriented Programming in Racket: A Cultural Anthropology This package needs documentation | fails | |
cur | Dependent types and meta-programming | succeeds | |
cur-doc | This package needs a description This package needs tags | succeeds; has dependency problems | |
cur-lib | This package needs a description This package needs documentation This package needs tags | succeeds | |
cur-test | This package needs a description This package needs documentation This package needs tags | succeeds | |
curly-fn | This package needs a description | succeeds | |
curly-fn-doc | This package needs a description This package needs tags | succeeds | |
curly-fn-lib | This package needs a description This package needs documentation This package needs tags | succeeds | |
curly-fn-test | This package needs a description This package needs documentation This package needs tags | succeeds | |
curved-text | This package needs a description This package needs documentation | fails | |
custom-load | A load handler that avoids stale zo files. This package needs tags | succeeds | |
dali | Simple text templating (mustache/handlebars style) for Racket. | succeeds | |
dan-scheme | A very little language for situations where simplicity is desired over convenience This package needs tags | succeeds | |
darwin | Static blog generator application. Supports Twitter Bootstrap, Pygments, more. | fails | |
data-frame | A data frame implementation for Racket | succeeds | |
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. | succeeds | |
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 | fails | |
data-table | data-table provides a set of tools for working with tabular data. Still under construction.
| fails | |
database-url | Parse DATABASE_URL for use with the Racket db module | succeeds | |
datacell | A simple embedded dataflow language | succeeds | |
datatype | Algebraic(-like) Data Types This package needs documentation This package needs tags | succeeds | |
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. | succeeds | |
dbm | An interface to UNIX dbm files using a libdbm FFI | succeeds; has failing tests | |
dbus | Native D-Bus for Racket | succeeds | |
ddict | Deterministic Dictionaries | succeeds | |
debug | a lang-extension for debugging, and a macro for inserting a debug-repl | succeeds; has failing tests | |
debug-scopes | Some utilities which help debugging scope-related issues for unhygienic macros | succeeds | |
deferred | A simple library for deferring asynchronous tasks until a specified time This package needs tags | succeeds | |
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 problems | |
define-match-spread-out | a version of define that allows definitions to be spread across a file | succeeds | |
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 | succeeds | |
defpat | a version of define for defining functions with match-patterns as arguments | succeeds | |
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.
| fails | |
delimit-app | An #%app macro that changes meaning based on paren shape | succeeds | |
derp-3 | The Derp 3 parser, based on "Parsing with Derivatives," code written by Michael D. Adams (www.michaeldadams.org) This package needs documentation | succeeds | |
derpy | Presentation Room Control This package needs tags | succeeds; has failing tests | |
des | des is a racket implementation of DES/TDES(TripleDES/TDEA/3DES) encryption/decryption. | succeeds | |
describe | Doug Williams's 'describe' package from PLaneT | succeeds | |
design-by-numbers | An implementation of John Maeda's Design by Numbers language in Racket as a #lang.
| fails | |
deta | A functional database mapper. (docs and implementation) | succeeds | |
deta-doc | A functional database mapper. (docs only) | succeeds | |
deta-lib | A functional database mapper. (implementation only) This package needs documentation | succeeds | |
deta-test | A functional database mapper. (tests only) This package needs documentation | succeeds | |
New | detail | detail used to reveal the details of the function | succeeds |
dherman-struct | A port of David Herman's struct.plt planet package This package needs documentation This package needs tags | succeeds | |
diagrama | A diagram drawing library, implementation This package needs documentation | succeeds | |
diagrama-doc | A diagram drawing library, documentation | succeeds | |
diagrama-lib | A diagram drawing library, implementation This package needs documentation | succeeds | |
diagrams | Draw technical diagrams This package needs documentation | succeeds | |
diff-merge | "Myers-Ukkonen" diff and diff3-based merge for sequences This package needs documentation | succeeds | |
digimon | The (typed) core to construct the digital world | succeeds | |
disassemble | Disassembler for JIT-compiled functions. This package needs documentation | succeeds | |
disposable | Provides an abstraction for values associated with external resources that allows automatic resource pooling, per-thread virtual construction, and monadic composition | succeeds | |
disposable-test | Tests for the "disposable" package | succeeds | |
distro-build | Tools for constructing a distribution of Racket This package needs tags | succeeds | |
distro-build-client | client-side part of "distro-build" This package needs documentation This package needs tags | succeeds | |
distro-build-doc | documentation part of "distro-build" This package needs tags | succeeds | |
distro-build-lib | implementation (no documentation) part of "distro-build" This package needs documentation This package needs tags | succeeds | |
distro-build-server | server-side part of "distro-build" This package needs documentation This package needs tags | succeeds | |
distro-build-test | Tests for "distro-build" This package needs documentation This package needs tags | succeeds | |
dlm-read | This package needs a description This package needs tags | succeeds | |
dm | Linux Device Mapper bindings for Racket. | succeeds; has failing tests | |
doc-coverage | A package for inspecting and testing a module's documentation of its provided bindings | succeeds | |
doodle | This package needs a description | succeeds | |
dos | Delimited-continuation-based Operating-system Simulator | succeeds | |
dotenv | Override environment variables by loading .env files. | succeeds | |
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). | succeeds | |
dracula | Dracula: ACL2 theorem prover tools in DrRacket This package needs documentation This package needs tags | fails | |
dracula-theme | Dracula color scheme for DrRacket (https://draculatheme.com/) This package needs documentation | succeeds | |
draw-i386-macosx | native libraries for "draw" package This package needs documentation This package needs tags | ||
draw-i386-macosx-2 | native libraries for "draw" package This package needs documentation This package needs tags | ||
draw-ppc-macosx | native libraries for "draw" package This package needs documentation This package needs tags | ||
draw-ppc-macosx-2 | native libraries for "draw" package This package needs documentation This package needs tags | ||
draw-win32-i386 | native libraries for "draw" package This package needs documentation This package needs tags | ||
draw-win32-i386-2 | native libraries for "draw" package This package needs documentation This package needs tags | ||
draw-win32-x86_64 | native libraries for "draw" package This package needs documentation This package needs tags | ||
draw-win32-x86_64-2 | native libraries for "draw" package This package needs documentation This package needs tags | ||
draw-x86_64-linux-natipkg-2 | native libraries for "draw" package This package needs documentation This package needs tags | ||
draw-x86_64-macosx | native libraries for "draw" package This package needs documentation This package needs tags | ||
draw-x86_64-macosx-2 | native libraries for "draw" package This package needs documentation This package needs tags | ||
drbayes | Probabilistic programming language This package needs documentation | fails | |
drcomplete | The package assembles drcomplete plugins This package needs documentation | succeeds | |
drcomplete-auto | automatic triggering of autocompletion This package needs documentation | succeeds | |
drcomplete-base | basic framework for drcomplete This package needs documentation | succeeds | |
drcomplete-filename | A DrRacket plugin for autocomplete for filenames, only active inside string. This package needs documentation | succeeds | |
drcomplete-module | autocomplete for modules This package needs documentation | succeeds | |
drcomplete-required | A DrRacket plugin for autocomplete for required identifiers. This package needs documentation | succeeds | |
drcomplete-user-defined | A DrRacket plugin for autocomplete for user-defined identifiers. This package needs documentation | succeeds | |
drdr | DrDr, Racket's continuous integration system This package needs documentation This package needs tags | succeeds | |
drdr2 | Prototype replacement for DrDr This package needs documentation This package needs tags | succeeds | |
dropbox | SDK for Dropbox | succeeds; has failing tests | |
drracket-ayu-mirage | 🎨 An ayu mirage color scheme for DrRacket This package needs documentation | succeeds | |
drracket-cyberpunk | This package needs a description This package needs documentation | succeeds | |
drracket-material | This package adds a Material colorscheme to DrRacket. This package needs documentation | succeeds | |
drracket-paredit | paredit keybindings for DrRacket This package needs documentation This package needs tags | succeeds; has failing tests | |
drracket-scheme-dark-green | This is a white-on-black dark green colorscheme for DrRacket. This package needs documentation | succeeds | |
drracket-solarized | Solarized colorscheme for Drracket This package needs documentation | succeeds | |
drracket-vim-tool | DrRacket plugin that simulates vim keybindings This package needs documentation | succeeds | |
drracket-zenburn | The Zenburn colorscheme for DrRacket. This package needs documentation | succeeds | |
DrRacketTheme | set the background image for DrRacket View -> Set Background This package needs documentation | succeeds | |
Drrackgit | A git plugin for DrRacket. This package needs documentation | succeeds; has dependency problems; has failing tests | |
dset | Deterministic Sets | succeeds | |
dssl | Data Structures Student Language: an extension of ASL for easier imperative programming. | succeeds | |
dssl2 | A language for data structures students | succeeds | |
dtc | Languages for book "Don't Teach Coding" This package needs documentation This package needs tags | fails | |
dynamic-ffi | Dynamically generate FFI bindings to C, and write C code inline in your Racket programs. | succeeds | |
ebml | A library for reading and writing EBML files. | succeeds | |
echonest | Wrapper for The Echo Nest web API. This package needs documentation | succeeds; has failing tests | |
ecmascript | Parser, runtime and #lang for ECMAScript | succeeds | |
ee-lib | Utilities for defining embedded macro expanders This package needs documentation This package needs tags | fails | |
effection | A library for custom side effects. | succeeds | |
effection-doc | A library for custom side effects. (doc) | succeeds | |
effection-lib | A library for custom side effects. (lib) This package needs documentation | succeeds | |
effection-test | A library for custom side effects. (test) This package needs documentation | succeeds | |
effects | Delimited-continuation-based effects for Racket This package needs documentation | succeeds; has dependency problems | |
egal | Henry Baker's egal This package needs documentation | succeeds | |
egg-herbie-linux | This package needs a description This package needs documentation This package needs tags | succeeds; has conflicts; has dependency problems | |
egg-herbie-osx | This package needs a description This package needs documentation This package needs tags | succeeds; has conflicts; has dependency problems; has failing tests | |
egg-herbie-windows | This package needs a description This package needs documentation This package needs tags | succeeds; has conflicts; has dependency problems; has failing tests | |
ejs | EJS is exact JSON: A no-compromises implementation of RFC 8259 in which all numbers are rational This package needs documentation | succeeds | |
ekans | 歌词下载器。 | succeeds; has conflicts; has failing tests | |
elasticsearch | This package needs a description This package needs documentation This package needs tags | succeeds; has failing tests | |
New | electron | This package needs a description This package needs documentation This package needs tags | fails |
elf | Unix executable and linking format read/writing | succeeds; has dependency problems | |
emcsabac | Basic ABAC analyzer for educational purposes This package needs documentation This package needs tags | succeeds; has dependency problems; has failing tests | |
emoji | Emoji terminal output for Racket | succeeds | |
english | Utilities for generating English text strings -- e.g. plurals This package needs tags | succeeds | |
envy | an environment variable manager for applications This package needs tags | succeeds | |
errortrace | This package needs a description This package needs tags | ||
esc-vp21 | Epson ESC/VP21 Projector Control This package needs tags | succeeds | |
event-lang | Synchronizable event programming
| fails | |
eventfd | Linux eventfd support | succeeds | |
exact-decimal-lang | a lang-extension that reads decimals as exact rationals | succeeds | |
New | expander | Racket's implementation of macros, modules, and top-level evaluation This package needs documentation This package needs tags | succeeds; has failing tests |
expect | A package defining "expectations", first-class assertions about values for use in validation and unit testing with high quality error messages. Currently experimental. | succeeds | |
explorer | Utility for interactive exploration of complex data structures. This package needs documentation This package needs tags | succeeds | |
expr-in-racket | embed expr like "x+1" in racket. This package needs documentation | fails | |
extensible-functions | A solution to the expression problem in Typed Racket | succeeds | |
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". | succeeds | |
fairyfloss | sailorhg's fairyfloss for DrRacket This package needs documentation | succeeds | |
Fairylog | A Verilog dialect and source-to-source compiler, with various compile time features and macros. | succeeds | |
fancy-app | Scala-style anonymous functions | succeeds | |
fast-convert | Fast conversion from bytes to string for one-byte encoding | succeeds | |
faster-minikanren | A fast implementation of miniKanren with disequality and absento. This package needs documentation This package needs tags | succeeds; has conflicts | |
feature-profile | Profile that measures time spent in language/library features | succeeds; has failing tests | |
fector | Persistent Functional Vectors This package needs documentation | succeeds | |
ffi-definer-convention | No longer necessary in 6.9.0.5 and newer (it's built-in to the ffi library now) | succeeds | |
ffi-utils | Helpful tools for writing FFI interfaces to C
| fails | |
New | ffmpeg-i386-macosx-3-4 | This package needs a description This package needs documentation | fails |
ffmpeg-i386-win32 | This package needs a description This package needs documentation | fails | |
ffmpeg-i386-win32-3-4 | This package needs a description This package needs documentation | succeeds; has conflicts | |
ffmpeg-x86_64-macosx | This package needs a description This package needs documentation | succeeds | |
ffmpeg-x86_64-macosx-3-4 | Bindings for ffmpeg 3.4 This package needs documentation | succeeds | |
ffmpeg-x86_64-win32 | This package needs a description This package needs documentation | fails | |
ffmpeg-x86_64-win32-3-4 | This package needs a description This package needs documentation | succeeds; has conflicts | |
fiberweb | An experiment in cooperative concurrency. Wildly unimplemented. | succeeds | |
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 problems | |
file-watchers | Sensible file watching procedures | succeeds | |
files-viewer | a file manager for drracket | succeeds; has failing tests | |
finalizer | Trivial finalizer. Does action when object garbage collected | succeeds | |
find-parent-dir | Find parent directories matching a criterion. This package needs documentation | succeeds | |
fixture | Provides test fixtures: resources that are automatically created and destroyed for each RackUnit test case | succeeds | |
flash-card | A language for creating interactive digital flash cards. This package needs documentation This package needs tags | fails | |
flexpr | Expressions rendered as both XML and JSON | succeeds | |
fme | Fourier-Motzkin elimination for integer inequality satisfiability | succeeds | |
fontconfig | FFI bindings for fontconfig This package needs documentation | succeeds; has dependency problems; has failing tests | |
fontland | font processing [in development] This package needs documentation | succeeds | |
forge | A model finding language with Alloy-adjacent syntax.
This package needs tags | fails | |
forged-ocelot | A fork of James Bornholt's Ocelot solver for relational model finding, for use in Forge. This package needs tags | succeeds | |
New | formica | "Functionally oriented" educational language This package needs documentation This package needs tags | fails |
forms | Web form validation (docs and implementation). | succeeds | |
forms-doc | Web form validation (documentation only). | succeeds | |
forms-lib | Web form validation (implementation only). This package needs documentation | succeeds | |
forms-test | Web form validation (tests only). This package needs documentation | succeeds | |
forth | Forth emulator, as a Racket #lang | succeeds | |
New | fpbench | Tools for the FPBench numerical software standards (more info at http://fpbench.org/) This package needs documentation | succeeds |
fra | Purely functional implementation of relational algebra | succeeds | |
fragments | experimental game This package needs tags | succeeds; has dependency problems | |
fragments-first | experimental game This package needs tags | succeeds; has failing tests | |
frog | Static blog generator application. Supports Twitter Bootstrap, Pygments, more. | succeeds | |
ftree | Finger Trees This package needs documentation | succeeds; has failing tests | |
fulmar | Generate C++ code from S-expressions This package needs tags | succeeds | |
functional | generic interfaces and data structures for functional programming | succeeds | |
functional-doc | documentation (no implementation) for “functional” | succeeds | |
functional-lib | implementation (no documentation) for “functional” This package needs documentation | succeeds | |
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 | fails | |
Funktionuckelt | A dark eye-friendly color scheme for Racket This package needs documentation | succeeds | |
fuse | Library for creating user-space filesystems with FUSE | succeeds; has failing tests | |
futil | An intermediate language designed for Fuse. This package needs documentation This package needs tags | fails | |
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). | succeeds | |
g-code-tools | A collection of tools for manipulating G-code. | succeeds; has dependency problems | |
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 | fails | |
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 | fails | |
game-engine-rpg | Extends the game-engine package with some features for making RPGs This package needs documentation | fails | |
game-engine-style-demos | Package containing demos of using the game-engine package to explore different styles for simple games. This package needs documentation | fails | |
gaming | This package needs a description This package needs documentation | fails | |
gcstats | Print summary GC statistics after running a program. This package needs documentation | succeeds | |
gdbdump | GDB-based Native Thread Backtrace Dumps | succeeds | |
gen-queue-lib | Generic interface for some queues. Used by graph-lib This package needs documentation | succeeds | |
generic-bind | Generic binding forms. This package needs tags | succeeds | |
generic-syntax-expanders | Allows definition of macros which include expander-definition forms, like match expanders | succeeds | |
geoip | Geolocation based on MaxMind's GeoIP databases. (docs and implementation) | succeeds | |
geoip-doc | Geolocation based on MaxMind's GeoIP databases. (docs only) | succeeds | |
geoip-lib | Geolocation based on MaxMind's GeoIP databases. (implementation only) This package needs documentation | succeeds | |
get-bonus | Get Bonus is a project about discovering the best way to program video games. This package needs documentation | fails | |
get-pass | Utility to get passwords from the command line without echoing input. | succeeds | |
get-primitive | Extract low-level primitives This package needs documentation | succeeds | |
gettext | GNU gettext compatible library for internationalization with BSD license | succeeds; has failing tests | |
gir | GTK/GLib/GIO/... GObjectIntrospection FFI binding | succeeds; has failing tests | |
git-slice | For slicing git repositories into pieces This package needs documentation | succeeds; has failing tests | |
github | Github Bindings This package needs documentation | succeeds; has failing tests | |
github-api | Bindings for the GitHub API | succeeds; has failing tests | |
glfw3 | GLFW wrapper for Racket | succeeds; has failing tests | |
glm | OpenGL Mathematics | succeeds | |
glossolalia | A language for generating words according to sound and syllable rules. Has features for cross-syllable rules and phoneme occurence frequency. | succeeds | |
GLPK | An interface to the Gnu Linear Programming Kit (GLPK) | succeeds; has failing tests | |
gls | Generic Little (Object, Type, Anything, ...) System - multiple dispatch on types | succeeds | |
glsl | The OpenGL Shader Language 4.5 (GLSL) | succeeds; has dependency problems | |
glu-tessellate | Converts a set of closed paths to a set of covering triangles covering the region enclosed by the curves | succeeds; has failing tests | |
gm-pepm-2018 | Artifact for "On the Cost of Type-Tag Soundness" | succeeds | |
gmp | Bindings to gmp (the GNU Multiple Precision Arithmetic Library) | succeeds | |
gmp-lib | Bindings to gmp (the GNU Multiple Precision Arithmetic Library) This package needs documentation | succeeds | |
gnal-lang | a #lang that allows relative module paths for reader languages This package needs documentation | succeeds; has dependency problems | |
gnucash | parses gnucash XML files | succeeds | |
goblins | Goblins is a lightweight actor model library. | succeeds; has dependency problems | |
Google APIs (Drive, Plus, ...) for Racket. This package needs documentation | succeeds | ||
gradual-typing-bib | This package needs a description This package needs documentation This package needs tags | succeeds | |
graph | Generic graph library. | succeeds | |
graph-doc | Documentation for graph-lib | succeeds | |
graph-lib | main graph package This package needs documentation | succeeds | |
graph-test | Tests for graph-lib This package needs documentation | succeeds | |
graphics | Essential computer graphics for Typed Racket | succeeds; has failing tests | |
graphics-engine | An accelerated graphics programming environment. | succeeds; has failing tests | |
gregor | Date and time library | succeeds | |
gregor-doc | Documentation part of gregor library | succeeds | |
gregor-lib | Code part of the gregor date and time library This package needs documentation | succeeds | |
gregor-test | Tests for the gregor library This package needs documentation This package needs tags | succeeds | |
grift | A gradually typed language This package needs documentation | succeeds; has dependency problems; has failing tests | |
gsl-integration | Interface to GNU GSL Numerical Integration. | succeeds | |
gsl-rng | Interface to GNU GSL Random Number Generation | succeeds | |
gtp-benchmarks | gradual typing performance benchmarks | succeeds | |
gtp-checkup | Test correctness of typed/untyped interaction. | succeeds; has failing tests | |
gtp-measure | Runs programs, collects timing info | succeeds; has failing tests | |
gtp-paper | Quick-start for SIGPLAN Scribble papers | succeeds | |
gtp-pict | Picts related to gradual typing / performance | succeeds | |
gtp-plot | Plots for gradual typing performance | succeeds | |
gtp-util | 37 helper functions you won't find anywhere else | succeeds | |
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 | succeeds | |
gui-pkg-manager | Graphical tool for managing Racket package installations This package needs tags | succeeds | |
gui-pkg-manager-doc | documentation part of "gui-pkg-manager" This package needs tags | succeeds | |
gui-widget-mixins | Tool tips, cue text and validation for text-field% GUI widgets in Racket | succeeds | |
hackett | This package needs a description
| fails | |
hackett-demo | This package needs a description This package needs documentation This package needs tags | fails | |
hackett-doc | This package needs a description
This package needs tags | fails | |
hackett-lib | This package needs a description This package needs documentation This package needs tags | fails | |
hackett-test | This package needs a description This package needs documentation This package needs tags | fails | |
haiku-enum | A language designed for generating Haiku This package needs tags | succeeds | |
hamt | Hash array mapped tries This package needs tags | succeeds | |
handin | Handin server and client template This package needs tags | succeeds; has failing tests | |
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 | succeeds | |
happy-names | Simple generator for Heroku-like names (random adj + random noun) This package needs documentation This package needs tags | succeeds; has dependency problems | |
hdf5 | FFI bindings to the hdf5 library This package needs documentation | succeeds; has failing tests | |
herbie | A tool for automatically improving the accuracy of floating point expressions This package needs documentation | succeeds; has failing tests | |
heresy | A functional Lisp dialect with BASIC-inspired syntax | succeeds; has failing tests | |
hidapi | Racket bindings to hidapi library. | succeeds; has failing tests | |
hive-client | Hive: client-server framework. This is client package. This package needs documentation | succeeds | |
hive-common | Hive: client-server framework. This is library for both client and server. | succeeds | |
hive-server | Hive: client-server framework. This is server-side package. This package needs documentation | succeeds | |
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! | succeeds; has dependency problems | |
honu | The implementation of the Honu language This package needs tags | succeeds | |
hostname | Getting Hostname, FQDN, and IP Addresses This package needs tags | succeeds | |
htdp-json | A library for teaching with JSON | succeeds | |
html-parsing | Permissive Parsing of HTML to SXML | succeeds | |
html-template | HTML-Writing Template Language in SXML | succeeds | |
html-writing | Writing HTML from SXML | succeeds | |
html5-lang | Educational language for making simple HTML5, mobile-friendly web apps.
This package needs tags | fails | |
http | Support for HTTP 1.1 including automatic connection pooling. | succeeds | |
http11 | HTTP v1.1 low level protocol library in Typed Racket. | succeeds | |
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. | succeeds | |
http2 | A (wildly unimplemented) http2 client and server for Racket | succeeds | |
hygienic-quote-lang | hygienic versions of quote-like racket reader macros | succeeds | |
hygienic-reader-extension | adding hygiene to racket reader extensions | succeeds | |
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. | succeeds | |
hyphenate | Hyphenate X-expressions with the Knuth–Liang hyphenation algorithm | succeeds | |
icfp-2014-contracts-talk | Slideshow implementation of ICFP 2014 Contracts Keynote Talk This package needs documentation | succeeds; has failing tests | |
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 | succeeds | |
icns | A Racket library for working with Apple's .icns icon file format. | succeeds | |
identikon | Tiny framework for generating identicons | succeeds | |
iloveck101 | A command-line tool to download images from ck101 threads. This package needs documentation | fails | |
image-coloring | For doing bitmap operations on 2htdp/image objects This package needs tags | succeeds; has conflicts; has dependency problems | |
image-colors | For doing basic pixel operations on 2htdp/image objects This package needs tags | succeeds; has conflicts; has dependency problems | |
impl-excl | Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates This package needs documentation | succeeds | |
in-new-directory | Run things in new directories | succeeds | |
inexact-number-lang | A lang-extension that reads every number as inexact | succeeds | |
infix | Infix Expressions | succeeds | |
infix-syntax | Expansion-time parsing of infix expressions. | succeeds | |
interactive-brokers-api | Client API for Interactive Brokers' Trader Workstation | succeeds; has dependency problems | |
interactive-syntax | (Early) Prototype for Interactive Syntax This package needs documentation This package needs tags | succeeds | |
interconfection | A library for building extensible systems, especially module systems. | succeeds | |
interconfection-doc | A library for building extensible systems, especially module systems. (doc) | succeeds | |
interconfection-lib | A library for building extensible systems, especially module systems. (lib) This package needs documentation | succeeds | |
interconfection-test | A library for building extensible systems, especially module systems. (test) This package needs documentation | succeeds | |
intern | Type-safe interning of datatype in Typed Racket as a new sub-type of Index This package needs documentation | succeeds | |
io | I/O utilities from dherman's io.plt Planet package This package needs documentation | succeeds; has failing tests | |
ipoe | interactive poetry editor | succeeds | |
iracket | Jupyter kernel for Racket This package needs tags | succeeds | |
irc | An IRC client library. | succeeds; has failing tests | |
irc-client | A higher-level, typed wrapper around the irc package | succeeds | |
iswim | iswim implementation This package needs documentation | succeeds | |
iu-pict | This package needs a description This package needs tags | succeeds; has dependency problems | |
j | Racket implementation of J language and related concepts | succeeds | |
jack-ease | Library for easing things between start and stop values fluidly | succeeds | |
jack-posn | Library for working with points in 2d space | succeeds | |
java | A port of David Herman's java.plt PLaneT package, without the PLaneT dependencies. | succeeds | |
java-lexer | Java syntax highlighting for Scribble. This package needs documentation | succeeds | |
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 problems | |
javascript | An implementation of JavaScript This package needs tags | succeeds | |
jen | procedural generation DSL embedded in Racket [UNSTABLE] This package needs documentation | succeeds | |
jen-doc | procedural generation DSL embedded in Racket (doc) [UNSTABLE] | succeeds | |
jen-lib | procedural generation DSL embedded in Racket (lib) [UNSTABLE] This package needs documentation | succeeds | |
jen-samples | procedural generation DSL embedded in Racket (samples) [UNSTABLE] This package needs documentation | succeeds | |
job-queue | A library for managing sets of workers and their jobs. This package needs documentation | succeeds | |
job-queue-doc | A library for managing sets of workers and their jobs. (doc) | succeeds | |
job-queue-lib | A library for managing sets of workers and their jobs. (lib) This package needs documentation | succeeds | |
js-voxel | A general-purpose voxel programming environment | succeeds; has failing tests | |
json-parsing | JSON Parsing, Folding, and Conversion | succeeds | |
json-pointer | Parse, render, and evaluate JSON Pointers (RFC 6901). | succeeds | |
json-socket | JSON-Talking TCP Sockets This package needs documentation | succeeds | |
json-sourcery | A library built on top of the json package for improving JSON serialization and adding clearer syntax macros. | succeeds; has dependency problems | |
json-sourcery-lib | library package for json-sourcery This package needs documentation This package needs tags | succeeds | |
json-type-provider | A well-typed JSON parser for Typed Racket inspired by Type Provider This package needs documentation | succeeds | |
New | jsonic-mjz | This package needs a description This package needs documentation This package needs tags | fails |
k-infix | Simple but versatile infix parsing for arbitrary expressions. Fully customizable. Comes with basic math expressions implemented. | succeeds | |
k2 | Some visual and social teaching languages. This package needs documentation This package needs tags | fails | |
kenney-assets | A package of public domain assets by https://www.kenney.nl/ This package needs documentation This package needs tags | fails | |
kernel | Interface to Linux kernel runtime configuration. This package needs documentation | succeeds; has failing tests | |
kinda-ferpy | An implicit functional reactive model based on MaiaVictor's PureState library | succeeds | |
kitco | Precious Metals Market Info. Access | succeeds | |
New | koyo | A web application toolkit (docs and implementation). | succeeds |
New | koyo-doc | A web application toolkit (docs only). | succeeds |
New | koyo-lib | A web application toolkit (implementation only). This package needs documentation | succeeds |
koyo-north | A north migrator component for koyo. This package needs documentation | succeeds | |
koyo-postmark | A Postmark mail adapter for koyo. (docs and implementation) | succeeds; has conflicts | |
koyo-sentry | Integrates koyo and racket-sentry. This package needs documentation | succeeds | |
New | koyo-test | A web application toolkit (tests only). This package needs documentation | succeeds; has dependency problems |
kw-make-struct | Naming struct fields with keywords for constructing and matching | succeeds | |
kw-make-struct-lib | Naming struct fields with keywords for constructing and matching This package needs documentation | succeeds | |
kw-utils | misc kw utils | succeeds | |
lambda-calculus | A lambda-calculus DSL in Racket | succeeds | |
lambda-sh | Do we really need a "Typed Shell"? Nevertheless, Unix Shell and Powershell are not friends.
| fails | |
lambdajam-2015-racket-pl-pl | This package needs a description This package needs documentation This package needs tags | succeeds; has failing tests | |
lang | 語 This package needs documentation | fails | |
lang-file | Functions for dealing with #lang files | succeeds | |
lang-file-lib | Functions for dealing with #lang files This package needs documentation | succeeds | |
lang-slide | A picture showing all the languages used to implement Racket. | succeeds; has failing tests | |
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 tests | |
latex-utils | Some utilities for generating LaTeX markup of various descriptions. | succeeds | |
lathe-comforts | A collection of utilities. | succeeds | |
lathe-comforts-doc | A collection of utilities. (doc) | succeeds | |
lathe-comforts-lib | A collection of utilities. (lib) This package needs documentation | succeeds | |
lathe-comforts-test | A collection of utilities. (test) This package needs documentation | succeeds | |
lathe-morphisms | Interfaces for category theory concepts. | succeeds | |
lathe-morphisms-doc | Interfaces for category theory concepts. (doc) | succeeds | |
lathe-morphisms-lib | Interfaces for category theory concepts. (lib) This package needs documentation | succeeds | |
lathe-morphisms-test | Interfaces for category theory concepts. (test) This package needs documentation | succeeds | |
lathe-ordinals | Ordinal numbers supporting addition, multiplication, and exponentiation. | succeeds | |
lathe-ordinals-doc | Ordinal numbers supporting addition, multiplication, and exponentiation. (doc) | succeeds | |
lathe-ordinals-lib | Ordinal numbers supporting addition, multiplication, and exponentiation. (lib) This package needs documentation | succeeds | |
lathe-ordinals-test | Ordinal numbers supporting addition, multiplication, and exponentiation. (test) This package needs documentation | succeeds | |
ldap | A native Racket interface to LDAP authentication. | succeeds; has failing tests | |
ldap-ffi | ldap-ffi: a Racket LDAP client built on top of libldap C API | succeeds | |
learn-to-type | A very simple GUI program to learn to type by copying a text. This package needs documentation | succeeds | |
left-pad | String left pad | succeeds | |
leftist-tree | Functional priority queues | succeeds | |
lens | Composable, functional lenses | succeeds | |
lens-common | Base lens constructors and additional combinators This package needs documentation | succeeds | |
lens-data | Lens constructors for various Racket data structures This package needs documentation | succeeds | |
lens-doc | Documentation for the lens libraries | succeeds | |
lens-lib | Implementation (no docs) of the lens library, includes lens-data and lens-common This package needs documentation | succeeds | |
lens-unstable | Unstable and experimental features for lenses This package needs documentation | succeeds | |
levenshtein | Levenshtein Distance Metric This package needs tags | succeeds | |
libargon2 | Meta-package that installs the appropriate libargon2 shared library for the current platform on Linux, macOS and Windows. This package needs documentation | succeeds | |
libargon2-i386-win32 | This package needs a description This package needs documentation | succeeds | |
libargon2-x86_64-linux | This package needs a description This package needs documentation | succeeds | |
libargon2-x86_64-macosx | This package needs a description This package needs documentation | succeeds | |
libargon2-x86_64-win32 | This package needs a description This package needs documentation | succeeds | |
libgit2 | Racket bindings for the Libgit2 library. | succeeds; has failing tests | |
libgit2-x86_64-linux | native libraries for "libgit2" on "libgit2-x86_64-linux" This package needs documentation | succeeds | |
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 | succeeds | |
libgit2-x86_64-macosx | native libraries for "libgit2" on "x86_64-macosx" This package needs documentation | succeeds | |
libkenji | This package needs a description This package needs documentation This package needs tags | succeeds | |
libnotify | FFI bindings for libnotify (desktop notifications) | succeeds; has failing tests | |
libopenal-racket | Racket wrapper for the OpenAL library | succeeds; has dependency problems; has failing tests | |
libsass-i386-win32 | This package needs a description This package needs documentation | succeeds | |
libsass-x86_64-linux | This package needs a description This package needs documentation | succeeds | |
libsass-x86_64-macosx | This package needs a description This package needs documentation | succeeds | |
libsass-x86_64-win32 | This package needs a description This package needs documentation | succeeds | |
libscrypt | Colin Percival's scrypt bindings for Racket, uses system library.
| fails | |
libserialport | FFI bindings for the libserialport library. | succeeds; has failing tests | |
libsqlite3-x86_64-linux | This package needs a description This package needs documentation | succeeds | |
libsqlite3-x86_64-macosx | This package needs a description This package needs documentation | succeeds | |
libtoxcore-racket | A Racket wrapper for the Tox libraries. | succeeds; has failing tests | |
libuuid | FFI bindings for the libuuid library. | succeeds | |
libvid-i386-linux | Library for Video log messages This package needs documentation | succeeds; has conflicts | |
libvid-i386-linux-0-2 | This package needs a description This package needs documentation | succeeds; has conflicts | |
New | libvid-i386-macosx-0-2 | This package needs a description This package needs documentation | fails |
libvid-i386-win32 | 32-bit windows build of libvid This package needs documentation | succeeds; has conflicts | |
libvid-i386-win32-0-2 | This package needs a description This package needs documentation | succeeds; has conflicts | |
libvid-x86_64-linux | Libvid for 64-bit linux This package needs documentation | succeeds; has conflicts | |
libvid-x86_64-linux-0-2 | This package needs a description This package needs documentation | succeeds; has conflicts | |
libvid-x86_64-macosx | An optional helper library for Video, to enable ffmpeg level logging. This package needs documentation | succeeds | |
libvid-x86_64-macosx-0-2 | This package needs a description This package needs documentation | succeeds; has conflicts | |
libvid-x86_64-win32 | 64-bit windows build of the libvid library. This package needs documentation | succeeds; has conflicts | |
libvid-x86_64-win32-0-2 | This package needs a description This package needs documentation | succeeds; has conflicts | |
libxml2 | Racket bindings for libxml2 | succeeds | |
libxml2-x86_64-linux-natipkg | Packages libxml2 for the package build server This package needs documentation | succeeds | |
lindenmayer | This package needs a description This package needs tags | succeeds | |
linea | line-oriented reader | succeeds | |
linkeddata | linkeddata is a package that provides various types of linked data tooling, from RDF tooling to json-ld
| fails | |
lipics | Scribble languages for the LIPIcs paper format | succeeds; has failing tests | |
list-util | Additional List utilities in Typed Racket. | succeeds | |
list-utils | Some additional list-processing functions which I have found useful. | succeeds | |
literify | racket literate programming in scribble to enable simultaneously display and evaluate code chunks | succeeds; has dependency problems | |
live-free-or-die | Freedom from Typed Racket | succeeds | |
livefrog | Convert ljdump/ljmigrate files for Frog This package needs documentation | succeeds; has dependency problems | |
loci | Loci provides access to locus, an entity similar to a place based on OS processes, instead of threads. | succeeds | |
logbook | Tool for recording a database of experimental results This package needs documentation This package needs tags | fails | |
logger | A simple logging library with color and 7 log levels. | succeeds | |
logo | A #lang for Logo This package needs tags | succeeds | |
loop | Advanced named let | succeeds | |
lti-freq-domain-toolbox | Functions for studying LTI (linear time-invariant) dynamical systems | succeeds | |
lua | The programming language Lua. Targeting version 5.3.5 (Currently unstable) This package needs documentation | fails | |
lux | brilliant interactive programs | succeeds | |
lux-charterm | a lux chaos for terminal programs | succeeds; has failing tests | |
lwc2016 | PLT submision to the 2016 language workbench challenge This package needs documentation This package needs tags | succeeds; has failing tests | |
macrotypes-example | This package needs a description This package needs documentation This package needs tags | succeeds | |
macrotypes-lib | "Types as macros" core api, used to create Turnstile lang This package needs documentation This package needs tags | succeeds | |
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 tests | |
macrotypes-test | This package needs a description This package needs documentation This package needs tags | succeeds; has failing tests | |
magenc | Symmetric encryption for magnet URIs (code and docs) | succeeds | |
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 problems | |
magnolisp | Magnolisp | succeeds | |
make-log-interceptor | Collect events for a logger, organized by level | succeeds | |
map-widget | A Racket GUI Widget to display maps based on OpenStreetMap tiles | succeeds | |
margrave | A policy analyzer This package needs tags | succeeds; has failing tests | |
mario | An interpreter for the 2d programming language MarioLANG This package needs documentation | succeeds; has dependency problems | |
marionette | A Racket library that lets you control Firefox via the Marionette Protocol. (docs and implementation) | succeeds | |
marionette-doc | A Racket library that lets you control Firefox via the Marionette Protocol. (docs only) | succeeds | |
marionette-lib | A Racket library that lets you control Firefox via the Marionette Protocol. (implementation only) This package needs documentation | succeeds | |
marionette-test | A Racket library that lets you control Firefox via the Marionette Protocol. (tests only) This package needs documentation | succeeds | |
markdown | Markdown format parser. | succeeds | |
markdown-ng | New Generation of a Racket Markdown library
| fails | |
markparam | a convenience library for continuation marks like parameters | succeeds | |
markparam-doc | a convenience library for continuation marks like parameters | succeeds | |
markparam-lib | a convenience library for continuation marks like parameters This package needs documentation | succeeds | |
markparam-test | a convenience library for continuation marks like parameters This package needs documentation | succeeds | |
match-count | Instrumented match This package needs documentation | succeeds | |
match-plus | This package needs a description This package needs tags | succeeds | |
match-string | string-append and append as a match patterns | succeeds | |
mboxrd-read | Racket functions for reading mboxrd and mboxcl2 (used by dovecot) format | succeeds | |
mc-coach |
This package needs documentation This package needs tags | fails | |
mc-coach-assess | Assessment flashcards for MetaCoders coach training. This package needs documentation This package needs tags | fails | |
mcfly | Embedded Package Documentation Runtime | succeeds | |
measures | Units and measures with basic arithmetic operations. | succeeds | |
measures-with-dimensions | based on measures, but with dimensions and types | succeeds | |
mediafile | Media File Metadata Utilities | succeeds | |
medic | A debugging tool for better printf This package needs tags | succeeds; has failing tests | |
megaparsack | practical parser combinators | succeeds | |
megaparsack-doc | documentation (no implementation) for “megaparsack” | succeeds | |
megaparsack-lib | implementation (no documentation) for “megaparsack” This package needs documentation | succeeds | |
megaparsack-parser | built-in parsers implemented using megaparsack This package needs documentation | succeeds | |
megaparsack-parser-tools | helpers for using megaparsack with parser-tools This package needs documentation | succeeds | |
memcached | A native Racket interface to memcached | succeeds | |
memo | Memoization with finalizers and cleanup | succeeds | |
memoize | Memoization for functions This package needs tags | succeeds | |
meow | Personal utilities. This package needs documentation | fails | |
metapict | Create beautiful pictures and diagrams | fails | |
mf-apply | PLT Redex lang-extension for checked metafunction application | succeeds | |
mic1 | tools for MIC-1 CPU architecture | succeeds; has failing tests | |
midi-readwrite | simple functions to read MIDI (.mid) files | succeeds | |
minetest | Compile-time framework for getting 2htdp/image objects into Minetest (as blocks, items, recipes, and/or schematics). Only works on Linux. | fails | |
minikanren | A Planet 2 package for minikanren | succeeds | |
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 | fails | |
minipascal | MiniPascal as a Racket language This package needs documentation | succeeds | |
misc1 | Miscellaneous utilities collection. This package needs tags | succeeds | |
mischief | Mischief: A Racketeer's Toolkit | succeeds; has failing tests | |
mischief-dev | Mischief: A Racketeer's Toolkit [development branch] | succeeds; has conflicts; has failing tests | |
New | mk | This package needs a description This package needs documentation | fails |
mm | an environment for exploring memory management This package needs documentation | succeeds | |
mmap | Wrapper for the system mmap() function This package needs documentation | succeeds | |
mobilpay | A barebones implementation of mobilpay's credit card ordering interface in Racket. This package needs documentation | succeeds | |
mock | A library for creating test mocks | succeeds | |
mock-rackunit | RackUnit checks for testing with mocks from the mock package | succeeds | |
mockfighter | Stockfighter-like API for a limit order exchange | succeeds; has dependency problems; has failing tests | |
mode-lambda | 2d sprite-based graphics engine | succeeds | |
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 | succeeds | |
monad | A generic/polymorphic monad library for Racket. This package needs documentation | succeeds | |
mongodb | A native Racket interface to MongoDB & BSON | succeeds; has failing tests | |
monitors | Java style monitors for Racket objects | succeeds | |
monotonic | Monotonic time for Racket. | succeeds; has failing tests | |
mordae | Personal utilities, do not use directly! This package needs documentation This package needs tags | succeeds | |
morsel-doc | documentation for morsel-lib | succeeds | |
morsel-lib | core of Plisqin This package needs documentation | succeeds | |
mosquitto-ffi | An FFI binding of libmosquitto for racket This package needs documentation | succeeds; has failing tests | |
mred-designer | A WYSIWYG GUI generator for Racket This package needs documentation | succeeds | |
msgpack | Implementation of the MessagePack protocol. | succeeds; has failing tests | |
msgpack-rpc | A MessagePack-RPC client for Racket | succeeds | |
mud | Racket-MUD is a engine for running a Multi-User Dimension (MUD) server. This package needs documentation | fails | |
multi-file-lang | a #lang language for multiple files in one | succeeds; has failing tests | |
multi-id | Define identifiers which act as a type-expander and match-expander and macro and identifier macro and set! transformer | succeeds | |
multicolumn | GUI widget with multicolumn data table. Columns width may be set in pixels or in percents. This package needs documentation | succeeds | |
multimethod | This package needs a description This package needs tags | succeeds | |
multimethod-doc | This package needs a description This package needs tags | succeeds | |
multimethod-lib | This package needs a description This package needs documentation This package needs tags | succeeds | |
multimethod-test | This package needs a description This package needs documentation This package needs tags | succeeds | |
multipath-daemon | Library for communication with the multipathd process via it's UNIX domain socket. This package needs tags | succeeds | |
multiscope | This package needs a description This package needs documentation This package needs tags | succeeds | |
mumble-ping | Ping Mumble servers | succeeds | |
music | A music notation language. Outputs MIDI. See more on github.
| fails | |
New | mutt | Racket API for the Mutt email client | succeeds |
my-cond | a version of cond that supports "cond-expanders" and a for/cond-clause form, allowing it to iterate though conditions | succeeds | |
namespaced-transformer | This package needs a description This package needs tags | succeeds | |
namespaced-transformer-doc | This package needs a description This package needs tags | succeeds | |
namespaced-transformer-lib | This package needs a description This package needs documentation This package needs tags | succeeds | |
nanopass | This package needs a description | succeeds | |
nat-traversal | NAT traversal utilities, including NAT-PMP and UPnP. | succeeds; has failing tests | |
natural-cli | Easily write large command-line interfaces (CLIs) | succeeds; has dependency problems | |
neologia | A language for creating and managing dictionaries and lexicons | succeeds | |
nested-hash | Functions to allow for easy nested hash setting and getting. | succeeds | |
net-cookies | RFC6265-compliant cookie handling for client and server | ||
net-cookies-doc | RFC6265-compliant cookie handling for client and server (doc) | ||
net-cookies-lib | RFC6265-compliant cookie handling for client and server (lib) This package needs documentation | ||
net-cookies-test | RFC6265-compliant cookie handling for client and server (test) This package needs documentation | ||
net-ip | IP address utilities (implementation and docs). | succeeds | |
net-ip-doc | IP address utilities (docs only). | succeeds | |
net-ip-lib | IP address utilities (implementation only). This package needs documentation | succeeds | |
net-ip-test | Tests for net-ip-lib. This package needs documentation | succeeds | |
net-jwt | JSON Web Token / JSON Web Signature codec, verification, signing | succeeds | |
net2 | Highly experimental and aspirational networking library. Not yet fit for public consumption. | succeeds | |
netrc | Find entries in ~/.netrc files | succeeds | |
neu-cs2500-handin | This package needs a description This package needs documentation This package needs tags | succeeds | |
New | neu-fall18 | This package needs a description This package needs documentation This package needs tags | fails |
neuron | Decentralized Software Organisms | succeeds; has dependency problems | |
neuron-doc | Documentation for neuron This package needs tags | succeeds; has dependency problems | |
neuron-lib | Impelementation of neuron This package needs documentation This package needs tags | succeeds | |
neuron-shell | Interactive UI for Neuron This package needs documentation This package needs tags | fails | |
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 | succeeds | |
nix | Racket bindings to common UNIX APIs. This package needs documentation | succeeds; has dependency problems; has failing tests | |
nlopt | FFI wrapper for the NLopt nonlinear optimization library. | succeeds; has dependency problems; has failing tests | |
no-vert-bar-lang | a lang-extension that reads `|` as a normal character | succeeds | |
non-det | Racket non-determinism This package needs documentation | succeeds; has dependency problems | |
north | A database migration tool. | succeeds | |
numformat-old | Number Formatting | succeeds | |
numspell | Spelling Numbers as English | succeeds | |
nvim-client | API client for the Neovim text editor | succeeds | |
ocelot | A solver-aided relational logic DSL | succeeds | |
oii-422-handin-client | Handin Client for PUCV PL course OII-422 This package needs documentation This package needs tags | succeeds; has failing tests | |
onlog | Perform operations on log files
| fails | |
open-app | A utility for opening a file or url with the default application. | succeeds | |
openal | FFI for OpenAL | succeeds | |
opencl | A Racket interface to OpenCL using an FFI | succeeds; has failing tests | |
opencpu | A Racket library for calling R functions through the OpenCPU API.
| fails | |
opencv | FFI bindings to the OpenCV library This package needs documentation | succeeds; has failing tests | |
opengl | Exhaustive Racket bindings to OpenGL | succeeds; has failing tests | |
openh264-x86_64-macosx | This package needs a description This package needs documentation | succeeds | |
openmpi | A Racket interface to MPI based on an FFI to OpenMPI | succeeds; has failing tests | |
openweather | Library for OpenWeatherMap's API. Only US, with zipcode is currently supported. | succeeds | |
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 | succeeds | |
operational-transformation-demo | Demo collaborative editor using Operational Transformation (OT). This package needs documentation This package needs tags | succeeds | |
operational-transformation-lib | Operational Transformation (OT) for Racket. Just the operational-transformation collect, no demo included. This package needs documentation This package needs tags | succeeds | |
opt | Optional and Either data type utilities. Provides util function for Typed Racket's Option type as well as defines an Either type. | succeeds | |
optimization-coach | Optimization Coach Plug-In for DrRacket | ||
option-bind | Monadic shorthand for propagating #f in Option types This package needs tags | succeeds | |
org-mode | A native Racket reader and writer for org-mode files. This package needs documentation | succeeds | |
osc | Open Sound Control data definitions | succeeds | |
New | oss | This package needs a description This package needs documentation This package needs tags | fails |
overeasy | Racket Language Test Engine | succeeds | |
overscan | A toolkit and live coding environment for broadcasting video. | succeeds; has dependency problems; has failing tests | |
package-analysis | A package for analyzing the Racket package ecosystem | succeeds | |
packet-socket | Access to raw Ethernet frames from Racket This package needs documentation | succeeds | |
Packrat | A small library of parsing combinators and a syntax for defining parsers based on the portable packrat parsing library by Tony Garnock-Jones. | succeeds | |
paddle | Paddle is a microworld. | fails | |
pangu | Paranoid text spacing with Racket. This package needs tags | succeeds; has dependency problems | |
parameter | Parameter utilities This package needs tags | succeeds; has dependency problems | |
parendown | A weak opening parenthesis, good for eliminating indentation. This package needs documentation | succeeds | |
parendown-doc | A weak opening parenthesis, good for eliminating indentation. (doc) | succeeds | |
parendown-lib | A weak opening parenthesis, good for eliminating indentation. (lib) This package needs documentation | succeeds | |
parendown-test | A weak opening parenthesis, good for eliminating indentation. (test) This package needs documentation | succeeds | |
parenlog | A language that is like Prolog, but parenthetical. | succeeds; has dependency problems | |
parquet | Support for the Apache Parquet column-oriented file format. Uses the thrift package for actual file handling. | succeeds | |
parsack | A basic Parsec (Haskell's monadic parser combinator library) implementation. | succeeds | |
parse-qif | Basic QIF-parsing code, used to apply categories to downloaded transactions This package needs documentation | succeeds; has dependency problems; has failing tests | |
parser-combinator | Parser / Lexer Library, and JSON Implementation. This package needs documentation | succeeds; has dependency problems | |
parted | Interface to GNU Parted Disk Partion Utility This package needs tags | succeeds | |
pcf | PCF with Contracts and Symbolic Values | fails | |
pcg | Permuted congruential generators (PCG) in Racket | succeeds | |
pdf-read | PDF reading library. Read PDF documents into picts and bitmap%s. You can also gather text and layout information. Requires liboppler. | succeeds; has failing tests | |
peg | PEG parser generator | succeeds | |
persistent-array | A semi-persistent array | succeeds | |
persistent-union-find | A persistent implementation of the union-find data structure This package needs documentation | succeeds | |
pex | Apollo Art PEx System Control This package needs tags | succeeds; has failing tests | |
pfds | Purely functional data structures for Typed Racket | succeeds | |
phc-adt | Algebraic Data Types for Typed/Racket, with features tailored to compiler writing. The data types do not have to be declared before they are used, like prefab structs and symbols. Behind the scenes, this library remembers all the data types in a file, and uses it to implicitly pre-declare them. Mostly stable, although some things may change a bit in the future.
| fails | |
phc-adt-doc | Documentation for phc-adt (and rendering of the literate programming)
| fails | |
phc-adt-lib | Implementation of phc-adt This package needs documentation | fails | |
phc-adt-test | Tests for phc-adt This package needs documentation | fails | |
phc-toolkit | Personal collection of utilities. Somewhat unstable and sparsely documented (for now). | succeeds | |
phone-number | Get mobile phone number locations and other infos | succeeds | |
php-parser | A php parser This package needs documentation | succeeds | |
pict-abbrevs | Pict helper functions | succeeds | |
pict3d | Modern 3D engine with a purely functional interface | succeeds; has failing tests | |
pict3d-die-cut | For Pict3D, generates text and other 2-D shapes from paths | succeeds; has failing tests | |
pict3d-orig | Modern 3D engine with a purely functional interface
| fails | |
picturing-programs-typed | Bloch's picturing-programs package converted to be usable in Typed Racket. Typed utility functions for posns also included. This package needs documentation | succeeds; has failing tests | |
pidec | Computation of the n-th digit of π with low memory | succeeds | |
pie | The Pie language, used in The Little Typer | succeeds | |
pie-a-let-mode | A little fork of the Pie language (adds `let` and `equal`). | succeeds; has failing tests | |
pinyin | 汉字转拼音 | succeeds | |
pipe | Iteratees in Typed Racket. | succeeds | |
pitfall | PDF generation library [under development] This package needs documentation | succeeds | |
pk | slightly superior print (peek) debugging This package needs documentation | succeeds; has dependency problems | |
pkg-build | Build server for pkgs This package needs documentation This package needs tags | succeeds | |
pkg-dep-draw | This package needs a description | succeeds | |
pkg-index | The Racket package catalog server This package needs documentation This package needs tags | succeeds | |
pkg-push | This package needs a description This package needs documentation This package needs tags | succeeds | |
plai-dynamic | Quick and dirty dynamically scoped plai-like language. Improvements welcome at https://gitlab.com/bremner/plai-dynamic This package needs documentation | succeeds; has dependency problems | |
plai-lazy | A lazy variant of the plai language | succeeds | |
plai-math | Provides helpful math functions to plai-typed This package needs documentation | fails | |
plai-typed | The `plai-typed' language for use with Programming Languages: Application and Interpretation, Second Edition | succeeds | |
plai-typed-s-exp-match | Simple S-expression matcher for use with plai-typed This package needs tags | succeeds | |
plait | The Plait language is a hybrid of Racket (concrete syntax) and ML (type system) that is intended for use in an interpreters-based programming-languages course. It's an improved variant of `plai-typed`. | succeeds; has failing tests | |
plaitypus | Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai. | succeeds | |
planet2-example | An example package for testing purposes This package needs documentation | succeeds; has failing tests | |
play | Variations on #lang plai, the language that accompanies Krishnamurthi's PLAI book. This package needs documentation | succeeds; has failing tests | |
plisqin | An SQL generator | succeeds | |
plot-bestfit | This package needs a description This package needs tags | succeeds | |
plot-container | Embed plot snips in Racket GUI applications | succeeds | |
plplot | FFI bindings to PLplot This package needs documentation | succeeds; has failing tests | |
plt-build-plot | tools to record and plot `raco setup` memory use This package needs documentation This package needs tags | succeeds | |
plt-service-monitor | service-monitoring and "heartbeat" tools This package needs tags | succeeds | |
plt-web | Web-page creation libraries This package needs tags | succeeds | |
plt-web-doc | documentation part of "plt-web" This package needs tags | succeeds | |
plt-web-lib | PLT web page style and generation This package needs documentation This package needs tags | succeeds | |
pmap | Implementations of map using parallel futures and places | succeeds | |
png-image | Library to view and modify PNG chunks. | succeeds | |
point-free | A library for easier and more powerful function composition | succeeds | |
pollen | Publishing system for web-based books | succeeds | |
pollen-citations-mcgill | A McGill-style citations system that works within the Pollen publishing system. | succeeds | |
pollen-component | Component-based development for Pollen | succeeds | |
pollen-count | This package needs a description This package needs tags | succeeds | |
pollen-rock | An enhanced Pollen server and an in-browser editor for Pollen files | succeeds; has dependency problems; has failing tests | |
pollen-tfl | Sample Pollen project: source code for Typography for Lawyers website | succeeds | |
pollen-tuftorial | Pollen tutorial project based on Tufte CSS This package needs tags | succeeds | |
polyglot | Generate static websites using any mixture of any language for humans or computers. | succeeds | |
polyglot-doc | Documentation for polyglot | succeeds | |
polyglot-lib | Implementation for Polyglot This package needs documentation | succeeds | |
polyglot-test | Tests for Polyglot This package needs documentation This package needs tags | succeeds | |
polysemy | Highly experimental and unstable. Attach multiple meanings to an identifier (match expander, function overloads, macros, custom "~literal" tokens…). Rename parts of identifiers (rename only some meanings, leaving others with the original name). Compose hybrid identifiers by mixing the meanings of two or more independently defined identifiers. | succeeds | |
pop-pl | A Patient-Oriented Prescription Programming Language This package needs documentation This package needs tags | succeeds | |
popl-2012-ryr-talk | This package needs a description This package needs documentation This package needs tags | succeeds; has failing tests | |
poppler-i386-macosx | native libraries for "racket-poppler" package This package needs documentation | succeeds | |
poppler-ppc-macosx | native libraries for "racket-poppler" package This package needs documentation | fails | |
poppler-win32-i386 | native libraries for "racket-poppler" package This package needs documentation | succeeds | |
poppler-win32-x86-64 | native libraries for "racket-poppler" package This package needs documentation | succeeds | |
poppler-x86-64-macosx | native libraries for "racket-poppler" package This package needs documentation | succeeds | |
port-match | Pattern Matching for Ports | succeeds | |
portaudio | Bindings for portaudio, a cross-platform audio library. | succeeds; has failing tests | |
positional-tree-utils | A collection of functions which I have found useful when working with positional trees. This package needs documentation | fails | |
postfix-dot-notation | a lang-extension for postfix dot notation | succeeds | |
postmark | A front-end for the Postmark email delivery service API | succeeds; has failing tests | |
postmark-client | A client for the Postmark HTTP API. | succeeds; has conflicts | |
postnet | USPS POSTNET Barcode Encoding This package needs tags | succeeds | |
power-struct | Structure macro that easily defines a tagged default struct. | succeeds | |
ppict | progressive picts and slideshows | succeeds | |
ppict-slide-grid | This package needs a description This package needs documentation | succeeds | |
pprint | A universal pretty printing library | succeeds | |
prefab-predicate-compat | Provides `define-backwards-compatible-flat-prefab-predicate`which is like `define-predicate` but allows for backwards compatible prefab predicate declarations. This package needs documentation | fails | |
prefetch-autocomplete | prefetch the autocompletion symbols in DrRacket This package needs documentation | succeeds; has failing tests | |
pretty-format | Pretty versions of printf, format, etc. that print according to format strings | succeeds | |
pretty-graphs | For visualizing generic graphs as picts.
| fails | |
New | print-dbg | This package needs a description This package needs documentation This package needs tags | fails |
print-debug | Debugging tool. Use for debug printing variables and expresions. | succeeds; has conflicts; has dependency problems; has failing tests | |
profile-flame-graph | Library that connects the Racket profiler to the flamegraph tool | succeeds; has failing tests | |
profj | ProfessorJ | succeeds; has failing tests | |
progedit | Programmatic File Editing | succeeds | |
protobj | Prototype-Delegation Object Model This package needs tags | succeeds | |
protobuf | Protocol Buffer serialization library and ProtoC code generator plugin | succeeds; has conflicts | |
psd | Read (and will write) Photoshop Documents | succeeds | |
punctaffy | A library for manipulating higher-degree notions of brackets, such as quasiquotation syntax. This package needs documentation | succeeds | |
punctaffy-lib | A library for manipulating higher-degree notions of brackets, such as quasiquotation syntax. (lib) This package needs documentation | succeeds | |
punctaffy-test | A library for manipulating higher-degree notions of brackets, such as quasiquotation syntax. (test) This package needs documentation | succeeds | |
puresuri | puresuri presentation system | succeeds | |
puzzler | A WIP language for building 2D grid-based puzzle games. This package needs documentation | succeeds | |
pvector | Fast, immutable, persistent vectors | succeeds | |
py-fizz | Physics sandbox for racket. Compiles to Python and uses the Pymunk physics engine. High level tool for creating physics simulations and digital toys. Pygame and pymunk are dependencies. (Python too, obviously) | succeeds; has dependency problems; has failing tests | |
pydrnlp | NLP Library for Digital Ricoeur | succeeds; has failing tests | |
python | An implementation of the Python programming language for Racket This package needs documentation | succeeds; has failing tests | |
python-tokenizer | A fairly direct translation of tokenize.py | succeeds | |
qiniu-sdk | A simple library for qiniu.com This package needs documentation | succeeds | |
qresults-list | enhanced list-box% control | succeeds | |
quad | Document processor (unstable) | succeeds | |
quad-tree | A fairly simple quad-tree implementation. Nothing terribly fancy. Currently rather unstable. This package needs documentation | succeeds | |
qualified-in | Provides qualified-in, a require form which prefixes its subforms with their module names and a `:`. | succeeds | |
Quaternion | Quaternion procedures for rotation of vectors and koordinates, avoids gimbal-lock. | succeeds | |
quickcheck | Quickcheck Clone | succeeds; has failing tests | |
quickscript | Extends DrRacket with scripting capabilities and menu items. The package quickscript-extra contains sample scripts. Successor to script-plugin. | ||
quickscript-extra | Some scripts for Quickscript (must be installed first). See the README for installation. This package needs documentation | succeeds | |
quote-bad | A version of quote that helps to rid programs of bad uses of quote This package needs tags | succeeds | |
r-cade | Retro game engine. | succeeds; has dependency problems; has failing tests | |
r-lexer | This package needs a description This package needs tags | succeeds | |
r-linq | LINQ implemented in Racket. | succeeds | |
r7rs | An implementation of R7RS as a #lang This package needs documentation This package needs tags | succeeds | |
r7rs-lib | This package needs a description This package needs documentation This package needs tags | succeeds | |
raart | racket ansi art | succeeds; has dependency problems | |
rackcheck | A property-based testing library with shrinking support. | succeeds | |
rackdis | Redis bindings | succeeds; has failing tests | |
racket-bricks | This is the basic package for Racket Bricks. https://youtu.be/yJt0kKE9YxQ Most of the code is here. But to use this in DrRacket, you'll also need brick-snip and brick-tool. This package needs documentation | fails | |
New | racket-build-guide | Racket build and contribution documentation This package needs tags | succeeds |
racket-cheat | a user-friendly index into the Racket documentation | ||
racket-chipmunk | Chipmunk bindings for Racket. This package needs documentation | succeeds; has failing tests | |
racket-cord | Racket bindings for discord. | succeeds | |
racket-dogstatsd | DogStatsD client for Racket, allowing you to send metrics to Datadog | succeeds | |
racket-graphviz | Make composition of Racket Pict and Graphviz Diagrams possible. | fails | |
racket-i386-macosx-2 | native libraries for "racket" package This package needs documentation This package needs tags | ||
racket-immutable | operations that return immutable strings, immutable byte-strings, and immutable vectors This package needs documentation This package needs tags | succeeds | |
racket-lang-org | Sources for http://racket-lang.org This package needs documentation This package needs tags | succeeds; has failing tests | |
racket-langserver | Language Server Protocol implementation for Racket This package needs documentation | succeeds; has failing tests | |
racket-language-server | Implementation of the Language Server Protocol for Racket. | succeeds | |
racket-locale | More, and complete, locale tools. | succeeds; has failing tests | |
racket-pkg-test-a |
This package needs documentation This package needs tags | fails | |
racket-poppler | Read, search and render pdfs. Use LaTeX in scribble and slidehow. This package needs documentation | succeeds; has failing tests | |
racket-ppc-macosx-2 | native libraries for "racket" package This package needs documentation This package needs tags | ||
racket-processing | Allows processing to be written with Lispy syntax in DrRacket. Depends on the racket-to package, which transpiles to processing. This package needs documentation | succeeds; has dependency problems | |
racket-quandl | Grab data from Quandl with racket for fun and profit | succeeds | |
racket-rackunit-grade | This package needs a description This package needs tags | succeeds; has conflicts; has failing tests | |
racket-raylib-2d | Racket wrapper for Raylib (https://www.raylib.com/) v2.5 2D functionality This package needs documentation | succeeds; has failing tests | |
racket-route-match | racket-route-match is a library for matching URL routes. It uses the same routing syntax as used by popular Ruby web frameworks like Ruby on Rails and Sinatra. | succeeds | |
racket-scaffold | Simple templated content generator integrated with raco | succeeds | |
racket-school-mystery-languages | Some labs will have you explore these languages. One syntax, many semantics. (2017) This package needs documentation This package needs tags | succeeds; has dependency problems; has failing tests | |
racket-spider | lightweight http client This package needs documentation This package needs tags | succeeds; has dependency problems | |
racket-to | A set of lightweight transpilers from racket to other languages. Entirely for educational and in-class demo purposes. Don't use this for anything important yet... This package needs documentation This package needs tags | succeeds; has dependency problems | |
racket-to-python | My toolset for working with Python as a compilation target from Racket. It's basically just a lightweight wrapper around the Hy Language, which is basically a Lisp that compiles to Python. This package needs documentation This package needs tags | succeeds; has dependency problems | |
racket-weekend | Racket Weekend is a short course to help working programmers get started with Racket. This package contains the course's code samples. This package needs documentation | succeeds; has failing tests | |
racket-win32-i386 | native libraries for "base" package This package needs documentation This package needs tags | ||
racket-win32-i386-2 | native libraries for "racket" package This package needs documentation This package needs tags | ||
racket-win32-x86_64 | native libraries for "base" package This package needs documentation This package needs tags | ||
racket-win32-x86_64-2 | native libraries for "racket" package This package needs documentation This package needs tags | ||
racket-x86_64-linux-natipkg-2 | native libraries for "racket" package This package needs documentation This package needs tags | ||
racket-x86_64-macosx-2 | native libraries for "racket" package This package needs documentation This package needs tags | ||
racketcon-2018-web-devel-workshop | Material for the web development workshop held at RacketCon 2018 | succeeds | |
racketeer | Continuous testing for DrRacket This package needs documentation This package needs tags | fails | |
racketmq | An implementation of W3C WebSub. This package needs documentation | succeeds | |
racketscript | A lightweight Racket to JavaScript compiler with some batteries included This package needs documentation | succeeds | |
racketscript-compiler | A Racket to JavaScript compiler This package needs documentation | succeeds | |
racketscript-extras | Goodies for RacketScript This package needs documentation | succeeds | |
racketui | Automated web forms UI generator (especially for HtDP) | succeeds; has failing tests | |
rackjure | Some Clojure-inspired idioms. | succeeds | |
rackonsole | Lightweight Operator Console for Racket Server Processes | succeeds | |
rackpgmp | A library for profile-guided meta-programming | succeeds; has failing tests | |
rackterm | Terminal emulator library (currently unstable and undocumented) and simple frontend. Run racket -l rackterm/xterm to run. This package needs documentation | succeeds | |
rackunit-abbrevs | Iterated RackUnit tests | succeeds | |
rackunit-chk | a short hand for writing rackunit tests | succeeds | |
rackunit-fancy-runner | Command-line RackUnit test runner with fancy output This package needs documentation | succeeds | |
rackunit-grade | Simple library and raco command for grading homework against a test file | succeeds; has conflicts; has failing tests | |
rackunit-macrotypes-lib | rackunit extension for use with Turnstile lang This package needs documentation This package needs tags | succeeds | |
rackunit-spec | BDD test helpers for rackunit | succeeds | |
racl | Racket bindings for NaCl, a cryptographic library. This package needs documentation | succeeds | |
raco-bug | Submit bug reports This package needs documentation | succeeds | |
raco-find-collection | A script to find collections. | succeeds; has failing tests | |
raco-macro-step | Run the macro stepper from the command line This package needs documentation | succeeds | |
racquel | Racquel is an object/relational mapper for Racket. | succeeds | |
racr | A Racket port of RACR, a library for reference attribute grammar controlled rewriting. This package needs tags | succeeds | |
ragg | Given a grammar in EBNF, `ragg` produces a parser that generates a syntax object with source locations. This package is maintained for backward compatibility. `brag` is an updated version. | succeeds | |
ralist | Purely Functional Random Access Lists | succeeds; has failing tests | |
ramunk | Autogenerated bindings to the Chipmunk2D physics engine This package needs documentation | fails | |
ranked-programming | A library that provides ranked programming functionality in Racket. This package needs tags | succeeds | |
rapider | web scrape framework This package needs documentation | succeeds | |
rapider-lib | rapider-lib This package needs documentation This package needs tags | succeeds | |
New | rascas | Computer algebra system for Racket. Port of dharmatech/mpl without dependencies. | succeeds |
rash | The Reckless Racket Shell. For interactions and scripting. | succeeds | |
ratchet | Toolkit for defining visual languages. This package needs tags | succeeds; has conflicts; has dependency problems | |
ratel | This package needs a description This package needs documentation This package needs tags | succeeds; has dependency problems; has failing tests | |
raw-string | Raw string support without at-exp This package needs documentation | succeeds | |
rchess | Simple toolkit for chess stuff
| fails | |
reactor | An embedded synchronous reactive language, a la reactiveML | succeeds | |
readline-gpl | Cause readline collection to use GNU's readline library. This package needs documentation | succeeds | |
rebellion | A collection of infrastructure libraries | succeeds | |
recaptcha | Utilities for using reCAPTCHA with the web-server/formlets API | succeeds | |
reconstruct-template | `~list/ctx` pattern and `?list/ctx` template for reconstructing syntax objects for core-form languages | succeeds | |
redex-aam-tutorial | A brief introduction to the Redex and Abstracting Abstract Machines. | succeeds; has dependency problems | |
redex-abbrevs | Tools for PLT Redex |