Skip to content
View tornado80's full-sized avatar
🎯
Focusing
🎯
Focusing
101 followers · 230 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@ICP2020Fall

Block or report tornado80

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. compiler-course-project compiler-course-project Public

    Pascal language compiler

    Python 3

  2. pacman pacman Public

    Pac-Man Game Simulation & AI

    C 13 1

  3. collaborative-whiteboard collaborative-whiteboard Public

    Collaborative Whiteboard written in Erlang and React over Websocket protocol. Share the URL with your team mates to start doodling your awesome ideas!

    Erlang 1

  4. easycrypt-vscode-ide easycrypt-vscode-ide Public

    A VSCode extension for EasyCrypt Proof Assistant

    JavaScript 1 1

  5. program-verification-project1 program-verification-project1 Public

    Rust

  6. domino-lang/domino domino-lang/domino Public

    Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols

    Rust 17 1