Pinned Repositories
API-Fetcher
HTTP Server providing REST API for CRUD operations. The design focuses on leveraging the neat implementation of timers in order to manage goroutines.
Assembly
Assembly language projects aiming to provide insight into "machine's way of thinking"
cpp-projects
Variety of medium-sized projects, each of them focusing on learning something new: from operator overloading, through multi inheritance up to smart pointers etc.
CUDA-Betweenness-Centrality-Brandes
C++ CUDA implementation of Brande's algorithm for finding betweenness centrality of the graph.
Distributed-Server-Client-Files-Storage
C++ project focused on learning TCP/UDP protocol - without using boost::asio. Multithreaded Server and Client enabling uploading, storing and fetching files from storage.
dockerized
Latte-Compiler
Latte compiler -- A compiler, written in Haskell, as a project for the Compiler construction course at MIMUW.
Machine-Learning
Repository containing some of my university projects in machine learning
MPI-Communication-Avoiding-Parallel-Sparse-Dense-Multiplication
C++ implementation leveraging Message Passing Interface (MPI) of `ColA` and `InnerABC` algorithms from Communication-Avoiding Parallel Sparse-Dense Multiplication.
mikimowski's Repositories
mikimowski/cpp-projects
Variety of medium-sized projects, each of them focusing on learning something new: from operator overloading, through multi inheritance up to smart pointers etc.
mikimowski/Distributed-Server-Client-Files-Storage
C++ project focused on learning TCP/UDP protocol - without using boost::asio. Multithreaded Server and Client enabling uploading, storing and fetching files from storage.
mikimowski/API-Fetcher
HTTP Server providing REST API for CRUD operations. The design focuses on leveraging the neat implementation of timers in order to manage goroutines.
mikimowski/Assembly
Assembly language projects aiming to provide insight into "machine's way of thinking"
mikimowski/CUDA-Betweenness-Centrality-Brandes
C++ CUDA implementation of Brande's algorithm for finding betweenness centrality of the graph.
mikimowski/dockerized
mikimowski/Latte-Compiler
Latte compiler -- A compiler, written in Haskell, as a project for the Compiler construction course at MIMUW.
mikimowski/Machine-Learning
Repository containing some of my university projects in machine learning
mikimowski/MPI-Communication-Avoiding-Parallel-Sparse-Dense-Multiplication
C++ implementation leveraging Message Passing Interface (MPI) of `ColA` and `InnerABC` algorithms from Communication-Avoiding Parallel Sparse-Dense Multiplication.
mikimowski/interactive_isabelle
The Portal to Isabelle (PISA) project with additional premise selection functionality
mikimowski/Interpreter
Interpreter for a custom PSwift language (simplified C)
mikimowski/MachineLearningSeminar
Seminarium Magisterskie Machine Learning
mikimowski/Minix-Operating-System
Projects aiming to provide insight into operating systems from within. Minix operating system served as a learning environment.
mikimowski/Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
mikimowski/Server-Client-File-Transfer
Server / Client enabling file transfer via TCP
mikimowski/Turnstiles
Concurrent programming project. Implementation of turnstiles from freebsd/solaris kernel.
mikimowski/Usosweb-Crawler
Website scraping script gathering data about courses at Faculty of Mathematics, Informatics and Mechanics | University of Warsaw