Popular repositories Loading

1. Create-Little-Extras Create-Little-Extras Public

   Some little extras for simibubi's Create mod

   Java

2. Create Create Public

   Forked from Creators-of-Create/Create

   [Forge Mod] Building Tools and Aesthetic Technology

   Java

3. facharbeit-projekt facharbeit-projekt Public

   A small game based on Minecraft implemented with Java and OpenGL

   Java

4. LeanCompetLexinon LeanCompetLexinon Public

   A formalization of different mathematics competition problems and their solutions in the Lean 4 theorem prover

   Lean

5. Renate-Erhard-Game Renate-Erhard-Game Public

   A simple CLI game based on a problem from a mathematics competition

   Python

6. LexinonOrganizer LexinonOrganizer Public

   A simple contact management app created using TypeScript, React, Vite and plain CSS.

   TypeScript