Denis Paluca (denispaluca)

denispaluca

Geek Repo

Location:Germany

Github PK Tool:Github PK Tool

Denis Paluca's repositories

isabelle

git mirror of the Munich isabelle hg repository

Language:IsabelleLicense:NOASSERTIONStargazers:1Issues:0Issues:0

algofuzz

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

Language:PythonStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

greenmatch-backend

This is the backend of the GreenMatch platform.

Language:TypeScriptStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

msc-thesis

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

Language:TeXStargazers:0Issues:0Issues:0

SLR-process-and-blockchain

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

Language:TeXStargazers:0Issues:1Issues:0

hgignoretogitignore

A website that turns .hgignore to .gitignore. Mercurial Ignore File ---> Git

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

psemoldyn

Molecular Dynamics Simulation

Language:C++Stargazers:0Issues:0Issues:0

SlingShot-MkA---Android-Studio-App

Android Studio version of SlingShot MkA CrossPlatform Gideros project

Language:JavaStargazers:0Issues:0Issues:0

SlingShot-MkA-Gideros

Dont Hit The Ghost

Language:LuaStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0