triffon/ip-slides triffon/ip-slides

  • Stars
    star
    2
  • Language
    TeX
  • License
    Other
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
triffon/ip-slides
github

triffon

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

fp-2023-24

Код към Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΈ упраТнСнията Π½Π° курса ΠΏΠΎ Π€ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅ Π½Π° спСц. Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ°, спСц. ΠšΠΎΠΌΠΏΡŽΡ‚ΡŠΡ€Π½ΠΈ Π½Π°ΡƒΠΊΠΈ (2 ΠΏΠΎΡ‚ΠΎΠΊ) ΠΈ ΠΈΠ·Π±ΠΈΡ€Π°Π΅ΠΌΠ° дисциплина, 2023/24 Π³.
Racket
17
star
2

oop-2019-20

Код към Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΈ упраТнСнията Π½Π° курса ΠΏΠΎ ΠžΠ±Π΅ΠΊΡ‚Π½ΠΎ-ΠΎΡ€ΠΈΠ΅Π½Ρ‚ΠΈΡ€Π°Π½ΠΎ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅ Π½Π° спСц. Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ°, 2019/20 Π³.
C
16
star
3

fp-2019-20

Код към Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΈ упраТнСнията Π½Π° курса ΠΏΠΎ Π€ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅ Π½Π° спСц. Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ°, спСц. ΠšΠΎΠΌΠΏΡŽΡ‚ΡŠΡ€Π½ΠΈ Π½Π°ΡƒΠΊΠΈ (1 ΠΏΠΎΡ‚ΠΎΠΊ) ΠΈ спСц. Π‘ΠΎΡ„Ρ‚ΡƒΠ΅Ρ€Π½ΠΎ инТСнСрство, 2019/20 Π³.
Racket
14
star
4

oop-2021-22

ΠœΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»ΠΈ към курса ΠΏΠΎ ΠžΠ±Π΅ΠΊΡ‚Π½ΠΎ-ΠΎΡ€ΠΈΠ΅Π½Ρ‚ΠΈΡ€Π°Π½ΠΎ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅ Π½Π° спСц. ΠšΠΎΠΌΠΏΡŽΡ‚ΡŠΡ€Π½ΠΈ Π½Π°ΡƒΠΊΠΈ, 2021/22 Π³.
C++
12
star
5

sdp-2022-23

Код към Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΈ упраТнСнията Π½Π° курса ΠΏΠΎ Π‘Ρ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€ΠΈ ΠΎΡ‚ Π΄Π°Π½Π½ΠΈ ΠΈ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅ Π½Π° спСц. ΠšΠΎΠΌΠΏΡŽΡ‚ΡŠΡ€Π½ΠΈ Π½Π°ΡƒΠΊΠΈ (1 ΠΈ 2 ΠΏΠΎΡ‚ΠΎΠΊ)
C++
11
star
6

ip-2021-22

ΠœΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»ΠΈ към курса ΠΏΠΎ Π£Π²ΠΎΠ΄ Π² ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅Ρ‚ΠΎ Π½Π° спСц. ΠšΠΎΠΌΠΏΡŽΡ‚ΡŠΡ€Π½ΠΈ Π½Π°ΡƒΠΊΠΈ, 2021/22 Π³.
C++
10
star
7

fp-2021-22

Код към Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΈ упраТнСнията Π½Π° курса ΠΏΠΎ Π€ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅ Π½Π° спСц. Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ°, спСц. ΠšΠΎΠΌΠΏΡŽΡ‚ΡŠΡ€Π½ΠΈ Π½Π°ΡƒΠΊΠΈ (2 ΠΏΠΎΡ‚ΠΎΠΊ) ΠΈ спСц. Π‘ΠΎΡ„Ρ‚ΡƒΠ΅Ρ€Π½ΠΎ инТСнСрство, 2021/22 Π³.
Racket
9
star
8

fp-2022-23

Код към Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΈ упраТнСнията Π½Π° курса ΠΏΠΎ Π€ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅ Π½Π° спСц. Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ°, спСц. ΠšΠΎΠΌΠΏΡŽΡ‚ΡŠΡ€Π½ΠΈ Π½Π°ΡƒΠΊΠΈ (1 ΠΏΠΎΡ‚ΠΎΠΊ) ΠΈ ΠΈΠ·Π±ΠΈΡ€Π°Π΅ΠΌΠ° дисциплина, 2022/23 Π³.
Racket
8
star
9

