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 & 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