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:
- Код към лекциите и упражненията на курса по Структури от данни и програмиране на спец. Компютърни науки (1 и 2 поток)☆12Aug 29, 2023Updated 2 years ago
- Материали към курса по Обектно-ориентирано програмиране на спец. Компютърни науки, 2021/22 г.☆12Jul 4, 2022Updated 3 years ago
- 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
- 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
- Data structures course 2024-2025 materials.☆50Jan 24, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Functional programming exercises. Materials for a course in Sofia University.☆11Aug 22, 2015Updated 10 years ago
- ☆11Jun 5, 2022Updated 3 years ago
- Материали към курса "Съвременни Java технологии"☆299Feb 1, 2026Updated last month
- 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
- Zig implementation of the Ethereum protocol☆12Oct 18, 2024Updated last year
- Machine Learning project to identify Japanese characters (hiragana) from a data set.☆14Nov 24, 2018Updated 7 years ago
- Reading lists on different topics.☆59Mar 2, 2026Updated 3 weeks ago
- Lecture notes on computer programming☆56Mar 19, 2026Updated last week
- Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (1 поток) и спец. Софт…☆14Dec 3, 2021Updated 4 years ago
- 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.
- Tasks for the UP practicum course @ FMI☆15Jan 5, 2025Updated last year
- 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
- Repository for the seminars for the "Data Structures" course @fmi, Sofia University.☆15Feb 9, 2022Updated 4 years ago
- Код към лекциите и упражненията на курса по Обектно-ориентирано програмиране на спец. Информатика, 2019/20 г.☆16Mar 17, 2024Updated 2 years ago
- Notes on basic shell commands, bash scripting and C code for the Operating Systems course 2019-2020 at @fmi☆14Oct 27, 2020Updated 5 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 2 months ago
- FMI Introduction to programming course 2023/2024.☆18Oct 11, 2024Updated last year
- ☆23Jan 13, 2025Updated last year
- Записки и полезни фрагменти код за упражненията по Дизайн и Анализ на Алгоритми, 2025г.☆21May 28, 2025Updated 9 months 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.
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆18May 22, 2023Updated 2 years ago
- Материали към курса "Операционни системи" на ФМИ, СУ☆96Apr 1, 2024Updated last year
- Data structures and algorithms course, winter 2021/22☆17Jan 30, 2022Updated 4 years ago
- Семинарни упражнения по Обектно-ориентирано програмиране на 6 група, Софтуерно инженерство.☆18Jun 17, 2024Updated last year
- Github repository към курса по Python във ФМИ (за спец. КН, ИС, И)☆24Sep 6, 2023Updated 2 years ago
- A basic command line URL shortener.☆14Nov 16, 2020Updated 5 years ago
- Lab files of IBM's Qiskit Global Summer School 2020.☆17Sep 3, 2020Updated 5 years ago
- A complete, open source, java solution for the control and coordination of Arduino boards☆22May 6, 2016Updated 9 years ago
- A simple implementation of syntax highlighting in a VS Code extention.☆23Jan 15, 2017Updated 9 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.
- pbm, pgm, ppm image IO for modern C++ (single header only library)☆26May 4, 2025Updated 10 months ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆35Jun 9, 2021Updated 4 years ago
- Source code from my YouTube Serialization series: https://www.youtube.com/playlist?list=PLlrATfBNZ98cCfmH0xPebdVVMSYRQfyKi☆22Mar 30, 2016Updated 9 years ago
- Spring Boot starter for GraphQL JPA; Expose JPA entities with GraphQL.☆35Sep 17, 2022Updated 3 years ago
- Kotlin DSL for generating Gitlab CI yaml files☆39Nov 24, 2024Updated last year
- A command line parser for C++.☆38Jan 29, 2025Updated last year
- Crate for capturing images from a webcam☆53Aug 18, 2020Updated 5 years ago