Cormac Kikkert's repositories
Alphanumeric-Platformer
A platformer that runs on the ed1. Continously creates custom characters allowing us to display an (80, 10) image on a (16, 2) alphanumeric display
Sketch-to-Shoe
An implementation of the pix2pix architecture. This is a gui that allows you to create scteches of shoes which it then turns into a realistic image of that shoe
Autonomous-Car
Code that teaches a car to drive autonomously by watching a user drive
cadical
CaDiCaL SAT Solver
competitive-programming
All my code. Not all of it works and the template code isn't mine
Python-Ray-Marching
ray marching in GLSL with a python gui
counterfactual-regret-minimization-experimentation
instead with C++
dotfiles
dotfiles, managed by stow
ipasir
The Standard Interface for Incremental Satisfiability Solving
LWB-benchmark-generator
Reimplementation of the scripts in "A benchmark method for the propositional modal logics K, KT, S4" by Heuerding et al.
pytorch-CycleGAN-and-pix2pix
Image-to-image translation in PyTorch (e.g., horse2zebra, edges2cats, and more)
pytorch-MNIST-CelebA-cGAN-cDCGAN
Pytorch implementation of conditional Generative Adversarial Networks (cGAN) and conditional Deep Convolutional Generative Adversarial Networks (cDCGAN) for MNIST dataset
slot-in-smart-meter-frontend
Front end for the slot in smart meter project
tcrkbd
tcrane's corne keyboard (tcrkbd)