Projects on grzenow

Projekty z Głębokich Sieci Neuronowych

Wed, 15 Jan 2025 00:00:00 +0000

Jest to zbiór projektów zrealizowanych w ramach przedmiotu Głebokie Sieci Neuronowe, obejmujący:

Perceptrony wielowarstwowe:
- Implementacja algorytmu ProxyProp (Proximal Backpropagation), opisanego w tej pracy.
Rozpoznawanie obrazów:
- Implementacja kilku transformacji oraz metod AdvProp i SparseTopK.
Przetwarzanie języka naturalnego:
- Implementacja SwiGLU i Differential Attention dla architektury Transformera opartego wyłącznie na dekoderze.
Uczenie ze wzmocnieniem:
- Implementacja Proximal Policy Optimization (PPO) oraz Random Network Distillation (RND) dla środowisk MiniHack.

Allezon

Mon, 09 Sep 2024 00:00:00 +0000

Allezon to platforma do zbierania i analizy danych, stworzona w dwuosobowym zespole, zdolna do obsługi 1000 zapytań na sekundę dla milionów użytkowników i produktów.

Moją rolą było wdrożenie aplikacji, implementacja architektury rozproszonej z zastosowaniem load balancingu oraz zapewnienie skalowalności, aby efektywnie obsługiwać duży ruch na stronie.

Szczegółowy opis znajduje się tutaj.

Kod źródłowy

Projekty z obliczeń superkomputerowych

Tue, 25 Jun 2024 00:00:00 +0000

Podczas pierwszego roku studiów magisterskich uczęszczałem na przedmiot “Obliczenia superkomputerowe”, podczas którego napisałem dwa ciekawe projekty: jeden z wykorzystaniem CUDA, a drugi z użyciem MPI.

Dopasowywanie w bazie danych wariantów genomowych Link to heading

Celem było stworzenie systemu dopasowywania wariantów genomowych z pliku do bazy danych (dbNSFP). Rozwiązanie składa się z dwóch etapów: indeksowania bazy danych i dopasowywania, przy czym dopasowywanie zostało zoptymalizowane za pomocą CUDA.

Logic in Computer Science

Fri, 24 May 2024 00:00:00 +0000

Jest to zbiór projektów zrealizowanych w ramach przedmiotu Logika dla Informatyków, obejmujący:

Logikę zdaniową w Haskellu (Część 1):
- Spełnialność formuł, tautologie, dysjunkcyjna postać normalna (DNF), SAT solver oparty na DNF.
Logikę zdaniową w Haskellu (Część 2):
- Koniunkcyjna postać normalna (CNF), równoważnie spełnialna CNF (ECNF), SAT solver oparty na algorytmie Davisa-Putnama.
Rozwiązywanie SAT za pomocą biblioteki Z3 w Pythonie (Część 1):
- Generowanie wszystkich spełniających przypisań, formuły kamyczkowe, problem hetmanów.
Rozwiązywanie SAT za pomocą biblioteki Z3 w Pythonie (Część 2):
- Problem najkrótszego wspólnego nadciągu (SCS), przejścia fazowe dla problemu k-SAT.
Rozwiązywanie SMT za pomocą Z3 w Pythonie:
- Twierdzenie Łosia, funkcja 91, Sudoku solver.
Intuicycjonistyczna logika zdaniowa w Agdzie:
- Dowody dla koniunkcji i alternatywy, prawa de Morgana, słabe prawo Pierce’a.
Intuicycjonistyczna logika pierwszego rzędu w Agdzie:
- Dowody dla kwantyfikatorów ogólnych i egzystencjalnych, relacje.

Kod źródłowy

Kompilator Latte

Sun, 21 Jan 2024 00:00:00 +0000

Jednym z większych projektów na pierwszym roku studiów magisterskich było stworzenie kompilatora dla języka Latte, rozszerzonego o takie funkcjonalności jak tablice, struktury oraz obiekty z pojedynczym dziedziczeniem. Kod w języku Latte jest parsowany przy użyciu narzędzia BNFC i kompilowany do architektury x86 asemblera.

Kompilator reprezentuje monada Reader-Writer-State:

data Reader = Rd
 { func :: Map.Map String TType
 , clss :: Map.Map String ClassEnv
 }
type Writer = [AsmInstr]
data State = St
 { nextlab :: Int
 , newloc :: Int
 , env :: Map.Map String (TType, String)
 , rodata :: Map.Map String String
 , rspOff :: Int
 }

gdzie

Kompilator Instant

Sat, 28 Oct 2023 00:00:00 +0000

Instant to język programowania, który obsługuje dwa typy instrukcji:

wyrażenie - wypisuje wartość wyrażenie na standardowe wyjście,
zmienna = wyrażenie - przypisuje wartość wyrażenie do zmiennej zmienna.

Wyrażenia mogą składać się z liczb całkowitych, zmiennych oraz operacji arytmetycznych między nimi.

Celem projektu było stworzenie kompilatora do języka Instant generującego kod dla architektur JVM i LLVM.

Szczegółowy opis znajduje się tutaj.

Kod źródłowy

Interpreter Latte

Wed, 10 May 2023 00:00:00 +0000

Jednym z większych projektów, które zrobiłem podczas studiów licencjackich, jest niewątpliwie interpreter prostego języka programowania Latte.