lcpt-2013-14

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ Π›Π‘Π’Π” Π½Π° ΠΌΠ°Π³ΠΈΡΡ‚ΡŠΡ€ΡΠΊΠ° ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠ° ΠšΠΎΠΌΠΏΡŽΡ‚ΡŠΡ€Π½Π° лингвистика, 2013/14
Haskell
6
star
10

fp-2017-18

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ ЀП Π½Π° спСциалност Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ°, 3 курс, 2017/18 Π³.
Haskell
4
star
11

lcpt-2019-20

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈ ΠΈ СкспСримСнти ΠΎΡ‚ занятията ΠΏΠΎ Ξ»-смятанС ΠΈ тСория Π½Π° доказатСлствата, 2018/19 Π³.
Agda
4
star
12

emacs-config

My Emacs configuration files
Emacs Lisp
3
star
13

lcpt-2017-18

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ Ξ»Π‘Π’Π” Π·Π° 2017/18 Π³.
Python
3
star
14

sdp-slides

Π›Π΅ΠΊΡ†ΠΈΠΎΠ½Π½ΠΈ ΠΌΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»ΠΈ ΠΏΠΎ Π‘Ρ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€ΠΈ ΠΎΡ‚ Π΄Π°Π½Π½ΠΈ ΠΈ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅
TeX
3
star
15

up-2016-17-hw-tests

ВСстовС Π·Π° Π΄ΠΎΠΌΠ°ΡˆΠ½ΠΈΡ‚Π΅ към курса ΠΏΠΎ Π£Π²ΠΎΠ΄ Π² ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅Ρ‚ΠΎ, 2016/17 Π³.
C++
3
star
16

sdp-2015-16

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ часовСтС ΠΏΠΎ Π‘Π”ΠŸ Π½Π° спСциалност КН, 2 курс, 2 ΠΏΠΎΡ‚ΠΎΠΊ, 2015/16 Π³.
C++
3
star
17

lcpt-2018-19

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈ ΠΈ СкспСримСнти ΠΎΡ‚ упраТнСнията ΠΏΠΎ Ξ»-смятанС ΠΈ тСория Π½Π° доказатСлствата, 2018/19 Π³.
Scheme
3
star
18

up-2014-15

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ УП Π½Π° спСциалност КН, 1 курс, 2 ΠΏΠΎΡ‚ΠΎΠΊ, 2014/15 Π³.
C++
2
star
19

oop-2016-17

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ ООП Π½Π° спСциалности КН (1 ΠΏΠΎΡ‚ΠΎΠΊ) ΠΈ БИ (4, 5, 6 Π³Ρ€ΡƒΠΏΠΈ) 2016/17 Π³.
C++
2
star
20

up-hw-test

Π‘ΠΊΡ€ΠΈΠΏΡ‚ΠΎΠ²Π΅ Π·Π° тСстванС Π½Π° домашни ΠΏΠΎ УП
Shell
2
star
21

sdp-2014-15

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ часовСтС ΠΏΠΎ Π‘Π”ΠŸ Π½Π° спСциалност КН, 2 курс, 2 ΠΏΠΎΡ‚ΠΎΠΊ, 2014/15 Π³.
C++
2
star
22

oop-unit-test-framework

Малък framework Π·Π° unit test-ΠΎΠ²Π΅ Π·Π° ΠΈΠ·ΠΏΠΈΡ‚Π° ΠΏΠΎ ООП
C++
2
star
23

up-2016-17

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ УП Π½Π° спСциалности КН (1 ΠΏΠΎΡ‚ΠΎΠΊ) ΠΈ БИ (4, 5, 6 Π³Ρ€ΡƒΠΏΠΈ) 2016/17 Π³.
C++
2
star
24

oop-2018-19

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ ООП Π½Π° спСц. КН, 1 ΠΏΠΎΡ‚ΠΎΠΊ, 2018/19 Π³.
C++
2
star
25

fp-slides

Π›Π΅ΠΊΡ†ΠΈΠΈ ΠΏΠΎ Π€ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅
TeX
2
star
26

fp-2016-17

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ ЀП Π½Π° спСциалност Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ°, 3 курс, 2016/17 Π³.
Scheme
2
star
27

oop-2013-14

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ ООП Π½Π° спСциалност КН, 1 курс, 2 ΠΏΠΎΡ‚ΠΎΠΊ, 2013/14 Π³.
C++
2
star
28

vscodium-settings

My VS Codium Settings
1
star
29

minlog

Scheme
1
star
30

