Pinned Repositories
algofuzz
AlgoFuzz - A property-based fuzzing tool for Algorand smart contracts
Ankesa
bachelor-thesis
erap-team233
frontend
greenmatch-backend
This is the backend of the GreenMatch platform.
greenmatch-frontend
isabelle
git mirror of the Munich isabelle hg repository
msc-thesis
Master's Thesis: Fuzzing Algorand Smart Contracts. This thesis introduces AlgoFuzz, a fuzzing tool specifically designed for Algorand smart contracts.
SLR-process-and-blockchain
This repository holds the LaTeX files for my Systematic Literature Review on the connection between Blockchain and Business Processes.
denispaluca's Repositories
denispaluca/isabelle
git mirror of the Munich isabelle hg repository
denispaluca/SLR-process-and-blockchain
This repository holds the LaTeX files for my Systematic Literature Review on the connection between Blockchain and Business Processes.
denispaluca/algofuzz
AlgoFuzz - A property-based fuzzing tool for Algorand smart contracts
denispaluca/Ankesa
denispaluca/bachelor-thesis
denispaluca/erap-team233
denispaluca/frontend
denispaluca/greenmatch-backend
This is the backend of the GreenMatch platform.
denispaluca/greenmatch-frontend
denispaluca/msc-thesis
Master's Thesis: Fuzzing Algorand Smart Contracts. This thesis introduces AlgoFuzz, a fuzzing tool specifically designed for Algorand smart contracts.
denispaluca/hgignoretogitignore
A website that turns .hgignore to .gitignore. Mercurial Ignore File ---> Git
denispaluca/psemoldyn
Molecular Dynamics Simulation
denispaluca/SlingShot-MkA---Android-Studio-App
Android Studio version of SlingShot MkA CrossPlatform Gideros project
denispaluca/SlingShot-MkA-Gideros
Dont Hit The Ghost
denispaluca/StudentManagement
denispaluca/telegram-bch-idle-game