Discover @samth Open Source projects

Sam Tobin-Hochstadt (@samth)

samth

Stars
573
Global Rank 51,353 (Top 2 %)
Followers 380
Following 109
Registered over 14 years ago
Most used languages

Racket
81.3 %

Scheme
6.3 %

Python
2.1 %

Isabelle 2.1 %

C
2.1 %

Shell
2.1 %

TeX
2.1 %

PostScript 2.1 %
Location 🇺🇸 United States
Country Total Rank 13,425
Country Ranking

Isabelle 9

Racket
9

Scheme
33

PostScript 187

TeX
5,773

C
8,231

gradual-typing-bib

A bibliography on Gradual Typing

disassemble

Disassembler for Racket

fancy-app

A Scala-style magic function application form

git-slice

Slicing git repositories.

semilit

Semiliterate programming in Racket

gcstats

GC statistics for Racket

bcrypt.rkt

A Racket interface to bcrypt

object-backtrace

find out what keeps an object alive

tr-tutorial

Typed Racket tutorial at ELS 2013 & RacketCon 2012

javascript.plt

dherman's javascript.plt planet pkg

zuo

persistent-array

new-racket-web

A revised Racket web page

docker-racket-build

rhombus-more

find-pkg-deps

var

Verification via Abstract Reduction

raco-git

Obseleted by raco pkg, aka Planet 2

github.rkt

GitHub bindings for Racket

lang-slide

A slide that shows all the languages used to build Racket

racket-examples

Explainer for Racket homepage examples

github

get-primitive

ella

control-contract-model

project-ideas

raco-bug

persistent-union-find

rekt

pkg-build-diff

xlang

A language of combinators and numeric constants, implemented in Racket.

talks

raco-macro-step

samth.github.io

module-constraints

test-bugs

pltalk

mmap

popl08-model

test-date

Testing DrRacket on multiple dates

split-by

chap-bench

dltool

find-parent-dir

Finding containing directories

dissertation

htdp-json

in-covid

.github

perf-scripts

aoc2021

jscontracts

Proxy-based Contract Library for JavaScript

r6rs-immutable

abnf