Pinned Repositories
ruby
Implementation of All ▲lgorithms in Ruby Programming Language
jku-room-search
Search for free rooms on the campus of the Johannes Kepler University Linz
AdventOfCode2020
My solutions for the AoC 2020 puzzles, written in Python.
Budgetbird.API
The node.js api for the budgetbird project.
FHHgb.SCR4.ProductReview
smt-examples
This repo contains a couple of small examples of what SMT solver can be used for.
smt-sudoku-solver
This repo contains the logic to solve sudoku puzzles using a basic backtracking algorithm and an smt-solver-based approach.
akt_image-classification
This is a project for the university course 'AKT - Deep Learning and Computer Vision'.
mus-co2-bot
A small chatbot project for the 'mobile and ubiquitous systems' course at university. Implemented with Microsoft Bot Framework.
KraProgrammer's Repositories
KraProgrammer/smt-examples
This repo contains a couple of small examples of what SMT solver can be used for.
KraProgrammer/smt-sudoku-solver
This repo contains the logic to solve sudoku puzzles using a basic backtracking algorithm and an smt-solver-based approach.
KraProgrammer/AdventOfCode2020
My solutions for the AoC 2020 puzzles, written in Python.
KraProgrammer/Budgetbird.API
The node.js api for the budgetbird project.
KraProgrammer/FHHgb.SCR4.ProductReview