Pinned Repositories
cdcl
Conflict-driven clause learning.
dotfiles
Slightly standard dotfiles.
flappy-network
Play flappy bird with neural networks and genetic algorithm
retrodiff
Standalone reverse autodiff library
mcchat-carp-client
Simple client for marconi-chat protocol
butyess's Repositories
butyess/dotfiles
Slightly standard dotfiles.
butyess/flappy-network
Play flappy bird with neural networks and genetic algorithm
butyess/retrodiff
Standalone reverse autodiff library
butyess/cdcl
Conflict-driven clause learning.