Matthew Flatt Matthew Flatt

Tracking 115K commits to 157 open source packages


Homepage: http://www.cs.utah.edu/~mflatt/

Company: PLT, University of Utah

Location: Salt Lake City


Repositories

mflatt/gc-demo
C - Last pushed - 23 stars - 1 forks
mflatt/plai-typed
Racket - Last pushed - 32 stars - 11 forks
mflatt/not-a-box
Racket - Last pushed - 54 stars - 5 forks
mflatt/sirmail
an IMAP mail client implemented in Racket
Racket - Last pushed - 16 stars - 2 forks
mflatt/scope-sets
Source to "Binding as Sets of Scopes"
Racket - Last pushed - 6 stars
mflatt/min-racket
experiment toward a minimal Racket install
C - Last pushed - 9 stars
See all Matthew Flatt's repositories

Repositories Contributed To

takikawa/racket-ppa
Ubuntu PPA packaging for Racket (based on http://anonscm.debian.org/gitweb/?p=collab-maint/racket...
Racket - Last pushed - 0 stars
juanfra684/racket-musl
Racket - Last pushed - 0 stars
juanfra684/racket-sparc
Racket - Last pushed - 0 stars
samth/plt-history
Historical archive of Racket source
Racket - Last pushed - 0 stars
juanfra684/racket-travis-test
Racket - Last pushed - 0 stars - 1 forks
samth/old-plt
The very old history of Racket
Scheme - Last pushed - 3 stars
See all Matthew Flatt's contributions

Published Packages

plai-typed
The `plai-typed' language for use with Programming Languages: Application and Interpretation, Sec...
Latest release - Published - 32 stars
sirmail
An IMAP mail client
Latest release - Published - 16 stars
slideshow-repl
Library for interactive evaluation within a slide presentation
Latest release - Published - 5 stars
scratchy
Scratch-like runtime and language
Latest release - Published - 29 stars
s3-sync
Sync filesystem with an S3 bucket
Latest release - Published - 3 stars
profj
ProfessorJ
Latest release - Published - 6 stars
See all Matthew Flatt's packages

Last synced: 2016-04-18 10:55:48 UTC

Login to resync this page