Dungeon Proof Crawler: learn how to write proofs with RPG (dhilst.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of dhilst.github.io: Dungeon Proof Crawler: learn how to write proofs with RPG

First screen, captured 3 months ago.

Looks similar

Screenshot of underhillgame.com: Show HN: I created a Mars colony RPG based on Kim Stanley Robinson’s Mars books

Show HN: I created a Mars colony RPG based on Kim Stanley Robinson’s Mars books (underhillgame.com)

285 points by ariaalam 8 months ago | 100 comments

Screenshot of crawl.develz.org: An open source roguelike adventure through dungeons

An open source roguelike adventure through dungeons (crawl.develz.org)

65 points by Bluestein 1 month ago | 12 comments

Screenshot of smoldungeon.com: Smol Business

Smol Business (smoldungeon.com)

35 points by luu 2 years ago | 4 comments

Screenshot of justfuckinguseneovim.com: Just Fucking Use Neovim

Just Fucking Use Neovim (justfuckinguseneovim.com)

13 points by hacb 2 months ago | 2 comments

Screenshot of gradient.horse: Gradient.horse

Gradient.horse (gradient.horse)

295 points by microflash 8 months ago | 61 comments

Screenshot of wheybags.com: Dungeons and Directories, an exploration game in your file explorer

Dungeons and Directories, an exploration game in your file explorer (wheybags.com)

150 points by mistermatt 2 years ago | 57 comments