Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема дисциплина, 2023/24 г.
☆16Feb 14, 2024Updated 2 years ago
Alternatives and similar repositories for fp-2023-24
Users that are interested in fp-2023-24 are comparing it to the libraries listed below
Sorting:
- ☆11Jan 18, 2024Updated 2 years ago
- Материали към курса "Операционни системи" на ФМИ, СУ☆87Apr 1, 2024Updated last year
- Materials given by me to the students from the Software Engineering bachelor program during the 2nd semester of 21/22.☆11Jul 7, 2022Updated 3 years ago
- Материали към курса "Съвременни Java технологии"☆298Feb 1, 2026Updated last month
- Записки по „Езици, автомати и изчислимост"☆14Jun 13, 2022Updated 3 years ago
- Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема…☆22Jan 16, 2025Updated last year
- Repository with examples for the "Object-oriented programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆24Feb 27, 2026Updated last week
- Materials for the "Object-oriented programming" course given by me @ Faculty of Mathematics and Informatics, Sofia University☆69Jul 3, 2023Updated 2 years ago
- Lectures, seminars, tasks, exams and homework assignments (some with solutions), that I have written as a teaching assistant for math cou…☆46Aug 22, 2023Updated 2 years ago
- Материали към курса "Структури от данни и алгоритми" към ФМИ, СУ☆65Nov 23, 2024Updated last year
- ☆75May 2, 2024Updated last year
- ☆32Nov 1, 2023Updated 2 years ago
- Act!O(n) Arena☆11Dec 29, 2025Updated 2 months ago
- Resourses for the data structures and algorithms course in Sofia University for the 2023-2024 winter semester☆11Dec 20, 2023Updated 2 years ago
- Table-driven (by-example) HSpec tests☆10Jan 29, 2021Updated 5 years ago
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated last week
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 11 months ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- IPT Course Golang Programming examples and presentations☆12Jan 5, 2026Updated 2 months ago
- Materials for the 2024/2025 DS course at FMI☆13Jan 24, 2025Updated last year
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 5 years ago
- Spring Data course examples☆12Jan 5, 2023Updated 3 years ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 4 years ago
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- Retro groove color scheme for Vim (with custom modifications to Haskell and PureScript to make them more colourful)☆14Jun 7, 2020Updated 5 years ago
- A Haskell library for loading configuation data from environment variables.☆17Nov 4, 2022Updated 3 years ago
- Card game using Haskell miso☆11Feb 5, 2026Updated last month
- This repository contains a lot of my Math writings (home works, study materials, guides and proofs) which I wrote during my Bachelor of I…☆58Jun 28, 2021Updated 4 years ago
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- CS316 "Functional Programming" lecture notes☆22Jan 29, 2026Updated last month
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Consumer Driven Contracts :: Learn how to with contract stubs and consuming that contract from another Spring application☆15Updated this week
- Repository with examples for the " Data structures and algorithms" course given by me @ Faculty of Mathematics and Informatics, Sofia Uni…☆63Jan 5, 2026Updated 2 months ago
- 📑 A collection of cheatsheets for pentesting tools☆17Feb 24, 2021Updated 5 years ago
- Materials for the 2024/2025 DSA course at FMI☆14Jan 24, 2025Updated last year
- Repository for the Object-oriented programming course for academic year 2020/21☆19Jul 6, 2021Updated 4 years ago