Ben Greenman's repositories
gtp-benchmarks
Gradual Typing Performance benchmarks
scribble-abbrevs
Scribble-to-LaTeX helper functions
luau-telemetry
Large-scale, anonymous, randomized logging of type errors in Luau
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
gtp-checkup
Correctness test for gradual typing
my-favorite-resume
This is my resume. Original template pilfered from Yisong Yue.
FloatTracker.jl
Julia library providing tracking of floating point errors through a program resources
typed-racket
Typed Racket
papers-ux-ai-programming
List of research papers of research papers investigating the user experience of AI-powered programming assistants (e.g., Copilot).
retic_performance-2
Performance evaluation of Reticulated Python
rhombus-prototype
Brainstorming and draft proposals for Rhombus
shplait
Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
study
Create your own study by cloning and editing configs; or check out the code behind the study components.
tabench
The Brown Table Benchmark
ucsc-ospo.github.io
Website of the Open Source Program Office, UC Santa Cruz
utahplt-blog
Research Blog for University of Utah PLT