rocq-prover / rocq

Interactive theorem prover (proof assistant) for writing formal definitions, executable algorithms, and machine-checked proofs.

SheerSt / pokewilds

A Pokémon Gen 2-style alpha game and engine built with libGDX, featuring procedurally generated biomes and new field HMs.