Pinned Loading

1. algofuzz algofuzz Public

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

   Python

2. msc-thesis 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. greenmatch-backend greenmatch-backend Public

   This is the backend of the GreenMatch platform.

   TypeScript

4. SLR-process-and-blockchain 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 isabelle Public

   Forked from seL4/isabelle

   git mirror of the Munich isabelle hg repository

   Isabelle 1

6. bachelor-thesis bachelor-thesis Public

   TeX