denis-bogdanas's Stars
mlazdans/qnote
QNote add-on for Thunderbird email application
Benny-/Yahoo-ticker-symbol-downloader
A web scraper for ticker symbols from yahoo finance
runtimeverification/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
iamadamdev/bypass-paywalls-firefox
Bypass Paywalls for Firefox
996icu/996.ICU
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
opengapps/apkcrawler
APK Crawler is a tool to automatically retrieve APKs from various internet sources
google/guava
Google core libraries for Java
soot-oss/soot
Soot - A Java optimization framework
kevinsawicki/gitective
Find the Git commits you're looking for
akhikhl/multiproject-git-gradle
Gradle script for multi-project git-based setup, configuration and build
pbauerochse/youtrack-worklog-viewer
A tool to keep track of the work hours you spent on issues in the YouTrack issue management system
ColdDevil/de.cdhq.eclipse.wordwrap
The Word-Wrap Eclipse plug-in enables the built-in soft text wrap feature in every text-based editor within Eclipse.
kframework/k-legacy
The K tools (deprecated, see README)