Thomas Lively

Results 3 repositories owned by Thomas Lively

BrainCoqulus

7
Stars
2
Forks
Watchers

A formally verified compiler of untyped lambda calculus to brainfuck

N-TicTacToe

5
Stars
2
Forks
Watchers

N-dimensional Tic Tac Toe implemented in Python and curses

sdl_seminar

87
Stars
21
Forks
Watchers