Pinned Loading

1. sim-project sim-project Public

   Sim is an open source platform for carrying out algorithmic contests and programming classes. This repository contains all Sim (sub)projects as a monorepo.

   C++ 24 7

2. masters_thesis masters_thesis Public archive

   Sandbox for multi-process applications for unprivileged users on Linux

   TeX 2

3. prover prover Public archive

   first-order logic prover

   Rust 1

4. przepisy-kulinarne przepisy-kulinarne Public

   Moje przepisy kulinarne duże i małe (eng. My recipes big and small)

   HTML 6

5. latte latte Public archive

   Compiler for java-like language

   C++ 1

6. mrjp-tests mrjp-tests Public

   Tests for compiler of java-like language from course Compiler construction

   HTML 11 3