triffon / fp-2023-24View external linksLinks
Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (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
- Материали към курса "Операционни системи" на ФМИ, СУ☆81Apr 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 технологии"☆296Feb 1, 2026Updated 2 weeks ago
- Записки по „Езици, автомати и изчислимост"☆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…☆22Jun 16, 2024Updated last year
- Materials for the "Object-oriented programming" course given by me @ Faculty of Mathematics and Informatics, Sofia University☆67Jul 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
- Материали към курса "Структури от данни и алгоритми" към ФМИ, СУ☆67Nov 23, 2024Updated last year
- ☆60May 2, 2024Updated last year
- ☆30Nov 1, 2023Updated 2 years ago
- Act!O(n) Arena☆10Dec 29, 2025Updated last month
- Materials for the 2024/2025 DS course at FMI☆13Jan 24, 2025Updated last year
- An implementation of first-class pattern matches in Haskell.☆13Aug 29, 2020Updated 5 years ago
- Resourses for the data structures and algorithms course in Sofia University for the 2023-2024 winter semester☆11Dec 20, 2023Updated 2 years ago
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 10 months ago
- Table-driven (by-example) HSpec tests☆10Jan 29, 2021Updated 5 years ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- IPT Course Golang Programming examples and presentations☆12Jan 5, 2026Updated last month
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 5 years ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- Spring Data course examples☆12Jan 5, 2023Updated 3 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 5 years ago
- Zippers for cofree types☆13Dec 7, 2021Updated 4 years ago
- Teaching assist materials for Logic programming in winter and summer semesters of 2019-2020☆10Jan 23, 2022Updated 4 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 years ago
- Card game using Haskell miso☆11Feb 5, 2026Updated last week
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 3 years ago
- A Haskell library for loading configuation data from environment variables.☆17Nov 4, 2022Updated 3 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
- 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
- Consumer Driven Contracts :: Learn how to with contract stubs and consuming that contract from another Spring application☆15Feb 7, 2026Updated last week
- CS316 "Functional Programming" lecture notes☆21Jan 29, 2026Updated 2 weeks ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- 📑 A collection of cheatsheets for pentesting tools☆16Feb 24, 2021Updated 4 years ago
- Repository with examples for the " Data structures and algorithms" course given by me @ Faculty of Mathematics and Informatics, Sofia Uni…☆64Jan 5, 2026Updated last month
- Repository for the Object-oriented programming course for academic year 2020/21☆19Jul 6, 2021Updated 4 years ago