A handy bash script to setup crypto masternodes in no time. Initially developed for $PIVX. Now many more ;-)

One liners to make life easier.

Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python

PARQ is an automatic parallelization engine based on Skolem Function Synthesis and Quantified Invariant Generation. It is aimed at parallelization of array modifying programs written as Constrained Horn Clause (CHC) formulas.

A secure file management system that implements blockchain-linked contextual encryption for maximum security and controlled access. This system demonstrates advanced cryptographic techniques including Contextual Hash Chain (CHC) encryption, blockchain integration, and per-user access control.

Genetic Algorithms (Canonical and CHC) solving the Generalised Steiner Problem

Tento repozitář obsahuje sérii krátkých projektů v jazyce JavaScript, které jsem vypracoval v rámci úkolů zadávaných učitelem během vyučovací hodiny. Postuju je zde kvůli spolužákům nebo lidem, kteří by se chtěli inspirovat mými řešeními.

Genetic Algorithm and Search Algorithms

Studijní web pro studenty školy CreativeHill.CZ. Poznámky z maturitních předmětů