Pinned Repositories
Chess
A game that’s a mix of chess, Connect Four and battleships. It’s called rook, line and sinker. Actually its just chess.
cse3000-research-project.github.io
proof-sharing
CAV'22 paper to speed up Neural Network Verification.
Web-Teaching
Overview of CSE1500 (Web technology part)
cs4205-symbolic-regression
bohofstede's Repositories
bohofstede/Chess
A game that’s a mix of chess, Connect Four and battleships. It’s called rook, line and sinker. Actually its just chess.
bohofstede/cse3000-research-project.github.io
bohofstede/proof-sharing
CAV'22 paper to speed up Neural Network Verification.
bohofstede/Web-Teaching
Overview of CSE1500 (Web technology part)