Trending repositories for language Racket

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

The Racket repository

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

The Racket repository

The Racket repository

Analyze data from swim, bike and run activities

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

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

Analyze data from swim, bike and run activities

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

The Racket repository

The Racket repository

An LLM-first programming language.

Rhombus programming language

Reusable Reproducible Composable Software

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

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

Analyze data from swim, bike and run activities

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

No description

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

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

CMSC 430 Design and Implementation of Programming Languages

Search-based compiler for high-performance DSP programming

No description

Window manager in the Racket programming language

No description

An implementation of R7RS in Racket

A web development toolkit for Racket.

nanopass compiler framework for Racket

A bibliography on Gradual Typing

An LLM-first programming language.

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

No description

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

CMSC 430 Design and Implementation of Programming Languages

Search-based compiler for high-performance DSP programming

Rhombus programming language

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

No description

Window manager in the Racket programming language

No description

An implementation of R7RS in Racket

Analyze data from swim, bike and run activities

A web development toolkit for Racket.

nanopass compiler framework for Racket

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

Reusable Reproducible Composable Software

A bibliography on Gradual Typing

No description

The Racket repository

UUIDv7 in N languages

No description

No description

An implementation of Haskell’s MVars in Racket

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

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

Reusable Reproducible Composable Software

Plot Cookbook

Typed Racket

WIP implementation of a Haskell-like Lisp in Racket

No description

a structured interaction engine 🗜️ ⚗️

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

SICP in Guile & Emacs Lisp

No description

Racket to JavaScript Compiler

An LLM-first programming language.

FPGA synthesis tool powered by program synthesis

UUIDv7 in N languages

Plot Cookbook

A desktop client for Apache Kafka.

FPGA synthesis tool powered by program synthesis

Exercises for course "Principles of Programming Languages" @ Polimi '23, '24

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 implementation of Haskell’s MVars in Racket

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

An embeddable flow-oriented language.

Forge: A Tool and Language for Teaching Formal Methods

A Racket refactoring engine

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

Rhombus programming language

CMSC 430 Design and Implementation of Programming Languages

Option Trading Application

Kanren with databases

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