Popular repositories Loading

1. type-systems-notes type-systems-notes Public

   Forked from ppolesiuk/type-systems-notes

   Lecture notes for the Type Systems course given in Autumn 2023

   TeX

2. oioioi oioioi Public

   Forked from sio2project/oioioi

   Python

3. projekt_drzwi_otwarte projekt_drzwi_otwarte Public

   Forked from ksiuwr/projekt_drzwi_otwarte

   Projekt KSI mający na celu skonstruowanie i zamontowanie autorskiego systemu kontroli dostępu do pokoju koła.

   Python

4. oi-bus oi-bus Public

   Forked from olimpiada/oi-bus

   on-site competition utility server of Polish Olympiad in Informatics

   Python

5. xbps xbps Public

   Forked from void-linux/xbps

   The X Binary Package System (XBPS)

   C