kazimierz-256
💡☀️ Ideator. Inventor. Engineer. ☀️💡 @google SWE2. Ex @microsoft. Ex @amazon SDE1. Warsaw University of Technology alumnus.
@googleKraków, Poland
Pinned Repositories
Attributed-graph-distance
Iterative approximation of Graph Edit Distance by using the A* algorithm with a custom heuristic. All rights reserved.
Binary-automaton-visualization
A breathtaking binary automaton visualization. A perfected passion project engineered in 2018 that was ultimately used as part of my undergraduate thesis in 2019. All rights reserved.
Cerny-conjecture
A distributed system for verifying the long-standing Černý conjecture. All rights reserved.
EventCalculusWebApp
An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.
Evolutionary-algorithms-for-CEC2017-problems
A few global optimizers. All rights reserved.
GPGPU-binary-automaton-synchronizing-algorithms
Alea GPU C# and multi-threaded C# algorithms for synchronizing streams of binary automata with up to 12 vertices. All rights reserved.
Graduate-Thesis
Graph-colouring
Exact graph colouring algorithms. Variants: classical and acyclic. All rights reserved.
Maximum-common-unlabelled-subgraph-algorithm
An exact algorithm for finding the maximum common induced subgraph of two unlabelled graphs. Two derivative approximating algorithms are also implemented. All rights reserved.
Parallelized-CPU-fractal-designer
My very first major passion project while at university, made in July 2017. It is a rich, perfected and parallelized visualization of basins of attraction of user-provided holomorphic functions, also known as fractals. MIT license.
kazimierz-256's Repositories
kazimierz-256/EventCalculusWebApp
An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.
kazimierz-256/aproximated_ged
Bunch of aproximated graph edit distance algorithms.
kazimierz-256/graph_datasets
A Repository of Benchmark Graph Datasets for Graph Classification (31 Graph Datasets In Total).
kazimierz-256/MarbleMarcher
A Fractal Physics Game
kazimierz-256/nevergrad
A Python toolbox for performing gradient-free optimization