JoeDralliam/nhb
Nethack notification over IRC (NhNoIRC) bot
Public GitHub Catalog
Discovered Oct 6, 2026
JoeDralliam / UntypedLC
An implementation of untyped lambda calculus, and proofs
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#31816160GitHub System ID
JoeDralliamOrganization / User
PublicVisibility
ActiveCatalog Status
More from JoeDralliam
JoeDralliam/kaloterie
Public repository.
JoeDralliam/dijkstra-fibonacci
Public repository.
JoeDralliam/Sysdig
Public repository.