Repository, containing the exercises I tought during the winter semester of prof. Tinko Tinchev's course on logic programming.
☆19May 17, 2023Updated 3 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:
- ☆64Jul 29, 2023Updated 2 years ago
- Материали към курса по Обектно-ориентирано програмиране на спец. Компютърни науки, 2021/22 г.☆12Jul 4, 2022Updated 4 years ago
- Books for becoming great Software Engineer☆39Apr 18, 2022Updated 4 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 5 years ago
- Repository with examples for the "Design and аnalysis of аlgorithms" course given by me @ Faculty of Mathematics and Informatics, Sofia U…☆48Aug 13, 2025Updated 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A full-stack open-source autonomous drone delivery system.☆23Mar 27, 2022Updated 4 years ago
- Data structures course 2024-2025 materials.☆49Jan 24, 2025Updated last year
- Course "Practical Introduction to Machine Learning with Python" at Sofia University☆25Jan 12, 2026Updated 5 months ago
- Functional programming exercises. Materials for a course in Sofia University.☆11Aug 22, 2015Updated 10 years ago
- Repository with examples for the "Object-oriented programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆151Aug 13, 2025Updated 10 months ago
- Object oriented programming course materials.☆50May 30, 2025Updated last year
- 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
- ☆11Jan 24, 2024Updated 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.
- Reading lists on different topics.☆62Jun 3, 2026Updated last month
- Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (1 поток) и спец. Софт…☆14Dec 3, 2021Updated 4 years ago
- Lecture notes on computer programming☆57May 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 5 months ago
- Код към лекциите и упражненията на курса по Обектно-ориентирано програмиране на спец. Информатика, 2019/20 г.☆16Mar 17, 2024Updated 2 years ago
- PNM( Portable Anymap Format ) AKA Netpbm ( PBM, PGM and PPM ) Reader and Writer☆15Apr 5, 2023Updated 3 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…☆66Jan 5, 2026Updated 6 months ago
- FMI Introduction to programming course 2023/2024.☆18Oct 11, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Repository for the Object-oriented programming course for academic year 2020/21☆18Jul 6, 2021Updated 4 years ago
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆20May 22, 2023Updated 3 years ago
- A collection of exotic & advanced data structures in C++ and Haskell.☆22Apr 25, 2023Updated 3 years ago
- ☆22Jun 4, 2025Updated last year
- Материали към курса "Операционни системи" на ФМИ, СУ☆103Apr 1, 2024Updated 2 years ago
- Data structures and algorithms course, winter 2021/22☆17Jan 30, 2022Updated 4 years ago
- Github repository към курса по Python във ФМИ (за спец. КН, ИС, И)☆22Sep 6, 2023Updated 2 years ago
- A basic command line URL shortener.☆14Nov 16, 2020Updated 5 years ago
- USB threat evaluation framework for Linux☆11Nov 2, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Lab files of IBM's Qiskit Global Summer School 2020.☆17Sep 3, 2020Updated 5 years ago
- Repository with examples for the "Introduction To Programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆37Feb 6, 2026Updated 4 months ago
- ☆22Oct 15, 2023Updated 2 years ago
- Samples in C++ for data structures☆32Dec 5, 2021Updated 4 years ago
- pbm, pgm, ppm image IO for modern C++ (single header only library)☆26May 4, 2025Updated last year
- Study notes for my state examination in Sofia University☆43Nov 4, 2024Updated last year
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆35Jun 9, 2021Updated 5 years ago