Edvardas Dlugauskas's repositories
Transaction-Generator
A Python project for generating fake transaction data. (Adform 2016 october)
iota-eutxo-isabelle
Repository for Isabelle/HOL code to accompany the Master's Final Thesis: "Formal Verification of IOTA UTXO Output Type Extensions"
quartznet-concurrent
Quartz Enterprise Scheduler .NET
azure-docs
Open source documentation of Microsoft Azure
Bachlelors2021
Bachelors 2021
cardano-ledger-high-assurance
Formalization of the Cardano ledger specification
challenges
The place to upload your solutions of our monthly challenges
dota_imba
Repo for the development of Dota IMBA, a mod for Valve's Dota 2.
EdvardasDlugauskas
Config files for my GitHub profile.
Iridium
Iridium is an extension built to improve your experience with the new YouTube Material layout
KivyDnD
Python library for the Kivy framework that enables drag-n-drop of widgets.
mouseec
Create music playlists based on your mood
Projects-Dump
A dump of older, yet interesting projects in C++ and Python
transportas-velavimai
Duomenys apie viešojo transporto vėlavimus