Skip to content
View aaronshim's full-sized avatar
  • Yale University
  • New Haven, CT

Block or report aaronshim

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

Pinned Loading

  1. whenisbad whenisbad Public

    A scheduling assistant

    Haskell

  2. khazad-dum khazad-dum Public

    Simple program verifier-- You Shall Not Pass!

    Scala 2

  3. SATurday SATurday Public

    Our SAT solver

    C++ 2 1

  4. npr-alarm-elixir npr-alarm-elixir Public

    Trying out Elixir with nerves for RPi embedded programming

    Elixir

  5. overtones overtones Public

    A hands-on overtone synthesizer for building new tonal colors

    Elm

  6. subset subset Public

    A tool for comparing files in two directory structures and calculating mappings if they are sufficiently different

    Rust