Reviews
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Contains prototypes of different pieces of the Cloud4All functionality
More Repositories
1
fp-2023-24
Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема дисциплина, 2023/24 г.Racket
17
2
oop-2019-20
Код към лекциите и упражненията на курса по Обектно-ориентирано програмиране на спец. Информатика, 2019/20 г.C
16
3
fp-2019-20
Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (1 поток) и спец. Софтуерно инженерство, 2019/20 г.Racket
14
4
oop-2021-22
Материали към курса по Обектно-ориентирано програмиране на спец. Компютърни науки, 2021/22 г.C++
12
5
sdp-2022-23
Код към лекциите и упражненията на курса по Структури от данни и програмиране на спец. Компютърни науки (1 и 2 поток)C++
11
6
ip-2021-22
Материали към курса по Увод в програмирането на спец. Компютърни науки, 2021/22 г.C++
10
7
fp-2021-22
Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и спец. Софтуерно инженерство, 2021/22 г.Racket
9
8
fp-2022-23
Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (1 поток) и избираема дисциплина, 2022/23 г.Racket
8
9
lcpt-2013-14
Програмите от лекциите по ЛСТД на магистърска програма Компютърна лингвистика, 2013/14Haskell
6
10
fp-2017-18
Програмите от лекциите по ФП на специалност Информатика, 3 курс, 2017/18 г.Haskell
4
11
lcpt-2019-20
Програми и експерименти от занятията по λ-смятане и теория на доказателствата, 2018/19 г.
Agda
4
12
emacs-config
My Emacs configuration filesEmacs Lisp
3
13
lcpt-2017-18
Програми от лекциите по λСТД за 2017/18 г.Python
3
14
sdp-slides
Лекционни материали по Структури от данни и програмиранеTeX
3
15
up-2016-17-hw-tests
Тестове за домашните към курса по Увод в програмирането, 2016/17 г.C++
3
16
sdp-2015-16
Програмите от часовете по СДП на специалност КН, 2 курс, 2 поток, 2015/16 г.C++
3
17
lcpt-2018-19
Програми и експерименти от упражненията по λ-смятане и теория на доказателствата, 2018/19 г.Scheme
3
18
up-2014-15
Програмите от лекциите по УП на специалност КН, 1 курс, 2 поток, 2014/15 г.C++
2
19
oop-2016-17
Програмите от лекциите по ООП на специалности КН (1 поток) и СИ (4, 5, 6 групи) 2016/17 г.C++
2
20
up-hw-test
Скриптове за тестване на домашни по УПShell
2
21
sdp-2014-15
Програмите от часовете по СДП на специалност КН, 2 курс, 2 поток, 2014/15 г.C++
2
22
ip-slides
TeX
2
23
oop-unit-test-framework
Малък framework за unit test-ове за изпита по ООПC++
2
24
up-2016-17
Програмите от лекциите по УП на специалности КН (1 поток) и СИ (4, 5, 6 групи) 2016/17 г.C++
2
25
oop-2018-19
Програми от лекциите по ООП на спец. КН, 1 поток, 2018/19 г.C++
2
26
fp-slides
Лекции по Функционално програмиранеTeX
2
27
fp-2016-17
Програмите от лекциите по ФП на специалност Информатика, 3 курс, 2016/17 г.Scheme
2
28
oop-2013-14
Програмите от лекциите по ООП на специалност КН, 1 курс, 2 поток, 2013/14 г.C++
2
29
vscodium-settings
My VS Codium Settings
1
30
minlog
Scheme
1
31
sdp-2017-18
Програмите от лекциите по СДП на специалност КН, 1 поток, 2017/18 г.C++
1
32
gm_scripts
Some useful GreaseMonkey scriptsJavaScript
1
33
fp-2015-16
Програмите от лекциите по ФП на специалност Информатика, 3 курс, 2015/16 г.Scheme
1
34
up-2018-19
Програмите от лекциите по УП на специалности КН (1 поток) 2018/19 г.C++
1
35
bgradios
Списък с URL на български радиостанции
1
36
lcpt-2021-22
Програми и експерименти от занятията по λ-смятане и теория на доказателствата, 2021/22 г.Scheme
1
37
sonnet-calendar
Програма-сонет - вечен календар, автор: доц. д-р Димитър ДобревC++
1
38
minlog-template
Template for Minlog development in a codespaceRacket
1
39
dp-2023-24
Код към занятията по Обектно-ориентирани шаблони за дизайн, 2023/24 г.C++
1
40
mlfd
Minlog for Dialectica websiteScheme
1
41
proof-docker
A dockerized version of the MinLog proof assistant
Coq
1
42
fmi-templates
Шаблони на документи за ФМИTeX
1
43
lcpt-2014-15
Програмите от лекциите по λСТД, 2014/15Scheme
1
44
lcpt-2022-23
Програми и експерименти от занятията по λ-смятане и теория на доказателствата, 2022/23 г.Scheme
1
45
webtech-html-css
Лекция за HTML и CSS по Web технологии, доц. д-р Калин ГеоргиевJavaScript
1
46
eexam
LaTeX клас за тема за практическа част на държавен изпит във ФМИ на СУ "Св. Климент Охридски"TeX
1
47
sdp-2019-20
Код към лекциите по Структури от данни и програмиране за спец. Компютърни науки, 1 поток, 2019/20 г.C++
1