cormackikkert Goto Github PK

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

autonomous-car

Code that teaches a car to drive autonomously by watching a user drive

battlecode2020

cadical

CaDiCaL SAT Solver

cegarbox

cegarbox-1

cegarboxcpp

competitive-programming

All my code. Not all of it works and the template code isn't mine

counterfactual-regret-minimization-experimentation

instead with C++

data-science-test

dotfiles

dotfiles, managed by stow

emsc-4033-2022

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.

modules

Some python files which I use alot

nautygpu

py-phy

A 3D physics sandbox game I created from scratch using pygame

python-ray-marching

ray marching in GLSL with a python gui

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

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

slot-in-smart-meter-frontend

Front end for the slot in smart meter project

slot-in-smart-meter-server

tcrkbd

tcrane's corne keyboard (tcrkbd)