mikimowski Goto Github PK

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

interactive_isabelle

The Portal to Isabelle (PISA) project with additional premise selection functionality

interpreter

Interpreter for a custom PSwift language (simplified C)

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

machinelearningseminar

Seminarium Magisterskie Machine Learning

minix-operating-system

Projects aiming to provide insight into operating systems from within. Minix operating system served as a learning environment.

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.

portal-to-isabelle

https://albertqjiang.github.io/Portal-to-ISAbelle/

server-client-file-transfer

Server / Client enabling file transfer via TCP

turnstiles

Concurrent programming project. Implementation of turnstiles from freebsd/solaris kernel.

usosweb-crawler

Website scraping script gathering data about courses at Faculty of Mathematics, Informatics and Mechanics | University of Warsaw