GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — samth - Overview
@samth samth Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring
@samth
samth
Follow
View samth's full-sized avatar

Sam Tobin-Hochstadt samth

Follow
I'm an associate professor at Indiana University, and a core developer of @racket.
423 followers · 119 following
  • PLT @ Indiana University
  • Bloomington, IN
  • 10:08 (UTC -05:00)
  • http://samth.github.io
  • https://orcid.org/0000-0003-1302-6499

Sponsoring

@pmatos
@racket
@greghendershott

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Public Sponsor

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Public Sponsor

Highlights

  • Pro

Organizations

@racket @iu-parfunc @CCIS-2510H @nuprl
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring
samth/README.md

Hi there 👋

Popular repositories Loading

  1. gradual-typing-bib gradual-typing-bib Public

    A bibliography on Gradual Typing

    Racket 260 23

  2. disassemble disassemble Public

    Disassembler for Racket

    Scheme 84 14

  3. fancy-app fancy-app Public

    A Scala-style magic function application form

    Racket 42 4

  4. waterfall waterfall Public

    Small, configurable proof search for inductive Lean goals

    Lean 27 2

  5. git-slice git-slice Public

    Slicing git repositories.

    Racket 22 1

  6. semilit semilit Public

    Semiliterate programming in Racket

    Racket 13

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.