Jack-Pumpkinhead's repositories
CheshireCat-with-Eureka
two cats
Language:KotlinGPL-3.0000
CommandTimer
Minecraft plugin for timed command execution.
Language:Java000
ExpandingTools
some stuff
Language:Java000
Hello-World
Nothing
000
000
Language:HTML000
lean
Lean Theorem Prover
Language:C++Apache-2.0000
Language:Java000
Language:Kotlin000
mathlib
Lean mathematical components library
Apache-2.0000
MoreApple
A simple Minecraft Sponge plugin for more apples.
Language:Java000
Language:KotlinGPL-3.0000
test2
test LibGDX initial setup
Language:Kotlin000