Computing universality of Finite-State Automata using z3 solver.
-
Updated
Apr 30, 2019 - Python
Computing universality of Finite-State Automata using z3 solver.
Completed projects for Operating Systems at the University of Warsaw.
winning work (ex aequo) at University of Warsaw wolfram competition
Mother repository for all my college code
Bachelor's Thesis on Machine Learning for Stock Market Forecasting. Several simple models & a reprogrammed LLM suited for time series data.
Interpreter for Dummy Rust programming language.
Conway's Game of Life implemented in ARM Assembly.
Parallel implemenation of Brandes algorithm computing betweenness centrality.
Massively Parallel A* Search on a GPU.
Heatflow simulation written in Assembler.
Introduction to Programming in Python course at University of Warsaw, winter semester 2022/2023 - assignments and solutions.
Collection of projects made for university classes
Kill aliens to gain points - game for the Android.
Data Analysis and Visualization in Python course at University of Warsaw, summer semester 2022/2023 - solutions of assignments.
Converting pix map to grey map with assembler.
Add a description, image, and links to the university-of-warsaw topic page so that developers can more easily learn about it.
To associate your repository with the university-of-warsaw topic, visit your repo's landing page and select "manage topics."