Jan Corazza

game-idris. A 2D platformer in Idris, a dependently-typed purely functional programming language

idris-box2d. Box2D API for Idris

idris-sdl2. SDL2 bindings for my game in Idris

Graviton. n-body simulator in Python

optimize-glass. Optimization of glass shapes (Petnica International project)

Robot-Evolution. An application that uses genetic algorithms to evolve and optimize virtual walking poly-pedal robots

srm. Code for our AAAI-22 paper Reinforcement Learning with Stochastic Reward Machines

Project-Khalio. A JavaScript clone of Valve's Portal

edge-detection. Edge detection using the Sobel operator implemented in Processing 2

non-markovian-rl. Solving the problem of non-Markovian reward functions by providing agents access to a finite amount of memory

linux-infographics. GNU/Linux infographics to help new users choosing the right distribution

eaters. A simple Python program that simulates evolution

pose. Estimating human skeleton actions and poses from video and Kinect data using GCNs (graph convolutional networks)