Repository, containing the exercises I tought during the winter semester of prof. Tinko Tinchev's course on logic programming.
☆19May 17, 2023Updated 2 years ago
Alternatives and similar repositories for LogicProgramming-2022-2023
Users that are interested in LogicProgramming-2022-2023 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆62Jul 29, 2023Updated 2 years ago
- Материали към курса по Обектно-ориентирано програмиране на спец. Компютърни науки, 2021/22 г.☆12Jul 4, 2022Updated 3 years ago
- Записките ми за упражнения по "Дизайн и анализ на алгоритми"☆13Feb 21, 2026Updated last month
- Notes on basic shell commands, bash scripting and C code for the Operating Systems course 2020/2021 at @fmi☆21Jun 7, 2021Updated 4 years ago
- ☆10Mar 24, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Repository with examples for the "Design and аnalysis of аlgorithms" course given by me @ Faculty of Mathematics and Informatics, Sofia U…☆49Aug 13, 2025Updated 8 months ago
- Lectures, seminars, tasks, exams and homework assignments (some with solutions), that I have written as a teaching assistant for math cou…☆45Aug 22, 2023Updated 2 years ago
- A full-stack open-source autonomous drone delivery system.☆23Mar 27, 2022Updated 4 years ago
- Data structures course 2024-2025 materials.☆50Jan 24, 2025Updated last year
- ☆11Jun 5, 2022Updated 3 years ago
- Материали към курса "Съвременни Java технологии"☆300Feb 1, 2026Updated 2 months ago
- Materials for learning Haskell☆13Sep 22, 2022Updated 3 years ago
- IPT Course Golang Programming examples and presentations☆12Jan 5, 2026Updated 3 months ago
- A Repo with Materials and Tasks Solutions for the Course Operating Systems @ FMI☆11Jun 25, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Zig implementation of the Ethereum protocol☆12Oct 18, 2024Updated last year
- Problems for si up pracitcum FMI☆11Jan 16, 2024Updated 2 years ago
- Machine Learning project to identify Japanese characters (hiragana) from a data set.☆14Nov 24, 2018Updated 7 years ago
- Repository with examples for the "Data structures and algorithms" course given by me (2021-present), "Data structures 2" course and other…☆18Mar 24, 2026Updated 3 weeks ago
- Reading lists on different topics.☆60Mar 29, 2026Updated 2 weeks ago
- Репо на курса "Програмиране с Python" във ФМИ, зимен сем. 23/24, за спец. КН, ИС, И☆14Jan 18, 2024Updated 2 years ago
- Repository with examples for the "Introduction to programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆19Jan 13, 2026Updated 3 months ago
- Repository for the seminars for the "Data Structures" course @fmi, Sofia University.☆15Feb 9, 2022Updated 4 years ago
- Repository with examples for the " Design and analysis of algorithms" course given by me @ Faculty of Mathematics and Informatics, Sofia …☆15Mar 17, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Simple python script to calculate your Basal Metabolic Rate (BMR)! Find out how many calories you need per day to maintain your current w…☆15Sep 19, 2022Updated 3 years ago
- Repository with examples for the " Data structures and algorithms" course given by me @ Faculty of Mathematics and Informatics, Sofia Uni…☆63Jan 5, 2026Updated 3 months ago
- Repository with examples for the "Introduction To Programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆72Jan 7, 2026Updated 3 months ago
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆19May 22, 2023Updated 2 years ago
- A collection of exotic & advanced data structures in C++ and Haskell.☆22Apr 25, 2023Updated 2 years ago
- ☆22Jun 4, 2025Updated 10 months ago
- ☆20Mar 26, 2026Updated 2 weeks ago
- Data structures and algorithms course, winter 2021/22☆17Jan 30, 2022Updated 4 years ago
- Семинарни упражнения по Обектно-ориентирано програмиране на 6 група, Софтуерно инженерство.☆18Jun 17, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This repository demonstrates a typical front-end UI built with ASP.NET and a complementary back-end API using DAPR for service discovery.…☆40Jul 10, 2024Updated last year
- USB threat evaluation framework for Linux☆11Nov 2, 2021Updated 4 years ago
- Lab files of IBM's Qiskit Global Summer School 2020.☆17Sep 3, 2020Updated 5 years ago
- Fullstack Application Development with Node.js + Express.js + React.js☆55Apr 7, 2026Updated last week
- A complete, open source, java solution for the control and coordination of Arduino boards☆22May 6, 2016Updated 9 years ago
- Repository for the "Functional Programming" course at FMI of Sofia University for the academic year 2020-21☆26Feb 17, 2021Updated 5 years ago
- A simple implementation of syntax highlighting in a VS Code extention.☆23Jan 15, 2017Updated 9 years ago