Discover @bennn Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Solidity

Dart

Julia

C++

Lua

PHP

OCaml

Go

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Scala

Kotlin

Nix

Racket

Erlang

Julia

Ruby

Dart

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇩🇴 Dominican Republic

🇧🇲 Bermuda

🇺🇬 Uganda

🇲🇩 Moldova

🇰🇷 South Korea

🇱🇺 Luxembourg

🇰🇼 Kuwait

🇩🇯 Djibouti

All Countries Compare Countries

Ben Greenman (@bennn)

bennn

Stars
246
Global Rank 101,241 (Top 4 %)
Followers 196
Following 950
Registered about 12 years ago
Most used languages

Racket
74.4 %

OCaml
7.7 %

TeX
7.7 %

Emacs Lisp
2.6 %

HTML
2.6 %

Python
2.6 %

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

Racket
20

OCaml
251

TeX
739

Emacs Lisp
2,106

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

g-pldi-2022

gtp-plot

Gradual typing performance plots

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

scribble-abbrevs

Scribble-to-LaTeX helper functions

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

gfd-oopsla-2023

my-favorite-.emacs.d

my favorite config files

require-typed-scv

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

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.