kazimierz-256/Binary-automaton-visualization

Stars
1
Language
JavaScript
License
Other
Created about 5 years ago
Updated over 4 years ago

kazimierz-256/Binary-automaton-visualization

kazimierz-256

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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.

EventCalculusWebApp

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

Graph-colouring

Exact graph colouring algorithms. Variants: classical and acyclic. All rights reserved.

Graduate-Thesis

Attributed-graph-distance

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

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.

Tilt

A multiplayer p2p game. All rights reserved.

Cerny-conjecture

A distributed system for verifying the long-standing Černý conjecture. 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.