daemontus

etcher

Flash OS images to SD cards & USB drives, safely and easily.

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.

storm

A Modern Probabilistic Model Checker

hylaa

Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs

libpoly

LibPoly is a C library for manipulating polynomials

hypro

HyPro: A C++ state set representation library for the analysis of hybrid systems

everest

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

avian

[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.

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

rickify

How to rickroll Spotify for Android

kotlin-argparser

Easy to use and concise yet powerful and robust command line argument parsing for Kotlin

Cicerone

🚦 Cicerone is a lightweight library that makes the navigation in an Android app easy.

bloaty

Bloaty: a size profiler for binaries

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.

redex

A bytecode optimizer for Android apps

rx-mindstorms

mindstorms-plugin

vlayout

Project vlayout is a powerfull LayoutManager extension for RecyclerView, it provides a group of layouts for RecyclerView. Make it able to handle a complicate situation when grid, list and other layouts in the same recyclerview.

gravity

Gravity Programming Language

AtomOS

A multitasking monolithic Kernel based x86 targeting Operating System written in C# from scratch aiming for high-level implementation of drivers in managed environment.

sdk

MAUTILUS SmartTV SDK

ramBuild

A plugin to make builds in gradle run on ram instead of the hard drive

RxSocialAuth

Android RxJava library for Social auth (Google, Facebook) and Smart Lock For Passwords