mk12/monkey-selection
A cumulative selection simulator, as described in The Blind Watchmaker by Richard Dawkins.
Yet another lambda calculus language.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A cumulative selection simulator, as described in The Blind Watchmaker by Richard Dawkins.
A simulation inspired by Flatland: A Romance of Many Dimensions.
Simple Proof Assistant: helps you prove theorems.
Robot project for SE 101 using Myro.