Popular repositories Loading

1. functional-programming functional-programming Public

   Хранилище с материалите от семинара на изборната група на специалност Информатика/Софтуерно инженерство през учебната 2025/2026г.

   Haskell 3

2. oop-kn1-group3-practicum-2024-25 oop-kn1-group3-practicum-2024-25 Public

   Хранилище с материалите от практикума по ООП на 3-та група, спец. Компютърни науки, първи поток

   C++ 1

3. fp-2024-25 fp-2024-25 Public

   Forked from triffon/fp-2024-25

   Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема дисциплина, 2024/25 г.

   Racket

4. sdp-2024-25 sdp-2024-25 Public

   Forked from triffon/sdp-2024-25

   Код към лекциите и упражненията на курса по Структури от данни и програмиране на спец. Компютърни науки (2 поток), 2024/25 г.

   C++

5. hilbert-style-proof-checker hilbert-style-proof-checker Public

   Haskell

6. lambda-interpreter lambda-interpreter Public

   Haskell