Skip to content
View anantoni's full-sized avatar
73 followers · 73 following

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

Block or report anantoni

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 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

Pinned Loading

  1. plast-lab/doop plast-lab/doop Public

    The official repo of Doop, the declarative pointer analysis framework.

    Java 202 25

  2. soot-oss/soot soot-oss/soot Public

    Soot - A Java optimization framework

    Java 3.1k 720

  3. wala/WALA wala/WALA Public

    T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

    Java 826 238

  4. souffle-lang/souffle souffle-lang/souffle Public

    Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

    C++ 1k 228

  5. anantoni.github.io anantoni.github.io Public

    Forked from github/personal-website

    Code that'll help you kickstart a personal website that showcases your work as a software developer.

    HTML