Pinned Loading

1. google/auto google/auto Public

   A collection of source code generators for Java.

   Java 10.5k 1.2k

2. jspecify/jspecify jspecify/jspecify Public

   An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

   Java 925 38

3. MartianZoo/solarnet MartianZoo/solarnet Public

   Solarnet, an open-source game engine for the board game Terraforming Mars. Pets, a specification language for game component behaviors in said game.

   Kotlin 16 2