Trending repositories for language Racket

SICP in Guile & Emacs Lisp

SICP in Guile & Emacs Lisp

nanopass compiler framework for Racket

Retro Game Engine for Racket

Brainstorming and draft proposals for Rhombus

SICP in Guile & Emacs Lisp

nanopass compiler framework for Racket

Retro Game Engine for Racket

Brainstorming and draft proposals for Rhombus

SICP in Guile & Emacs Lisp

The Racket repository

SICP in Guile & Emacs Lisp

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

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

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

Reusable Reproducible Composable Software

The Reckless Racket Shell

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

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

A code formatter for Racket

Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs textbook.

A SICP language for Racket.

No description

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

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

Support for code-reloading for long-running racket programs (such as web-servers).

Forge: A Tool and Language for Teaching Formal Methods

A desktop client for Apache Kafka.

nanopass compiler framework for Racket

Waxeye is a parser generator based on parsing expression grammars (PEGs). It supports C, Java, JavaScript, Python, Racket, and Ruby.

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

A code formatter for Racket

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

Support for code-reloading for long-running racket programs (such as web-servers).

Forge: A Tool and Language for Teaching Formal Methods

Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs textbook.

A SICP language for Racket.

A desktop client for Apache Kafka.

No description

SICP in Guile & Emacs Lisp

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

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

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

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

nanopass compiler framework for Racket

The Reckless Racket Shell

Reusable Reproducible Composable Software

Waxeye is a parser generator based on parsing expression grammars (PEGs). It supports C, Java, JavaScript, Python, Racket, and Ruby.

Retro Game Engine for Racket

The Racket repository

An implementation of Haskell’s MVars in Racket

No description

The Racket repository

A desktop client for Apache Kafka.

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

Brainstorming and draft proposals for Rhombus

Reusable Reproducible Composable Software

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

a structured interaction engine 🗜️ ⚗️

Racket to JavaScript Compiler

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

WIP implementation of a Haskell-like Lisp in Racket

SICP in Guile & Emacs Lisp

No description

Option Trading Application

Typed Racket

No description

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

DrRacket, IDE for Racket

Analyze data from swim, bike and run activities

The Reckless Racket Shell

Forge: A Tool and Language for Teaching Formal Methods

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

An implementation of Haskell’s MVars in Racket

Option Trading Application

Brainstorming and draft proposals for Rhombus

Kanren with databases

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

Public helper code for p423/p523 students (Racket)

No description

No description

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

The WIP book for CPSC 411

No description

A SICP language for Racket.

HoTT in Japanese

Search-based compiler for high-performance DSP programming

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