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

Name		Name	Last commit message	Last commit date
Latest commit History 258 Commits
2016_12_28_NYC		2016_12_28_NYC
c4		c4
chess		chess
cl		cl
crypto		crypto
go		go
img		img
java		java
nanjing		nanjing
ouwehand		ouwehand
ruby		ruby
shanghai		shanghai
wedding		wedding
9.ps		9.ps
Mimblewimble_md		Mimblewimble_md
README.md		README.md
agree.html		agree.html
c4.html		c4.html
cds.html		cds.html
chess.html		chess.html
circle-research-mimblewimble.pdf		circle-research-mimblewimble.pdf
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