brkmnd.compathterminus pages/tools/aboutcontact about me

Tools

computer science

λ-calculus

Interpreter for the Untyped Lambda Calculus

logic

Convert BoxProver code to Latex markup

sport & body

Diagram of muscles in human body

Heart Rate Calculator

[computer_science] Interpreter for the Untyped Lambda Calculus;;Default.aspx?id=4;;;;[computer_science] Convert BoxProver code to Latex markup;;Default.aspx?id=3;;;;[sport_&_body] Diagram of muscles in human body;;Default.aspx?id=2;;;;[sport_&_body] Heart Rate Calculator;;Default.aspx?id=1;;;;