Carl Eastlund Carl Eastlund

Tracking 3.56K commits to 47 open source packages


Company: Northeastern University (alumnus)

Location: New York, NY


Repositories

carl-eastlund/dracula
Racket - Last pushed - 7 stars - 2 forks
carl-eastlund/games
Last pushed - 0 stars
carl-eastlund/simple-sexp
Nonstandard Emacs s-expression indentation for Racket
Emacs Lisp - Last pushed - 0 stars - 2 forks
carl-eastlund/fasttest
Racket - Last pushed - 1 stars
carl-eastlund/refined-acl2
Racket - Last pushed - 1 stars - 1 forks
carl-eastlund/mischief
Racket - Last pushed - 2 stars - 4 forks
See all Carl Eastlund'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
samth/plt-history
Historical archive of Racket source
Racket - Last pushed - 0 stars
juanfra684/racket-musl
Racket - Last pushed - 0 stars
juanfra684/racket-travis-test
Racket - Last pushed - 0 stars - 1 forks
juanfra684/racket-sparc
Racket - Last pushed - 0 stars
takikawa/abstract-methods
Fork of plt for developing abstract methods.
Racket - Last pushed - 3 stars - 1 forks
See all Carl Eastlund's contributions

Published Packages

dracula
Dracula: ACL2 theorem prover tools in DrRacket
Latest release - Published - 7 stars
refined-acl2
Refined ACL2: experimental implementation of ACL2-verifiable code with ML modules and Racket macros.
Latest release - Published - 1 stars
mischief-dev
Mischief: A Racketeer's Toolkit [development branch]
Latest release - Published - 2 stars
mischief
Mischief: A Racketeer's Toolkit
Latest release - Published - 2 stars
See all Carl Eastlund's packages

Last synced: 2016-04-26 00:53:37 UTC

Login to resync this page