Skip to content
View scott-cotton's full-sized avatar
🏠
Working from home
🏠
Working from home
10 followers · 1 following

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

Organizations

@go-formal @signadot @go-air

Block or report scott-cotton

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
scott-cotton/README.md

Hi there 👋

  • I created
  • ⚡ Fun fact: I prototyped and proposed optional static types to Python in 1999 personally to Guido Van Rossum in Reston, he very clearly refused. Today, Python has very much the same thing.
  • I am working at signadot

Pinned Loading

  1. hilbert hilbert Public

    Faithful Hilbert Transform

    Go 6 1

  2. go-air/gini go-air/gini Public

    A fast SAT solver

    Go 154 17

  3. go-air/reach go-air/reach Public

    symbolic reachability checker

    Go 23 3

  4. cli cli Public

    minimalist scalable ergonomic Go library for CLI's

    Go 1