gaea-godot / gaea

Procedural generation add-on for Godot 4.

megaease / easeprobe

A simple, standalone, and lightweight tool that can do health/status checking, written in Go.

gaearon / conway-refinement

A proof of Conway's refinement conjecture in Lean

danemadsen / nerthus

Nerthus is a node-based terrain generator written in Rust