Trending repositories for language Racket

The Racket repository

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

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

The Racket repository

The Racket repository

SICP in Guile & Emacs Lisp

Deep learning library

A SICP language for Racket.

No description

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

Deep learning library

A SICP language for Racket.

No description

SICP in Guile & Emacs Lisp

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

The Racket repository

The Racket repository

Deep learning library

a structured interaction engine 🗜️ ⚗️

An embeddable flow-oriented language.

Rhombus programming language

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

No description

No description

Reusable Reproducible Composable Software

Racket Stories is a "submit and vote" web site. This repo serves as an example of a small "in production" web-site written in Racket.

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

Forge: A Tool and Language for Teaching Formal Methods

UUIDv7 in N languages

A Racket library for creative drawings and animations. Inspired by Processing.

Public helper code for p423/p523 students (Racket)

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

SICP in Guile & Emacs Lisp

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

A linter for Racket.

Racket parser combinators inspired by parsack and megaparsec

Deep learning library

No description

An embeddable flow-oriented language.

Racket Stories is a "submit and vote" web site. This repo serves as an example of a small "in production" web-site written in Racket.

Forge: A Tool and Language for Teaching Formal Methods

UUIDv7 in N languages

A linter for Racket.

A Racket library for creative drawings and animations. Inspired by Processing.

a structured interaction engine 🗜️ ⚗️

Rhombus programming language

Racket parser combinators inspired by parsack and megaparsec

Public helper code for p423/p523 students (Racket)

No description

No description

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

nanopass compiler framework for Racket

A SICP language for Racket.

No description

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

UUIDv7 in N languages

No description

No description

Deep learning library

An LLM-first programming language.

The Racket repository

A desktop client for Apache Kafka.

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

UUIDv7 in N languages

Rhombus programming language

No description

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

Reusable Reproducible Composable Software

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

Plot Cookbook

Typed Racket

No description

No description

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

a structured interaction engine 🗜️ ⚗️

Deep learning library

SICP in Guile & Emacs Lisp

WIP implementation of a Haskell-like Lisp in Racket

DrRacket, IDE for Racket

An LLM-first programming language.

UUIDv7 in N languages

Plot Cookbook

A desktop client for Apache Kafka.

FPGA synthesis tool powered by program synthesis

An implementation of "A Pretty Expressive Printer" in Racket

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

My homework, project and exam answers from Brian Harvey's CS61A: Structure and Interpretation of Computer Programs

Prototypes: Object Orientation, Functionally

An embeddable flow-oriented language.

Forge: A Tool and Language for Teaching Formal Methods

A Racket refactoring engine

A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏

Rhombus programming language

[Mirror] A close reading of the μKanren paper.

A linter for Racket.

Search-based compiler for high-performance DSP programming

Option Trading Application

CMSC 430 Design and Implementation of Programming Languages

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

Kanren with databases