Pinned Loading

1. EventCalculusWebApp EventCalculusWebApp Public

   An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.

   JavaScript 3 3

2. Cerny-conjecture Cerny-conjecture Public

   A distributed system for verifying the long-standing Černý conjecture. All rights reserved.

   JavaScript 1

3. Maximum-common-unlabelled-subgraph-algorithm Maximum-common-unlabelled-subgraph-algorithm Public

   An exact algorithm for finding the maximum common induced subgraph of two unlabelled graphs. Two derivative approximating algorithms are also implemented. All rights reserved.

   C# 1

4. Parallelized-CPU-fractal-designer Parallelized-CPU-fractal-designer Public

   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, al…

   C# 1 1

5. Binary-automaton-visualization Binary-automaton-visualization Public

   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.

   JavaScript 1

6. Attributed-graph-distance Attributed-graph-distance Public

   Iterative approximation of Graph Edit Distance by using the A* algorithm with a custom heuristic. All rights reserved.

   C# 2 1