Sam Tobin-Hochstadt Sam Tobin-Hochstadt's Repositories


samth/gradual-typing-bib
A bibliography on Gradual Typing
Racket - Last pushed - 146 stars - 10 forks
samth/disassemble
Disassembler for Racket
Scheme - Other - Last pushed - 40 stars - 8 forks
samth/bcrypt.rkt
A Racket interface to bcrypt
C - MIT - Last pushed - 7 stars - 4 forks
samth/new-racket-web
A revised Racket web page
Racket - Last pushed - 5 stars - 1 forks
samth/fancy-app
A Scala-style magic function application form
Racket - MIT - Last pushed - 24 stars - 2 forks
samth/var
Verification via Abstract Reduction
Racket - Last pushed - 4 stars - 1 forks
samth/javascript.plt
dherman's javascript.plt planet pkg
Scheme - LGPL-2.1 - Last pushed - 2 stars - 2 forks
samth/git-slice
Slicing git repositories.
Racket - Last pushed - 17 stars - 1 forks
samth/frtime-split-history
Racket - Other - Last pushed - 0 stars
samth/xlang
A language of combinators and numeric constants, implemented in Racket.
Racket - Other - Last pushed - 2 stars
samth/raco-git
Obseleted by raco pkg, aka Planet 2
Racket - Last pushed - 4 stars
samth/plt-history
Historical archive of Racket source
Racket - Last pushed - 0 stars
samth/docker-racket-build
Shell - Other - Last pushed - 2 stars
samth/old-plt
The very old history of Racket
Scheme - Last pushed - 3 stars
samth/find-pkg-deps
Racket - Last pushed - 4 stars
samth/tr-tutorial
Typed Racket tutorial at ELS 2013 & RacketCon 2012
Racket - Last pushed - 6 stars
samth/lang-slide
A slide that shows all the languages used to build Racket
Racket - Last pushed - 2 stars - 2 forks
samth/persistent-array
Racket - Last pushed - 4 stars - 1 forks
samth/gcstats
GC statistics for Racket
Racket - Last pushed - 7 stars
samth/github.rkt
GitHub bindings for Racket
Racket - Last pushed - 4 stars - 3 forks
samth/dltool
Racket - GPL-3.0 - Last pushed - 1 stars
samth/htdp-json
Racket - Other - Last pushed - 1 stars
samth/semilit
Semiliterate programming in Racket
Racket - Last pushed - 7 stars
samth/munger
Data munging in Typed Racket in an R-like manner.
Racket - Last pushed - 0 stars
samth/match-count
Racket - Updated - 0 stars
samth/add-blaster
A very simple Racket package
Racket - Last pushed - 0 stars
samth/mmap
Racket - Last pushed - 2 stars
samth/gut
Internet and web focused Typed Racket code.
Racket - Last pushed - 0 stars
samth/book-catalog
JavaScript - Last pushed - 0 stars
samth/samth.github.com
Web page
Isabelle - Last pushed - 1 stars - 1 forks