# NetHackED

A Rust reimplementation of selected NetHack mechanics, with a playable WebAssembly terminal, deterministic simulation, agent interfaces, and Lean 4 models.

[Open in the WASM portfolio](https://yemelianov.dev/?project=nethacked&detail=1)

Tags: rust, wasm, lean, roguelike, agents
Source: public
Repository: https://github.com/dmytro-yemelianov/NetHackED
Project: https://nethacked.yemelianov.dev/

NetHackED implements selected NetHack mechanics in Rust and exposes them through a browser terminal, native terminal, and interfaces for autonomous agents.

Seeded simulation and regression tests support reproducible runs. Lean 4 models cover selected mechanics, with Rust property tests based on those models; the models and implementation are not formally linked. Fidelity to the original game is partial, and the project remains a work in progress.