bohofstede

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.
Language:JavaScript0 1 00
cse3000-research-project.github.io
Language:TypeScript0 0 00
proof-sharing
CAV'22 paper to speed up Neural Network Verification.
Language:Python0 0 00
Web-Teaching
Overview of CSE1500 (Web technology part)
Language:JavaScript0 0 00
cs4205-symbolic-regression
Language:Python00

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.
Language:JavaScript0 1 00
bohofstede/cse3000-research-project.github.io
Language:TypeScript0 0 00
bohofstede/proof-sharing
CAV'22 paper to speed up Neural Network Verification.
Language:Python0 0 00
bohofstede/Web-Teaching
Overview of CSE1500 (Web technology part)
Language:JavaScript0 0 00