Skip to content
View sarostru's full-sized avatar
8 followers · 6 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report sarostru

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

Stars

7 stars written in Racket
Clear filter

racket / racket

The Racket repository

Racket 4,905 674 Updated Mar 16, 2025

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.

Racket 78 11 Updated Dec 27, 2021

dvanhorn / pcf

PCF with Contracts and Symbolic Values

Racket 17 2 Updated Mar 30, 2016

gregr / racket-misc

miscellaneous racket utilities that I find useful

Racket 10 2 Updated Oct 26, 2017

hzafar / pcf-interpreter

A Racket-based implementation of PCF as described in Robert Harper's Practical Foundations for Programming Languages.

Racket 8 Updated Apr 26, 2018

hzafar / pfpl-in-racket

Playing around with Racket/Turnstile-based implementations of the languages described in Practical Foundations for Programming Languages. See http://www.ccs.neu.edu/home/stchang/popl2017/ for a des…

Racket 4 Updated Jun 14, 2017

hzafar / papers-playground

Racket 2 Updated Aug 24, 2018