Skip to content
View ym1234's full-sized avatar

Highlights

  • Pro

Block or report ym1234

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
15 stars written in Racket
Clear filter

WIP implementation of a Haskell-like Lisp in Racket

Racket 1,169 50 Updated Apr 14, 2024

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

Racket 711 59 Updated Jul 7, 2021

The Reckless Racket Shell

Racket 555 30 Updated Jan 29, 2024

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

Racket 326 53 Updated Feb 25, 2025

Write RESTful web apps in Racket.

Racket 230 18 Updated Jul 27, 2017

Window manager in the Racket programming language

Racket 87 5 Updated Sep 14, 2024

A collection of core libraries for Racket

Racket 85 16 Updated Jan 30, 2025

A Scala-style magic function application form

Racket 43 4 Updated Jul 31, 2022

Take an info.rkt file, produce a info.nix file.

Racket 41 12 Updated Apr 7, 2021

Terminal emulator in racket

Racket 41 5 Updated Oct 14, 2023

a racket lang-extension for debugging, and a macro for inserting a debug-repl

Racket 36 5 Updated May 21, 2022
Racket 34 21 Updated Feb 28, 2025

Parsing With Delimited Continuations package for Racket

Racket 11 1 Updated Feb 24, 2023

A mixfix parsing system after Danielsson and Norell 2008

Racket 5 1 Updated Nov 16, 2015

Enter unicode anywhere.

Racket 5 1 Updated Jul 8, 2024
15 stars written in Racket