ziky90/RailwayStationFormalization
Coursework from CTU. The program generates the formalism of the railway station in the 1st order logic (TPTP format) for the provers and model checkers
Public GitHub Catalog
Discovered Sep 26, 2026
ziky90 / some_algorithms
Some algorithms that I have implemented and that might be useful
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7299027GitHub System ID
ziky90Organization / User
PublicVisibility
ActiveCatalog Status
More from ziky90
ziky90/ClusterAnalyzer
The last mini assignment to the Big Data course at the CTU. It just finds k most important words per cluster and l most similar documents to the mean of the cluster.
ziky90/Kmeans-hadoop-mapreduce
Implementation of the Kmeans algorithm for the Hadoop MapReduce framework.
ziky90/tf-idf-Hadoop-MapReduce
Project from the CTU Big Data course which purpose was to compute tf-idf values for the czech wikipedia