The Racket repository

WIP implementation of a Haskell-like Lisp in Racket

Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.

The Reckless Racket Shell

a structured interaction engine 🗜️ ⚗️

Analyze data from swim, bike and run activities

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

Urlang is JavaScript with a sane syntax

Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]

Moved to https://codeberg.org/khinsen/leibniz

syn·di·cate: a language for interactive programs

A Python implementation for Racket

Declarative GUIs in Racket.

Source Code for Video language.

multi-stage relational programming for staged relational interpreters: running with holes, faster

Some fun examples of solving problems with symbolic execution

deploying Racket on Android

Window manager in the Racket programming language

Canonical miniKanren implementation in Racket

Racket parser combinators inspired by parsack and megaparsec

A Racket library that lets you control Firefox via the Marionette Protocol.

Create websites using any mix of programming languages or workflows 💎

An EMACS written in Racket. Runs in ANSI-compatible terminals.

Simple computer algebra system

A Swift wrapper around Racket CS.

My adventure into the marvelous world of Web Assembly

Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, and CI/CD systems.

Typed Racket data structure libraries

the 7 gui project

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