Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема дисциплина, 2024/25 г.
☆22Jan 16, 2025Updated last year
Alternatives and similar repositories for fp-2024-25
Users that are interested in fp-2024-25 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Jan 13, 2025Updated last year
- Materials for the 2024/2025 DSA course at FMI☆14Jan 24, 2025Updated last year
- 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
- Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема …☆15Feb 14, 2024Updated 2 years ago
- Materials for the "Object-oriented programming" course given by me @ Faculty of Mathematics and Informatics, Sofia University☆69Jul 3, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Материали към курса "Съвременни Java технологии"☆299Feb 1, 2026Updated last month
- ☆80May 2, 2024Updated last year
- Материали към курса "Структури от данни и алгоритми" към ФМИ, СУ☆66Nov 23, 2024Updated last year
- Repository with examples for the "Object-oriented programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆153Aug 13, 2025Updated 7 months ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- Systems programming and kernel development, with expertise in Unix-like operating systems, synchronization theory, and C language impleme…☆30Dec 9, 2022Updated 3 years ago
- Материали към курса "Структури от данни и алгоритми", ФМИ☆73Feb 11, 2026Updated last month
- Repository with examples for the "Design and аnalysis of аlgorithms" course given by me @ Faculty of Mathematics and Informatics, Sofia U…☆49Aug 13, 2025Updated 7 months ago
- ☆62Jul 29, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Материали за курсът СДП и СДП-практикум във ФМИ за учебната 2024/25 година☆12Jan 18, 2025Updated last year
- ☆19Mar 18, 2026Updated last week
- Материали за курса ООП, Информатика, 2024☆16Jun 8, 2024Updated last year
- Материали към курса "Бази данни" на ФМИ, СУ☆24Jun 5, 2023Updated 2 years ago
- Repository with examples for the "Object-oriented programming" course given by me at Faculty of Mathematics and Informatics, Sofia Univer…☆74Jul 6, 2025Updated 8 months ago
- Материали за курса "Операционни системи", летен семестър 2024-2025☆21Mar 7, 2026Updated 3 weeks ago
- Collection of problems and their solutions given by me for the Object Oriented Programming Practicum Course @ Faculty of Mathematics and …☆15Updated this week
- Записките ми за упражнения по "Дизайн и анализ на алгоритми"☆13Feb 21, 2026Updated last month
- Pure memoization combinators for Haskell☆39Jan 27, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Practice problems with solutions☆28Feb 28, 2026Updated last month
- Repository with examples for the "Introduction to programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆19Jan 13, 2026Updated 2 months ago
- Examples and tasks for the OOP Practicum course @FMI.☆34Jun 2, 2025Updated 9 months ago
- A collection implementing core statistical concepts—probability, distributions, limit theorems, hypothesis testing, and regression—throug…☆80Jan 15, 2026Updated 2 months ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- A direct replacement for `assert_eq` for unordered collections☆13Apr 17, 2022Updated 3 years ago
- Polkadot Protocol Conformance Tests☆10May 22, 2023Updated 2 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- My Rust-based keymap for QMK☆11Dec 1, 2025Updated 3 months ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- ☆16Nov 12, 2025Updated 4 months ago
- Write scripts in compiled languages that run in the Nix ecosystem, without separate build step☆16Oct 8, 2025Updated 5 months ago
- ☆12Feb 14, 2025Updated last year
- Bifunctors and biapplicatives☆12Apr 13, 2025Updated 11 months ago
- Experimental Rust bindings for the pure C API of Nix, the build tool☆34Updated this week
- A level editor for Patrick's Parabox☆12May 9, 2022Updated 3 years ago
- Might eventually replace termfilechooser☆22Feb 22, 2026Updated last month