Pinned Loading

1. PatinaMC/Patina PatinaMC/Patina Public

   A distribution of performance-oriented Minecraft Server patches based on PaperMC.

   Shell 166 35

2. restful-captcha restful-captcha Public

   JavaScript

3. PaperMC/Paper PaperMC/Paper Public

   The most widely used, high performance Minecraft server that aims to fix gameplay and mechanics inconsistencies

   Java 10.3k 2.4k

4. YatopiaMC/Yatopia YatopiaMC/Yatopia Public archive

   The Most Powerful and Feature Rich Minecraft Server Software!

   Kotlin 466 78

5. idris-lang/Idris2 idris-lang/Idris2 Public

   A purely functional programming language with first class types

   Idris 2.6k 379