Development environment for Android Jetpack extension libraries under the androidx namespace. Synchronized with Android Jetpack's primary development branch on AOSP.

IntelliJ IDEA plugin for the Kotlin programming language

IntelliJ IDEA Community Edition & IntelliJ Platform

JDK main-line development https://openjdk.org/projects/jdk

Pluggable type-checking for Java

The Kotlin Programming Language

The Kotlin Programming Language.

Catch common Java mistakes as compile-time errors

Synthesizing Framework Models for Symbolic Execution

An Open Source Machine Learning Framework for Everyone

Awesome & interesting talks about programming

portfolio

The Z3 Theorem Prover

a Java front-end for Sketch synthesis tool

Adaptive Concretization for Parallel Program Synthesis

pathogen.vim: manage your runtimepath

A tree explorer plugin for vim.

yo!lang for OCaml

Android Callback

The dexdump tool

Troyd: Integration Testing for Android

The Redexer binary instrumentation framework for Dalvik bytecode

Remapping Transformer for Field Affinity

Ocaml SHA 1 and 2 family implementation using a really fast C implementation

C Intermediate Language