Skip to content
View hanxic's full-sized avatar
1 follower · 2 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Quickdraw
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Quickdraw
BetaSend feedback
Block or Report

Block or report hanxic

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

  1. Traffic_Congestion_Simulator Traffic_Congestion_Simulator Public

    Java

  2. BrickBreaker BrickBreaker Public

    CIS120 Project

    Java

  3. QuickChick QuickChick Public

    Forked from QuickChick/QuickChick

    Randomized Property-Based Testing Plugin for Coq

    Coq

  4. cis1940-spring23 cis1940-spring23 Public

    Forked from julcim/cis1940-spring23

    Haskell

  5. ott ott Public

    Forked from ott-lang/ott

    The Ott tool for writing definitions of programming languages and calculi

    OCaml

  6. au-fsv23 au-fsv23 Public

    Forked from 4ever2/au-fsv22

    CIS 5000 Fall 23 - Forked version of Docker container for Formal Software Verification 2022 course

    Dockerfile 1