Samuel Pastva's starred repositories
magic-wormhole
get things from one computer to another, safely
iTunesConnectAnalytics
NodeJS package for iTunes Connect app analytics API
grasshopper
An automated deductive program verifier.
divine
DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.
golden-layout
A multi window layout manager for webapps
ShapeShifter
SVG icon animation tool for Android, iOS, and the web
OpenCV-3.1.0-Android
Android java library converted to gradle to be referenced in Android Studio projects
presentation-template
Simple presentation template.
kotlin-native
Kotlin/Native infrastructure
kotlin-argparser
Easy to use and concise yet powerful and robust command line argument parsing for Kotlin
graffiti
Graffiti is a java library for generating relationships betwwen the classes in a jar file. Graffiti helps you bring the relationships to life using visual representations. It generates bootsrap based html files containing the visual representation of the relationships among the classes.
RxSocialAuth
Android RxJava library for Social auth (Google, Facebook) and Smart Lock For Passwords