Popular repositories

1. MinecraftForge MinecraftForge Public

   Forked from MinecraftForge/MinecraftForge

   Modifications to the Minecraft base files to assist in compatibility between mods.

   Java 1 2

2. FunctionaLang FunctionaLang Public

   A functional language that is mostly inspired by SML, although there are a few differences

   Java 1

3. ItemTextureExporter ItemTextureExporter Public

   Minecraft Mod that allows exporting the items the way they are rendered.

   Java 1 1

4. ACP ACP Public

   My project for a course at Saarland University called "Advanced Coq Programming". My work is limited to the Reflection.v and GeneralReflection.v files, with some slight modifications in PA.v and ZF.v

   HTML 1

5. PhlMod PhlMod Public

   Java

6. Sponge Sponge Public

   Forked from SpongePowered/SpongeForge

   A Forge mod that implements SpongeAPI

   Java