Online playground from RacketScript

The X Toolkit

A small let language interpreter, Snake game, some interesting macros like Klass, and some assignments, all in racket.

Program used to pull tally data from MCNP output files.

Repository for (for now) filing bug reports about DCIC.

An ultrasmall (~70 loc) React wrapper written in RacketScript

A GitHub Action for building and testing Racket packages

an implementation of stuck macros

Infrastructure to autograde Racket code on Gradescope

A bridge/proxy allowing you to connect to Minecraft: Java Edition servers with Minecraft: Bedrock Edition.

Minor mode for God-like command entering

book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]

the 7 gui project

Fast, idiomatic Redis bidings for Racket.

A less devious proof assistant

Rhombus programming language

Powerful meta-programming for powerful types.

Build your personal knowledge base with Trilium Notes

A dynamically-typed CBPV language embedded in Racket

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

Variation on types-as-macros to explore different approaches

Library for racket's plot that does lines of best fit

WIP implementation of a Haskell-like Lisp in Racket

A language for producing art