Category racket

racket

racket

1910 0,0,1,0,2,1,2,0

The Racket repository

hackett

hackett

741

WIP implementation of a Haskell-like Lisp in Racket

frog

frog

392 0

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

rosette

rosette

277

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

herbie

herbie

247

Synthesis for floating-point expressions

pie

pie

232

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

leibniz

leibniz

224

A Digital Scientific Notation

pyramid-scheme

pyramid-scheme

210

Pyramid is a language to create Ethereum smart contracts

racket7

racket7

167

rackjure

rackjure

129 0,0,0

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

lsh

lsh

110

Lisp Shell

cKanren

cKanren

108

Constraint programming language embedded in Racket