Discover @triffon Open Source projects

Trifon Trifonov (@triffon)

triffon

Stars
173
Global Rank 133,466 (Top 5 %)
Followers 147
Following 1
Registered over 12 years ago
Most used languages

C++
37.0 %

Scheme
17.4 %

Racket
10.9 %

TeX
10.9 %

JavaScript
4.3 %

Haskell
4.3 %

C
4.3 %

Emacs Lisp
2.2 %

Agda 2.2 %

Shell
2.2 %

Coq 2.2 %

Python
2.2 %
Location 🇧🇬 Bulgaria
Country Total Rank 214
Country Ranking

Agda 1

Coq 1

Racket
1

Scheme
4

Emacs Lisp
6

Haskell
6

TeX
9

C++
30

C
54

Shell
137

Python
302

JavaScript
913

fp-2023-24

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

oop-2019-20

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

fp-2019-20

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

oop-2021-22

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

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/14

fp-2017-18

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

lcpt-2019-20

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

emacs-config

My Emacs configuration files

lcpt-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 г.

up-hw-test

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

sdp-2014-15

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

ip-slides

oop-unit-test-framework

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

up-2016-17

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

oop-2018-19

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

fp-slides

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

fp-2016-17

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

oop-2013-14

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

vscodium-settings

My VS Codium Settings

minlog

sdp-2017-18

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

gpiistack

Contains prototypes of different pieces of the Cloud4All functionality

gm_scripts

Some useful GreaseMonkey scripts

fp-2015-16

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

up-2018-19

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

bgradios

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

lcpt-2021-22

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

sonnet-calendar

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

minlog-template

Template for Minlog development in a codespace

dp-2023-24

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

mlfd

Minlog for Dialectica website

proof-docker

A dockerized version of the MinLog proof assistant

fmi-templates

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

lcpt-2014-15

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

lcpt-2022-23

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

webtech-html-css

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

eexam

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

sdp-2019-20

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