Thomas Lively

Results 3 repositories owned by


                                            Thomas Lively

Stars

Forks

Watchers

A formally verified compiler of untyped lambda calculus to brainfuck

Stars

Forks

Watchers

N-dimensional Tic Tac Toe implemented in Python and curses

Stars

Forks

Watchers