Evan Daniel Claim this profile

A tier list of open problems in mathematics — with Wikipedia links, Lean formalizations, and prediction markets

View and bet on joint/conditional probability markets on Manifold

Math, machine-checked proofs, and reference implementations behind Manifold Markets contributions

Method of Characteristics solver for axisymmetric supersonic nozzle design

Claude Code hooks setup with StarCraft SCV sounds.

Useful scripts to go with Freenet

WoT plugin (staging area, writable by any developer)

XMLSpider plugin (staging area, writable by any developer)

Freetalk plugin (staging area, writable by any developer)

Freenet REference Daemon (trunk, writable by all devs)

Routing simulator for Freenet.

KeyUtils - A useful tool for examining Freenet keys: list the pages in a freesite, inspect metadata, show split file blocks and download containers and fragments.

A Python implementation of Freenet topology probing and analysis using TMCI.

OpenSCAD Parametric CAD Library (LGPL 2.1)

OpenSCAD - The Programmers Solid 3D CAD Modeller

Interactive 2026 US Senate election forecast visualization

Pre-registered decision-market read: Maine Senate 2026 nomination (frozen 2026-07-10)

Slides for Manifest 2026: Trading the Joint — statistical arbitrage on prediction markets

Manifold Markets: A market for every question

Manifold Bingo 2026 - Card Viewer

Interactive Sankey diagram of U-238 radioactive decay chain

RPN calculate.

IHP Guide walkthrough

Arduino code for the hardware P2 motor simulator

A fairly strong Go/Baduk/Weiqi playing program

Arduino serial console test interface