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.

Racket to JavaScript Compiler

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

a structured interaction engine 🗜️ ⚗️

Urlang is JavaScript with a sane syntax

Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.

A less devious proof assistant

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

Some fun examples of solving problems with symbolic execution

A collection of core libraries for Racket

A simple starting point for doing deep learning in Racket

A Racket refactoring engine

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

⏺✍️ Write in Markdown+Racket, publish to multiple formats

Take an info.rkt file, produce a info.nix file.

Probabilistic Programming

A prototype of soft contract verification for an untyped functional language

remix - a revised version of Racket

The best experimental economics software built in Racket

Manipulating racket bytecode

Racket bindings for Z3

Sound and efficient gradual typing via contract verification.

A Gradual Dependently-typed Language

Miscellaneous contracts.

Visualize lambda expressions