Simcha van Collem's repositories
BuycraftAPI
Java API that makes integrating with the Buycraft Plugin API so easy!
Language:JavaGPL-3.0000
CZ20Shell
A shell environment for the CZ20 badge
Language:Java000
Hazel
Hazel Engine
Language:C++Apache-2.0000
Hyperium
Hyperium, Free Minecraft client with HUDs and Popular mods
Language:JavaLGPL-3.0000
Hyperium-Repo
Repository for resources
000
Language:JavaMIT000
NaturalDeduction
A natural deduction prover in Gentzen's system.
OpenGL
OpenGL support library so you can just dive in and write OpenGL code
Language:C++Apache-2.0000
QuadTree
A QuadTree Example for JavaScript (with p5.js)
Language:JavaScript000
Language:JavaMIT000
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
GPL-3.0000
Language:JavaMIT000