Discover @bennn Open Source projects

Ben Greenman (@bennn)

bennn

Stars
248
Global Rank 103,956 (Top 4 %)
Followers 216
Following 1,026
Registered over 12 years ago
Most used languages

Racket
74.4 %

OCaml
7.7 %

TeX
7.7 %

Python
2.6 %

Shell
2.6 %

Emacs Lisp
2.6 %

HTML
2.6 %
Location 🇺🇸 United States
Country Total Rank 25,147
Country Ranking

Racket
21

OCaml
252

TeX
750

Emacs Lisp
2,009

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

with-cache

Simple, filesystem-based caching for Racket

pierce-categories

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

trivial

Stronger types for a few Typed Racket operators

little-book-of-semaphores

Racket support for implementing the little book

dissertation

PhD dissertation, Khoury College, Northeastern University, 2020

assertions

Simple assertions library for OCaml.

gtp-benchmarks

Gradual Typing Performance benchmarks

spreadsheet

Functor for parsing and building spreadsheets

gtp-plot

Gradual typing performance plots

g-pldi-2022

scribble-abbrevs

Scribble-to-LaTeX helper functions

pacman-complete

Proof that programming language X can implement a pacman game.

my-favorite-resume

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

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

glob

Unix-style globbing in Racket

agile

#lang for agile software development

gtp-checkup

Correctness test for gradual typing

doubly-linked

Purely functional doubly-linked lists in OCaml

way_of_analysis

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

rational-deep-shallow

racket-minus-contracts

Patch to ignore contracts in your Racket runtime

rosette-contract

Proving away contracts with Rosette

gtp-measure

Benchmarking tool

bubbles

Unit testing in OCaml

advent-of-code

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

tomato-timer

Simple tomato (pomodoro) timer

julia-local-registry

redex-models

Some models in PLT Redex

purity

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

rackunit-abbrevs

Abbreviations for RackUnit testing

php-blg59

Personal website

require-typed-scv

Typed Racket's `require/typed`, with soft contract verification

gfd-oopsla-2023

my-favorite-.emacs.d

my favorite config files

statement_of_purpose

This is my statement of purpose. It is in version control so I can see how it changes over time. It is in a public repository because I like github but not enough to pay for it.