Discover triffon/gpiistack Open Source project

Код към лекциите и упражненията на курса по Обектно-ориентирано програмиране на спец. Информатика, 2019/20 г.

oop-2019-20

fp-2019-20

Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (1 поток) и спец. Софтуерно инженерство, 2019/20 г.

Материали към курса по Обектно-ориентирано програмиране на спец. Компютърни науки, 2021/22 г.

oop-2021-22

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

fp-2024-25

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

sdp-2022-23

Материали към курса по Увод в програмирането на спец. Компютърни науки, 2021/22 г.

ip-2021-22

Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и спец. Софтуерно инженерство, 2021/22 г.

fp-2021-22

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

fp-2022-23

Програмите от лекциите по ЛСТД на магистърска програма Компютърна лингвистика, 2013/14

lcpt-2013-14

Haskell

fp-2017-18

Програмите от лекциите по ФП на специалност Информатика, 3 курс, 2017/18 г.

Haskell

lcpt-2019-20

Програми и експерименти от занятията по λ-смятане и теория на доказателствата, 2018/19 г.

Agda

emacs-config

My Emacs configuration files

Emacs Lisp

lcpt-2017-18

Програми от лекциите по λСТД за 2017/18 г.

Python

sdp-slides

Лекционни материали по Структури от данни и програмиране

Тестове за домашните към курса по Увод в програмирането, 2016/17 г.

up-2016-17-hw-tests

Програмите от часовете по СДП на специалност КН, 2 курс, 2 поток, 2015/16 г.

sdp-2015-16

Програми и експерименти от упражненията по λ-смятане и теория на доказателствата, 2018/19 г.

lcpt-2018-19

Програмите от лекциите по УП на специалност КН, 1 курс, 2 поток, 2014/15 г.

up-2014-15

Програмите от лекциите по ООП на специалности КН (1 поток) и СИ (4, 5, 6 групи) 2016/17 г.

oop-2016-17

Списък с URL на български радиостанции

bgradios

up-hw-test

Скриптове за тестване на домашни по УП

Shell

ip-slides

Малък framework за unit test-ове за изпита по ООП

oop-unit-test-framework

Програмите от часовете по СДП на специалност КН, 2 курс, 2 поток, 2014/15 г.

sdp-2014-15

Програмите от лекциите по УП на специалности КН (1 поток) и СИ (4, 5, 6 групи) 2016/17 г.

up-2016-17

Лекции по Функционално програмиране

fp-slides

Програми от лекциите по ООП на спец. КН, 1 поток, 2018/19 г.

oop-2018-19

Програмите от лекциите по ФП на специалност Информатика, 3 курс, 2016/17 г.

fp-2016-17

Програмите от лекциите по ООП на специалност КН, 1 курс, 2 поток, 2013/14 г.

oop-2013-14

vscodium-settings

My VS Codium Settings

minlog

Програмите от лекциите по СДП на специалност КН, 1 поток, 2017/18 г.

sdp-2017-18

Some useful GreaseMonkey scripts

gm_scripts

JavaScript

up-2018-19

Програмите от лекциите по УП на специалности КН (1 поток) 2018/19 г.

Програми и експерименти от занятията по λ-смятане и теория на доказателствата, 2021/22 г.

lcpt-2021-22

Програма-сонет - вечен календар, автор: доц. д-р Димитър Добрев

sonnet-calendar

Template for Minlog development in a codespace

minlog-template

Код към занятията по Обектно-ориентирани шаблони за дизайн, 2023/24 г.

dp-2023-24

Minlog for Dialectica website

mlfd

A dockerized version of the MinLog proof assistant

proof-docker

Coq

fmi-templates

Шаблони на документи за ФМИ

Програмите от лекциите по λСТД, 2014/15

lcpt-2014-15

Програми и експерименти от занятията по λ-смятане и теория на доказателствата, 2022/23 г.

lcpt-2022-23

Лекция за HTML и CSS по Web технологии, доц. д-р Калин Георгиев

webtech-html-css

JavaScript

eexam

LaTeX клас за тема за практическа част на държавен изпит във ФМИ на СУ "Св. Климент Охридски"

Код към лекциите по Структури от данни и програмиране за спец. Компютърни науки, 1 поток, 2019/20 г.

sdp-2019-20

Програмите от лекциите по ФП на специалност Информатика, 3 курс, 2015/16 г.

fp-2015-16