Pinned Loading

1. JetBrains/kotlin JetBrains/kotlin Public

   The Kotlin Programming Language.

   Kotlin 53.4k 6.4k

2. JetBrains/intellij-community JetBrains/intellij-community Public

   IntelliJ IDEA & IntelliJ Platform

   Java 20.5k 6k

3. androidx/androidx androidx/androidx Public

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

   Kotlin 6.1k 1.4k

4. google/error-prone google/error-prone Public

   Catch common Java mistakes as compile-time errors

   Java 7.2k 816

5. plum-umd/redexer plum-umd/redexer Public

   The Redexer binary instrumentation framework for Dalvik bytecode

   Smali 174 31

6. plum-umd/java-sketch plum-umd/java-sketch Public

   a Java front-end for Sketch synthesis tool

   Java 21 7