sdp-2017-18

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ Π‘Π”ΠŸ Π½Π° спСциалност КН, 1 ΠΏΠΎΡ‚ΠΎΠΊ, 2017/18 Π³.
C++
1
star
31

gpiistack

Contains prototypes of different pieces of the Cloud4All functionality
C
1
star
32

gm_scripts

Some useful GreaseMonkey scripts
JavaScript
1
star
33

fp-2015-16

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ ЀП Π½Π° спСциалност Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ°, 3 курс, 2015/16 Π³.
Scheme
1
star
34

up-2018-19

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ УП Π½Π° спСциалности КН (1 ΠΏΠΎΡ‚ΠΎΠΊ) 2018/19 Π³.
C++
1
star
35

bgradios

Бписък с URL Π½Π° Π±ΡŠΠ»Π³Π°Ρ€ΡΠΊΠΈ радиостанции
1
star
36

lcpt-2021-22

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈ ΠΈ СкспСримСнти ΠΎΡ‚ занятията ΠΏΠΎ Ξ»-смятанС ΠΈ тСория Π½Π° доказатСлствата, 2021/22 Π³.
Scheme
1
star
37

sonnet-calendar

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠ°-сонСт - Π²Π΅Ρ‡Π΅Π½ ΠΊΠ°Π»Π΅Π½Π΄Π°Ρ€, Π°Π²Ρ‚ΠΎΡ€: Π΄ΠΎΡ†. Π΄-Ρ€ Π”ΠΈΠΌΠΈΡ‚ΡŠΡ€ Π”ΠΎΠ±Ρ€Π΅Π²
C++
1
star
38

minlog-template

Template for Minlog development in a codespace
Racket
1
star
39

dp-2023-24

Код към занятията ΠΏΠΎ ΠžΠ±Π΅ΠΊΡ‚Π½ΠΎ-ΠΎΡ€ΠΈΠ΅Π½Ρ‚ΠΈΡ€Π°Π½ΠΈ шаблони Π·Π° Π΄ΠΈΠ·Π°ΠΉΠ½, 2023/24 Π³.
C++
1
star
40

mlfd

Minlog for Dialectica website
Scheme
1
star
41

proof-docker

A dockerized version of the MinLog proof assistant
Coq
1
star
42

fmi-templates

Π¨Π°Π±Π»ΠΎΠ½ΠΈ Π½Π° Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ΠΈ Π·Π° ЀМИ
TeX
1
star
43

lcpt-2014-15

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ‚Π΅ ΠΎΡ‚ Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ Ξ»Π‘Π’Π”, 2014/15
Scheme
1
star
44

lcpt-2022-23

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈ ΠΈ СкспСримСнти ΠΎΡ‚ занятията ΠΏΠΎ Ξ»-смятанС ΠΈ тСория Π½Π° доказатСлствата, 2022/23 Π³.
Scheme
1
star
45

webtech-html-css

ЛСкция Π·Π° HTML ΠΈ CSS ΠΏΠΎ Web Ρ‚Π΅Ρ…Π½ΠΎΠ»ΠΎΠ³ΠΈΠΈ, Π΄ΠΎΡ†. Π΄-Ρ€ Калин Π“Π΅ΠΎΡ€Π³ΠΈΠ΅Π²
JavaScript
1
star
46

eexam

LaTeX клас Π·Π° Ρ‚Π΅ΠΌΠ° Π·Π° практичСска част Π½Π° Π΄ΡŠΡ€ΠΆΠ°Π²Π΅Π½ ΠΈΠ·ΠΏΠΈΡ‚ във ЀМИ Π½Π° Π‘Π£ "Π‘Π². ΠšΠ»ΠΈΠΌΠ΅Π½Ρ‚ ΠžΡ…Ρ€ΠΈΠ΄ΡΠΊΠΈ"
TeX
1
star
47

sdp-2019-20

Код към Π»Π΅ΠΊΡ†ΠΈΠΈΡ‚Π΅ ΠΏΠΎ Π‘Ρ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€ΠΈ ΠΎΡ‚ Π΄Π°Π½Π½ΠΈ ΠΈ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΈΡ€Π°Π½Π΅ Π·Π° спСц. ΠšΠΎΠΌΠΏΡŽΡ‚ΡŠΡ€Π½ΠΈ Π½Π°ΡƒΠΊΠΈ, 1 ΠΏΠΎΡ‚ΠΎΠΊ, 2019/20 Π³.
C++
1
star