Interpreter napisałem w Haskellu, a grmatyka jest parsowana do tego języka za pomocną narzędzia BNFC. Zaimplementowane funkcjonalności są szczegółowo opisane na GitHubie (odnośnik na dole) wraz z dużą liczbą przykładów, więc tutaj przedstawiam skrótowy opis szczegółów implementacji.

Kod języka Latte jest automatycznie parsowany przez BNFC, a następnie przekazany do statycznej analizy typów. Monada reprezentująca stan TypeCheckera wygląda następująco:

Egzekutor

Sat, 11 Feb 2023 00:00:00 +0000

Egzekutor to projekt z zakresu programowania współbieżnego. Jest to program, który wykonuje zadania, monitoruje ich ostatnie wypisane wyjścia (w trakcie działania), a także ubija je.

Obsługa procesów została zsynchronizowana w taki sposób, aby Egzekutor od razu informował o zakończeniu zadania oraz na bieżąco usuwał kończące się procesy lub wątki, które tworzy. Wszystko to odbywa się bez stosowania aktywnego oczekiwania, by nie marnować zasobów CPU.

Szczegółowy opis projektu można znaleźć pod poniższym linkiem.

Sokoban

Thu, 08 Dec 2022 00:00:00 +0000

Sokoban to gra logiczna napisana w ramach kursu programowania funkcyjnego w Haskellu.

Gra została zaimplementowana w Haskellu na platformie CodeWorld, gdzie można ją uruchomić klikając w ten link.

Sterowanie:

Spacja - rozpoczęcie gry
WSAD / Strzałki - poruszanie się
U - cofnięcie ruchu
B - poprzedni poziom
N - następny poziom
R - reset poziomu
Esc - reset gry

Kod źródłowy

Polynomial degree

Tue, 10 May 2022 00:00:00 +0000

Polynomial degree to projekt napisany w czystym asemblerze. Polega on na zaimplementowaniu funckji

int polynomial_degree(int const *y, size_t n);

Argumentami funkcji są wskaźnik y na tablicę liczb całkowitych $y_0,y_1,\ldots,y_{n-1}$ i n zawierający długość tej tablicy. Wynikiem funkcji jest najmniejszy stopień wielomianu $w(x)$ jednej zmiennej o współczynnikach rzeczywistych, takiego że $w(x+k\cdot r)=y_k$ dla pewnej liczby rzeczywistej $x$, pewnej niezerowej liczby rzeczywistej $r$ oraz $k=0,1,\ldots,n-1$.

Przykłady:

Dla $y=[-3,0,3]$, wynikiem będzie wielomian stopnia 1.
Dla $y=[1,4,9,16]$, wynikiem będzie wielomian stopnia 2.

Kod źródłowy

Pacman Rivals

Fri, 14 Jan 2022 00:00:00 +0000

Pacman Rivals jest grą wieloosobową napisaną w 4-osobowym zespole. Jest to klasyczna gra Pac-Man wzbogacona o tryb wieloosobowy oraz mechanikę PvP.

Gra polega na zebraniu jak największej liczby monet oraz unikaniu kontaktu z duszkami chodzącymi po mapie. Co jakiś czas na mapie pojawiają się różne bonusy zapewniające graczowi więcej punktów za monety, przenikanie przez ściany, nieśmiertelność i wiele innych.

Projekt został napisany w C++ za pomocą biblioteki SFML.

Kod źródłowy

Wielomiany Rzadkie Wielu Zmiennych

Mon, 21 Jun 2021 00:00:00 +0000

Jest to rozbudowany projekt napisany w języku C, którego celem jest implementacja podstawowych operacji na wielomianach rzadkich wielu zmiennych, takich jak dodawanie, odejmowanie, mnożenie oraz potęgowanie.

Drugą część projektu stanowi kalkulator wielomianów wykorzystujący odwrotną notację polską. Umożliwia on wykonywanie operacji arytmetycznych oraz wypisywanie aktualnego wielomianu znajdującego się na stosie.

Implementacja została zoptymalizowana pod kątem efektywnej alokacji dynamicznej, minimalizując zbędne alokacje i kopiowanie pamięci. Ponadto, program zapewnia pełne zwalnianie zaalokowanej pamięci, zapobiegając jej wyciekom. Całość została udokumentowana w formacie Doxygen.

Pętlik

Tue, 19 Jan 2021 00:00:00 +0000

Pętlik to mały język programowania, którego składnię opisuje gramatyka z symbolem początkowym Program:

Program → CiągInstrukcji
CiągInstrukcji → ε | CiągInstrukcji Instrukcja
Instrukcja → Zwiększ | Powtarzaj
Zwiększ → Zmienna
Powtarzaj → '(' Zmienna CiągInstrukcji ')'
Zmienna → 'a' | ... | 'z'

Instrukcje::

Zwiększ: równoważna instrukcji ++zmienna języka C.

Powtarzaj: równoważna instrukcji języka C:

while (zmienna > 0) {
 --zmienna;
 ...
}

Projekt składa się z dwóch części:

Kompilatora optymalizującego, generującego kod na maszynę wirtualną.
Interpretera kodu tej maszyny.

Instrukcje maszynowe: