Pinned Repositories
forth
Forth emulator, as a Racket #lang
iPoe
Interactive POetry Editor
mechanics
(in progress) Racket port of the SICM scmutils library
pierce-categories
Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.
spreadsheet
Functor for parsing and building spreadsheets
trivial
Stronger types for a few Typed Racket operators
with-cache
Simple, filesystem-based caching for Racket
zordoz
Manipulating racket bytecode
syntax-parse-example
Collection of syntax/parse macros
gtp-plot
Gradual typing performance plots
bennn's Repositories
bennn/trivial
Stronger types for a few Typed Racket operators
bennn/gtp-benchmarks
Gradual Typing Performance benchmarks
bennn/gtp-measure
Benchmarking tool
bennn/g-pldi-2022
bennn/scribble-abbrevs
Scribble-to-LaTeX helper functions
bennn/agile
#lang for agile software development
bennn/luau-telemetry
Large-scale, anonymous, randomized logging of type errors in Luau
bennn/racket-mutt
Racket API for the Mutt email client
bennn/require-typed-check
Racket's require/typed, but avoids generating contracts for typed-to-typed interaction
bennn/gtp-checkup
Correctness test for gradual typing
bennn/my-favorite-resume
This is my resume. Original template pilfered from Yisong Yue.
bennn/rational-deep-shallow
bennn/Finch
bennn/FloatTracker.jl
Julia library providing tracking of floating point errors through a program resources
bennn/Forge
bennn/gfd-oopsla-2023
bennn/php-blg59
Personal website
bennn/typed-racket
Typed Racket
bennn/7GUI
the 7 gui project
bennn/cinder
Instagram's performance oriented fork of CPython.
bennn/gtp-util
Just helper functions
bennn/osc
Racket bindings for OSC
bennn/papers-ux-ai-programming
List of research papers of research papers investigating the user experience of AI-powered programming assistants (e.g., Copilot).
bennn/retic_performance-2
Performance evaluation of Reticulated Python
bennn/rhombus-prototype
Brainstorming and draft proposals for Rhombus
bennn/scribble
bennn/shplait
Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
bennn/sketching
A Racket library for creative drawings and animations. Inspired by Processing.
bennn/tabench
The Brown Table Benchmark
bennn/ucsc-ospo.github.io
Website of the Open Source Program Office, UC Santa Cruz