Ben Greenman

mechanics. (in progress) Racket port of the SICM scmutils library

iPoe. Interactive POetry Editor

zordoz. Manipulating racket bytecode

forth. Forth emulator, as a Racket #lang

pierce-categories. Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.

with-cache. Simple, filesystem-based caching for Racket

trivial. Stronger types for a few Typed Racket operators

dissertation. PhD dissertation, Khoury College, Northeastern University, 2020

little-book-of-semaphores. Racket support for implementing the little book

spreadsheet. Functor for parsing and building spreadsheets

assertions. Simple assertions library for OCaml.

pacman-complete. Proof that programming language X can implement a pacman game.

g-pldi-2022. Racket

advent-of-code. my Advent of Code solutions (https://adventofcode.com)

scribble-abbrevs. Scribble-to-LaTeX helper functions

racket-mutt. Racket API for the Mutt email client

require-typed-check. Racket's require/typed, but avoids generating contracts for typed-to-typed interaction

luau-telemetry. Large-scale, anonymous, randomized logging of type errors in Luau

agile. #lang for agile software development

syntax-parse-example. Collection of syntax/parse macros

glob. Unix-style globbing in Racket

rosette-contract. Proving away contracts with Rosette

racket-minus-contracts. Patch to ignore contracts in your Racket runtime

rational-deep-shallow.

doubly-linked. Purely functional doubly-linked lists in OCaml

my-favorite-resume. This is my resume. Original template pilfered from Yisong Yue.

bubbles. Unit testing in OCaml

way_of_analysis. Exercises from Strichartz's "Way of Analysis. By Harris Karsch & Ben Greenman

gfd-oopsla-2023. Racket

summer-competititon-2019. 'Summer standard fish competition 2019'

tomato-timer. Simple tomato (pomodoro) timer

pythonRpgProject. A music rhythm rpg with randomly generated beatmaps that you actually get to play

femshop. Main repository for femshop

typed-racket. Typed Racket

pict. Racket

purity. No mutation! Enforced by this library (we'll see)