HNHacker News
TopNewBestAskShowJobs

ggzor

84 karma · joined November 21, 2022

submissionscomments

Visualizing Delaunay Triangulation (2022)

ianthehenry.com·4 pts·ggzor·
0

100 theorems in Lean

leanprover-community.github.io·11 pts·ggzor·
0

The wrap-up on PCG generators (2018)

pcg.di.unimi.it·2 pts·ggzor·
0

Nix-on-droid: Nix-enabled environment for your Android device (termux-based)

github.com·120 pts·ggzor·
37