Skip to content
View acieroid's full-sized avatar

Highlights

  • Pro

Organizations

@softwarelanguageslab @EveryBoard

Block or report acieroid

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

Popular repositories Loading

  1. overscore overscore Public

    Automatic score reader -- OMR system and text-based musical notation

    Clojure 61 6

  2. wassail wassail Public

    wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

    WebAssembly 49 8

  3. scala-am scala-am Public

    (Abstract) Abstract Machine Experiments using Scala

    Scheme 34 10

  4. pcesk pcesk Public

    Static analysis of a parallel Scheme

    OCaml 17 1

  5. paste-py paste-py Public

    Paste service that uses Pygments

    CSS 16 10

  6. tamca tamca Public

    A timer for the Pomodoro Technique

    C 7 3