Pinned Repositories
howell's Repositories
howell/howell.github.io
howell/prospect_experiments
howell/racket-actors
howell/cs4500-f18-fest
howell/draft-builder
howell/fantasy
howell/Hbc
howell/syndicate
howell/automata
automata - macros to build automata over match patterns
howell/Comparing-Concurrent-Programs
howell/cur
Powerful meta-programming for powerful types.
howell/dist-prog-book
howell/drracket-vim-tool
Vim-like editing for DrRacket
howell/ESPN-Fantasy-Football-API
Connect to ESPN's fantasy football API via this JS API client for web and NodeJS. Available as an npm package.
howell/feature-profile
Feature-specific profiling support for Racket
howell/fun-with-channels
howell/hackett
WIP implementation of a Haskell-like Lisp in Racket
howell/macrotypes
howell/macrotypes-projects
Projects using Turnstile+ and/or the types-as-macros approach to creating typed languages.
howell/monitors
Java style monitors for Racket objects
howell/pi-forall
A demo implementation of a simple dependently-typed language
howell/racket
The Racket repository
howell/racket-monitors
howell/redex
howell/simple-platform-lib
howell/statement-on-lambdaconf.github.io
howell/syndicate-games
howell/syndicate-sandbox
howell/try-syndicate-web
howell/website
Source for website at