wkbraid

CodeSample

Code sample taken from my work on planar graphs in 2018.

Dodgeball

dotfiles

Dotfiles Repository

food-access-map-data

Data for the food access map

JohnsonLindenstrauss

Textbook summary of the paper "An Elementary Proof of a Theorem of Johnson and Lindenstrauss"

law-reading-robot-data

Obtains and organizes the data for the Law Reading Robot

SimpleTypes

Implementation and verification of the Simply Typed Lambda Calculus using Idris

winter

A side-on mmorpg project over winter break 2013.

wkbraid/SimpleTypes

Implementation and verification of the Simply Typed Lambda Calculus using Idris

wkbraid/winter

A side-on mmorpg project over winter break 2013.

wkbraid/CodeSample

Code sample taken from my work on planar graphs in 2018.

wkbraid/Dodgeball

wkbraid/dotfiles

Dotfiles Repository

wkbraid/food-access-map-data

Data for the food access map

wkbraid/JohnsonLindenstrauss

Textbook summary of the paper "An Elementary Proof of a Theorem of Johnson and Lindenstrauss"

wkbraid/law-reading-robot-data

Obtains and organizes the data for the Law Reading Robot

wkbraid/mmlu

wkbraid/muddy

Visual explanations of the Muddy Children Problem

wkbraid/phlask-map

Code behind the Phlask Web Map

wkbraid/pro

Poke calculations

wkbraid/Sign-In

wkbraid/tree_point_clouds

Methods for identifying individual trees from point cloud data

wkbraid/yes

yes - Implementation of simple and dangerous yes command in various languages. :+1: