Skip to content
View parasol-aser's full-sized avatar
64 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
Block or Report

Block or report parasol-aser

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

    Deep learning code semantic similarity

    Python 60 18

  2. JMCR JMCR Public

    A stateless model checker powered by maximal causality reduction

    Java 38 10

  3. UFO UFO Public

    UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities

    C 32 19

  4. D4 D4 Public

    D4: Fast Concurrency Debugging with Parallel Differential Analysis

    Java 18 1

  5. vrust-open-source vrust-open-source Public

    Automated Vulnerability Detection for Solana Smart Contracts

    Rust 16 7

  6. XRust XRust Public

    Rust 11 1