Skip to content
View denispaluca's full-sized avatar
  • Galileo Group
  • Germany

Block or report denispaluca

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

Pinned Loading

  1. algofuzz Public

    AlgoFuzz - A property-based fuzzing tool for Algorand smart contracts

    Python 1

  2. msc-thesis Public

    Master's Thesis: Fuzzing Algorand Smart Contracts. This thesis introduces AlgoFuzz, a fuzzing tool specifically designed for Algorand smart contracts.

    TeX

  3. best-energy Public

    Forked from Best-Energy/best-energy

    BestEnergy Submission Main Repository

    JavaScript

  4. SLR-process-and-blockchain Public

    This repository holds the LaTeX files for my Systematic Literature Review on the connection between Blockchain and Business Processes.

    TeX 1

  5. isabelle Public

    Forked from seL4/isabelle

    git mirror of the Munich isabelle hg repository

    Isabelle 1

  6. bachelor-thesis Public

    TeX