- Austria
Highlights
- Pro
Block or Report
Block or report KraProgrammer
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
AdventOfCode2020
AdventOfCode2020 PublicMy solutions for the AoC 2020 puzzles, written in Python.
Python
-
smt-sudoku-solver
smt-sudoku-solver PublicThis repo contains the logic to solve sudoku puzzles using a basic backtracking algorithm and an smt-solver-based approach.
Python 1
-
smt-examples
smt-examples PublicThis repo contains a couple of small examples of what SMT solver can be used for.
Python 1
-
sigusch/akt_image-classification
sigusch/akt_image-classification PublicThis is a project for the university course 'AKT - Deep Learning and Computer Vision'.
Jupyter Notebook 1
If the problem persists, check the GitHub status page or contact support.