mk12/monkey-selection
A cumulative selection simulator, as described in The Blind Watchmaker by Richard Dawkins.
Public GitHub Catalog
Discovered Oct 5, 2026
mk12 / spa
Simple Proof Assistant: helps you prove theorems.
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.
#30466518GitHub System ID
mk12Organization / User
PublicVisibility
ActiveCatalog Status
More from mk12
mk12/linecraft
A simulation inspired by Flatland: A Romance of Many Dimensions.
mk12/lam
Yet another lambda calculus language.
mk12/scribbler-bot
Robot project for SE 101 using Myro.