Search credible GitHub repositories.

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.

Reusable Reproducible Composable Software

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

Racket to JavaScript Compiler

SICP in Guile & Emacs Lisp

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

Rhombus programming language

The Reckless Racket Shell

Typed Racket

DrRacket, IDE for Racket

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

a structured interaction engine 🗜️ ⚗️

blockchain reference and demos

Analyze data from swim, bike and run activities

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

No repository description provided.

My racket study documentation

Urlang is JavaScript with a sane syntax

Retro Game Engine for Racket

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

A bibliography on Gradual Typing

A practical guide to Racket macros

Whalesong: Racket to JavaScript compiler

No repository description provided.

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

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

A less devious proof assistant

Magical Book The book uses dialects Scheme in the programming language Lisp to explain the core concepts of computer science, including abstraction, recursion, interpreters, and metalinguistic abstraction. Specific and micro-macroscopical to microcosmic to give a clear outline and context.