GitHub - stjordanis/tromp.github.io: John Tromp homepage

Name		Name	Last commit message	Last commit date
Latest commit History 209 Commits
2016_12_28_NYC		2016_12_28_NYC
c4		c4
chess		chess
cl		cl
go		go
img		img
java		java
nanjing		nanjing
ouwehand		ouwehand
ruby		ruby
shanghai		shanghai
wedding		wedding
9.ps		9.ps
Mimblewimble		Mimblewimble
README.md		README.md
agree.html		agree.html
c4.html		c4.html
cds.html		cds.html
chess.html		chess.html
compact_hung		compact_hung
cv.pdf		cv.pdf
darts.html		darts.html
go.html		go.html
gostory.html		gostory.html
grin-server.log		grin-server.log
grin-server.log.20200808		grin-server.log.20200808
grin-server.toml		grin-server.toml
grin.log.2		grin.log.2
hexpaper.ps		hexpaper.ps
id_rsa.pub		id_rsa.pub
index.html		index.html
keybase.txt		keybase.txt
lad.ps		lad.ps
maze.html		maze.html
orimaze.html		orimaze.html
oriscript4.html		oriscript4.html
oriscript5.html		oriscript5.html
pearls.html		pearls.html
photos.html		photos.html
pmmr_dat.bin		pmmr_dat.bin
rh.ps		rh.ps
sig.ps		sig.ps
tetris.html		tetris.html
thesis.html		thesis.html
thesis.pdf		thesis.pdf
thesis.ps		thesis.ps
todo.html		todo.html
transaction.rs		transaction.rs
tweet.html		tweet.html