There are no reviews yet. Be the first to send feedback to the community and the maintainers!
fp-2023-24
ΠΠΎΠ΄ ΠΊΡΠΌ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΈ ΡΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡΡΠ° Π½Π° ΠΊΡΡΡΠ° ΠΏΠΎ Π€ΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ Π½Π° ΡΠΏΠ΅Ρ. ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ°, ΡΠΏΠ΅Ρ. ΠΠΎΠΌΠΏΡΡΡΡΠ½ΠΈ Π½Π°ΡΠΊΠΈ (2 ΠΏΠΎΡΠΎΠΊ) ΠΈ ΠΈΠ·Π±ΠΈΡΠ°Π΅ΠΌΠ° Π΄ΠΈΡΡΠΈΠΏΠ»ΠΈΠ½Π°, 2023/24 Π³.oop-2019-20
ΠΠΎΠ΄ ΠΊΡΠΌ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΈ ΡΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡΡΠ° Π½Π° ΠΊΡΡΡΠ° ΠΏΠΎ ΠΠ±Π΅ΠΊΡΠ½ΠΎ-ΠΎΡΠΈΠ΅Π½ΡΠΈΡΠ°Π½ΠΎ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ Π½Π° ΡΠΏΠ΅Ρ. ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ°, 2019/20 Π³.fp-2019-20
ΠΠΎΠ΄ ΠΊΡΠΌ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΈ ΡΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡΡΠ° Π½Π° ΠΊΡΡΡΠ° ΠΏΠΎ Π€ΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ Π½Π° ΡΠΏΠ΅Ρ. ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ°, ΡΠΏΠ΅Ρ. ΠΠΎΠΌΠΏΡΡΡΡΠ½ΠΈ Π½Π°ΡΠΊΠΈ (1 ΠΏΠΎΡΠΎΠΊ) ΠΈ ΡΠΏΠ΅Ρ. Π‘ΠΎΡΡΡΠ΅ΡΠ½ΠΎ ΠΈΠ½ΠΆΠ΅Π½Π΅ΡΡΡΠ²ΠΎ, 2019/20 Π³.oop-2021-22
ΠΠ°ΡΠ΅ΡΠΈΠ°Π»ΠΈ ΠΊΡΠΌ ΠΊΡΡΡΠ° ΠΏΠΎ ΠΠ±Π΅ΠΊΡΠ½ΠΎ-ΠΎΡΠΈΠ΅Π½ΡΠΈΡΠ°Π½ΠΎ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ Π½Π° ΡΠΏΠ΅Ρ. ΠΠΎΠΌΠΏΡΡΡΡΠ½ΠΈ Π½Π°ΡΠΊΠΈ, 2021/22 Π³.fp-2024-25
ΠΠΎΠ΄ ΠΊΡΠΌ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΈ ΡΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡΡΠ° Π½Π° ΠΊΡΡΡΠ° ΠΏΠΎ Π€ΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ Π½Π° ΡΠΏΠ΅Ρ. ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ°, ΡΠΏΠ΅Ρ. ΠΠΎΠΌΠΏΡΡΡΡΠ½ΠΈ Π½Π°ΡΠΊΠΈ (2 ΠΏΠΎΡΠΎΠΊ) ΠΈ ΠΈΠ·Π±ΠΈΡΠ°Π΅ΠΌΠ° Π΄ΠΈΡΡΠΈΠΏΠ»ΠΈΠ½Π°, 2024/25 Π³.sdp-2022-23
ΠΠΎΠ΄ ΠΊΡΠΌ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΈ ΡΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡΡΠ° Π½Π° ΠΊΡΡΡΠ° ΠΏΠΎ Π‘ΡΡΡΠΊΡΡΡΠΈ ΠΎΡ Π΄Π°Π½Π½ΠΈ ΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ Π½Π° ΡΠΏΠ΅Ρ. ΠΠΎΠΌΠΏΡΡΡΡΠ½ΠΈ Π½Π°ΡΠΊΠΈ (1 ΠΈ 2 ΠΏΠΎΡΠΎΠΊ)ip-2021-22
ΠΠ°ΡΠ΅ΡΠΈΠ°Π»ΠΈ ΠΊΡΠΌ ΠΊΡΡΡΠ° ΠΏΠΎ Π£Π²ΠΎΠ΄ Π² ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ΡΠΎ Π½Π° ΡΠΏΠ΅Ρ. ΠΠΎΠΌΠΏΡΡΡΡΠ½ΠΈ Π½Π°ΡΠΊΠΈ, 2021/22 Π³.fp-2021-22
ΠΠΎΠ΄ ΠΊΡΠΌ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΈ ΡΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡΡΠ° Π½Π° ΠΊΡΡΡΠ° ΠΏΠΎ Π€ΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ Π½Π° ΡΠΏΠ΅Ρ. ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ°, ΡΠΏΠ΅Ρ. ΠΠΎΠΌΠΏΡΡΡΡΠ½ΠΈ Π½Π°ΡΠΊΠΈ (2 ΠΏΠΎΡΠΎΠΊ) ΠΈ ΡΠΏΠ΅Ρ. Π‘ΠΎΡΡΡΠ΅ΡΠ½ΠΎ ΠΈΠ½ΠΆΠ΅Π½Π΅ΡΡΡΠ²ΠΎ, 2021/22 Π³.fp-2022-23
ΠΠΎΠ΄ ΠΊΡΠΌ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΈ ΡΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡΡΠ° Π½Π° ΠΊΡΡΡΠ° ΠΏΠΎ Π€ΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ Π½Π° ΡΠΏΠ΅Ρ. ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ°, ΡΠΏΠ΅Ρ. ΠΠΎΠΌΠΏΡΡΡΡΠ½ΠΈ Π½Π°ΡΠΊΠΈ (1 ΠΏΠΎΡΠΎΠΊ) ΠΈ ΠΈΠ·Π±ΠΈΡΠ°Π΅ΠΌΠ° Π΄ΠΈΡΡΠΈΠΏΠ»ΠΈΠ½Π°, 2022/23 Π³.lcpt-2013-14
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ ΠΠ‘Π’Π Π½Π° ΠΌΠ°Π³ΠΈΡΡΡΡΡΠΊΠ° ΠΏΡΠΎΠ³ΡΠ°ΠΌΠ° ΠΠΎΠΌΠΏΡΡΡΡΠ½Π° Π»ΠΈΠ½Π³Π²ΠΈΡΡΠΈΠΊΠ°, 2013/14fp-2017-18
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ Π€Π Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡ ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ°, 3 ΠΊΡΡΡ, 2017/18 Π³.lcpt-2019-20
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈ ΠΈ Π΅ΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠΈ ΠΎΡ Π·Π°Π½ΡΡΠΈΡΡΠ° ΠΏΠΎ Ξ»-ΡΠΌΡΡΠ°Π½Π΅ ΠΈ ΡΠ΅ΠΎΡΠΈΡ Π½Π° Π΄ΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΠ²Π°ΡΠ°, 2018/19 Π³.emacs-config
My Emacs configuration fileslcpt-2017-18
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ Ξ»Π‘Π’Π Π·Π° 2017/18 Π³.sdp-slides
ΠΠ΅ΠΊΡΠΈΠΎΠ½Π½ΠΈ ΠΌΠ°ΡΠ΅ΡΠΈΠ°Π»ΠΈ ΠΏΠΎ Π‘ΡΡΡΠΊΡΡΡΠΈ ΠΎΡ Π΄Π°Π½Π½ΠΈ ΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅up-2016-17-hw-tests
Π’Π΅ΡΡΠΎΠ²Π΅ Π·Π° Π΄ΠΎΠΌΠ°ΡΠ½ΠΈΡΠ΅ ΠΊΡΠΌ ΠΊΡΡΡΠ° ΠΏΠΎ Π£Π²ΠΎΠ΄ Π² ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ΡΠΎ, 2016/17 Π³.sdp-2015-16
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ ΡΠ°ΡΠΎΠ²Π΅ΡΠ΅ ΠΏΠΎ Π‘ΠΠ Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡ ΠΠ, 2 ΠΊΡΡΡ, 2 ΠΏΠΎΡΠΎΠΊ, 2015/16 Π³.lcpt-2018-19
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈ ΠΈ Π΅ΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠΈ ΠΎΡ ΡΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡΡΠ° ΠΏΠΎ Ξ»-ΡΠΌΡΡΠ°Π½Π΅ ΠΈ ΡΠ΅ΠΎΡΠΈΡ Π½Π° Π΄ΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΠ²Π°ΡΠ°, 2018/19 Π³.up-2014-15
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ Π£Π Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡ ΠΠ, 1 ΠΊΡΡΡ, 2 ΠΏΠΎΡΠΎΠΊ, 2014/15 Π³.oop-2016-17
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ ΠΠΠ Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡΠΈ ΠΠ (1 ΠΏΠΎΡΠΎΠΊ) ΠΈ Π‘Π (4, 5, 6 Π³ΡΡΠΏΠΈ) 2016/17 Π³.bgradios
Π‘ΠΏΠΈΡΡΠΊ Ρ URL Π½Π° Π±ΡΠ»Π³Π°ΡΡΠΊΠΈ ΡΠ°Π΄ΠΈΠΎΡΡΠ°Π½ΡΠΈΠΈup-hw-test
Π‘ΠΊΡΠΈΠΏΡΠΎΠ²Π΅ Π·Π° ΡΠ΅ΡΡΠ²Π°Π½Π΅ Π½Π° Π΄ΠΎΠΌΠ°ΡΠ½ΠΈ ΠΏΠΎ Π£Πoop-unit-test-framework
ΠΠ°Π»ΡΠΊ framework Π·Π° unit test-ΠΎΠ²Π΅ Π·Π° ΠΈΠ·ΠΏΠΈΡΠ° ΠΏΠΎ ΠΠΠsdp-2014-15
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ ΡΠ°ΡΠΎΠ²Π΅ΡΠ΅ ΠΏΠΎ Π‘ΠΠ Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡ ΠΠ, 2 ΠΊΡΡΡ, 2 ΠΏΠΎΡΠΎΠΊ, 2014/15 Π³.up-2016-17
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ Π£Π Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡΠΈ ΠΠ (1 ΠΏΠΎΡΠΎΠΊ) ΠΈ Π‘Π (4, 5, 6 Π³ΡΡΠΏΠΈ) 2016/17 Π³.fp-slides
ΠΠ΅ΠΊΡΠΈΠΈ ΠΏΠΎ Π€ΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»Π½ΠΎ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅oop-2018-19
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ ΠΠΠ Π½Π° ΡΠΏΠ΅Ρ. ΠΠ, 1 ΠΏΠΎΡΠΎΠΊ, 2018/19 Π³.fp-2016-17
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ Π€Π Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡ ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ°, 3 ΠΊΡΡΡ, 2016/17 Π³.oop-2013-14
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ ΠΠΠ Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡ ΠΠ, 1 ΠΊΡΡΡ, 2 ΠΏΠΎΡΠΎΠΊ, 2013/14 Π³.vscodium-settings
My VS Codium Settingsminlog
sdp-2017-18
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ Π‘ΠΠ Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡ ΠΠ, 1 ΠΏΠΎΡΠΎΠΊ, 2017/18 Π³.gm_scripts
Some useful GreaseMonkey scriptsgpiistack
Contains prototypes of different pieces of the Cloud4All functionalityup-2018-19
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ Π£Π Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡΠΈ ΠΠ (1 ΠΏΠΎΡΠΎΠΊ) 2018/19 Π³.lcpt-2021-22
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈ ΠΈ Π΅ΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠΈ ΠΎΡ Π·Π°Π½ΡΡΠΈΡΡΠ° ΠΏΠΎ Ξ»-ΡΠΌΡΡΠ°Π½Π΅ ΠΈ ΡΠ΅ΠΎΡΠΈΡ Π½Π° Π΄ΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΠ²Π°ΡΠ°, 2021/22 Π³.sonnet-calendar
ΠΡΠΎΠ³ΡΠ°ΠΌΠ°-ΡΠΎΠ½Π΅Ρ - Π²Π΅ΡΠ΅Π½ ΠΊΠ°Π»Π΅Π½Π΄Π°Ρ, Π°Π²ΡΠΎΡ: Π΄ΠΎΡ. Π΄-Ρ ΠΠΈΠΌΠΈΡΡΡ ΠΠΎΠ±ΡΠ΅Π²minlog-template
Template for Minlog development in a codespacedp-2023-24
ΠΠΎΠ΄ ΠΊΡΠΌ Π·Π°Π½ΡΡΠΈΡΡΠ° ΠΏΠΎ ΠΠ±Π΅ΠΊΡΠ½ΠΎ-ΠΎΡΠΈΠ΅Π½ΡΠΈΡΠ°Π½ΠΈ ΡΠ°Π±Π»ΠΎΠ½ΠΈ Π·Π° Π΄ΠΈΠ·Π°ΠΉΠ½, 2023/24 Π³.mlfd
Minlog for Dialectica websiteproof-docker
A dockerized version of the MinLog proof assistantfmi-templates
Π¨Π°Π±Π»ΠΎΠ½ΠΈ Π½Π° Π΄ΠΎΠΊΡΠΌΠ΅Π½ΡΠΈ Π·Π° Π€ΠΠlcpt-2014-15
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ Ξ»Π‘Π’Π, 2014/15lcpt-2022-23
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈ ΠΈ Π΅ΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠΈ ΠΎΡ Π·Π°Π½ΡΡΠΈΡΡΠ° ΠΏΠΎ Ξ»-ΡΠΌΡΡΠ°Π½Π΅ ΠΈ ΡΠ΅ΠΎΡΠΈΡ Π½Π° Π΄ΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΠ²Π°ΡΠ°, 2022/23 Π³.webtech-html-css
ΠΠ΅ΠΊΡΠΈΡ Π·Π° HTML ΠΈ CSS ΠΏΠΎ Web ΡΠ΅Ρ Π½ΠΎΠ»ΠΎΠ³ΠΈΠΈ, Π΄ΠΎΡ. Π΄-Ρ ΠΠ°Π»ΠΈΠ½ ΠΠ΅ΠΎΡΠ³ΠΈΠ΅Π²eexam
LaTeX ΠΊΠ»Π°Ρ Π·Π° ΡΠ΅ΠΌΠ° Π·Π° ΠΏΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠ° ΡΠ°ΡΡ Π½Π° Π΄ΡΡΠΆΠ°Π²Π΅Π½ ΠΈΠ·ΠΏΠΈΡ Π²ΡΠ² Π€ΠΠ Π½Π° Π‘Π£ "Π‘Π². ΠΠ»ΠΈΠΌΠ΅Π½Ρ ΠΡ ΡΠΈΠ΄ΡΠΊΠΈ"sdp-2019-20
ΠΠΎΠ΄ ΠΊΡΠΌ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ Π‘ΡΡΡΠΊΡΡΡΠΈ ΠΎΡ Π΄Π°Π½Π½ΠΈ ΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ°Π½Π΅ Π·Π° ΡΠΏΠ΅Ρ. ΠΠΎΠΌΠΏΡΡΡΡΠ½ΠΈ Π½Π°ΡΠΊΠΈ, 1 ΠΏΠΎΡΠΎΠΊ, 2019/20 Π³.fp-2015-16
ΠΡΠΎΠ³ΡΠ°ΠΌΠΈΡΠ΅ ΠΎΡ Π»Π΅ΠΊΡΠΈΠΈΡΠ΅ ΠΏΠΎ Π€Π Π½Π° ΡΠΏΠ΅ΡΠΈΠ°Π»Π½ΠΎΡΡ ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ°, 3 ΠΊΡΡΡ, 2015/16 Π³.Love Open Source and this site? Check out how you can help us