Skip to content
View galois1's full-sized avatar
3 followers · 0 following
  • France

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report galois1

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. demo demo Public

    HTML 1 1

  2. MinimalWebAudio MinimalWebAudio Public

    Forked from zenon/MinimalWebAudio

    Minimal examples for the use of the Web Audio API (audio in the browser with just JavaScript). Minimal in the sense of easy to understand.

    HTML

  3. amazon_wishlist amazon_wishlist Public

    Rust

  4. jscoq jscoq Public

    Forked from jscoq/jscoq

    A port of Coq to Javascript -- Run Coq in your Browser

    JavaScript

  5. theory-310 theory-310 Public

    Java