psaikko Goto Github PK

abhs

Source code for KR 2016 paper "Implicit Hitting Set Algorithms for Reasoning Beyond NP"

adventofcode2017

Advent of Code 2017

adventofcode2018

Learning Ruby with Advent of Code 2018

adventofcode2019

Learning Julia with Advent of Code 2019

adventofcode2020

Here we go again

adventofcode2021

Solving 2021 Advent of Code with Go

asp-hs

Source code for ASP solver of KR 2018 paper "A Hybrid Approach to Optimization in Answer Set Programming"

asteroids

Asteroids game implemented in javascript

bitparallel-dpll

An excuse to experiment with AVX2 instructions

boids-sim

Flocking behavior simulation

cartoonify

Python app for anonymizing webcam images

colorize

Colorizing grayscale images with deep learning

cuda-fractal

Visualizing fractals with Qt and CUDA

cuda-life

explain-mnist

Experiments in explainable AI with exact optimization tools on the MNIST image dataset.

fizzbuzz

Trying out Go solutions for https://codegolf.stackexchange.com/questions/215216/high-throughput-fizz-buzz

gbe

A Nintendo Game Boy emulator

hexpuzzle

Solving a puzzle I found in the student room

human-zip

Text compression by abbreviation

hwo-2014

HWO 2014 submission

interpreter-project

Interpreter for the mini-PL toy language for university compilers course

java-chess

Java chess game and AI

java-sudoku

Sudoku solver with solution visualization

js-heightmap

js-soundgen

led-matrix

Python script for a handmade LED matrix display

lmhs

A SAT-IP Hybrid MaxSAT solver

luola-intro

1k js intro for Assembly 2018

mcts-reversi

Monte-Carlo tree search for reversi

mnist-neural-networks

Implementing backpropagation for training simple neural networks.