PantomInach
Master Student in Computer Science with interest in graph theory and SAT solver.
University WürzburgWürzburg
Pinned Repositories
2048
Implementation of the game 2048 for university programming practical course.
AdventOfCode2023
My Advent of code 2023 solutions.
astronvim-user-settings
Personal AstroNvim config with simple latex support
CountUniqueWordsInTXT
Counts the number of words in given .txt files.
CS2-Autoexec
Private fork of ⚙️ ArminC's autoexec for CS2
DataBot
Discord Bot to track users on guilde and other guilde features
four-win-three-lose
Simple Tic-Tac-Toe inspired game on a 4x4 field. If you have four in a row, you win. If you have three in a row, you lose.
IFCGraph
Notebook demonstrating how to visualize an IFC file with graphviz and to find the shortest path between two elements in the IFC model by ID.
payback
Minimize the number of transactions to pay of depts in a network of people.
SATExpander
Simply expand SAT formulations using big wedges and vees.
PantomInach's Repositories
PantomInach/DataBot
Discord Bot to track users on guilde and other guilde features
PantomInach/astronvim-user-settings
Personal AstroNvim config with simple latex support
PantomInach/IFCGraph
Notebook demonstrating how to visualize an IFC file with graphviz and to find the shortest path between two elements in the IFC model by ID.
PantomInach/2048
Implementation of the game 2048 for university programming practical course.
PantomInach/AdventOfCode2023
My Advent of code 2023 solutions.
PantomInach/CountUniqueWordsInTXT
Counts the number of words in given .txt files.
PantomInach/CS2-Autoexec
Private fork of ⚙️ ArminC's autoexec for CS2
PantomInach/findex
Highly customizable application finder with high performance. Written in Rust and uses GTK
PantomInach/four-win-three-lose
Simple Tic-Tac-Toe inspired game on a 4x4 field. If you have four in a row, you win. If you have three in a row, you lose.
PantomInach/payback
Minimize the number of transactions to pay of depts in a network of people.
PantomInach/qtile-decay-dotfiles
Dotfiles for void linux using qtile and a dark-decay colorscheme.
PantomInach/SATExpander
Simply expand SAT formulations using big wedges and vees.
PantomInach/some-line-diagram
PantomInach/ilp-hypergraph-experiments
Comparision of hypergraph vs graph modelling of a rolling stock scheduling problem.
PantomInach/nvim-config
Personal nvim config.
PantomInach/qmk_firmware_aaron
Open-source keyboard firmware for Atmel AVR and Arm USB families