Skip to content
View scott-cotton's full-sized avatar
🏠
Working from home
🏠
Working from home

Organizations

@go-formal @signadot @go-air
Block or Report

Block or report scott-cotton

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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

  1. hilbert hilbert Public

    Faithful Hilbert Transform

    Go 4 1

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

    A fast SAT solver

    Go 148 16

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

    symbolic reachability checker

    Go 22 3

  4. L L Public

    minimalist, structured, project-aware logging for Go

    Go