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:
- Код към лекциите и упражненията на курса по Структури от данни и програмиране на спец. Компютърни науки (1 и 2 поток)☆12Aug 29, 2023Updated 2 years ago
- Books for becoming great Software Engineer☆39Apr 18, 2022Updated 4 years ago
- ☆10Mar 24, 2023Updated 3 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
- 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
- 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.
- Course "Practical Introduction to Machine Learning with Python" at Sofia University☆25Jan 12, 2026Updated 4 months ago
- ☆11Jun 5, 2022Updated 3 years ago
- Материали към курса "Съвременни Java технологии"☆301Feb 1, 2026Updated 3 months ago
- Repository with examples for the "Object-oriented programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆152Aug 13, 2025Updated 9 months ago
- A Repo with Materials and Tasks Solutions for the Course Operating Systems @ FMI☆11Jun 25, 2023Updated 2 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 2 months ago
- Learn C++ through a CPP-Pool by 42☆12Jan 2, 2022Updated 4 years ago
- Repository with examples for the "Introduction to programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆19Jan 13, 2026Updated 4 months ago
- Код към лекциите и упражненията на курса по Обектно-ориентирано програмиране на спец. Информатика, 2019/20 г.☆16Mar 17, 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.
- PNM( Portable Anymap Format ) AKA Netpbm ( PBM, PGM and PPM ) Reader and Writer☆15Apr 5, 2023Updated 3 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 4 months ago
- Demos and examples from course Introduction to Spring 5 provided by IPT - Intellectual Products & Technologies☆21Jan 9, 2026Updated 4 months ago
- ☆23Jan 13, 2025Updated last year
- Материали към курса "Операционни системи" на ФМИ, СУ☆100Apr 1, 2024Updated 2 years ago
- ☆22Jun 4, 2025Updated 11 months ago
- ☆19Apr 30, 2026Updated 3 weeks ago
- Data structures and algorithms course, winter 2021/22☆17Jan 30, 2022Updated 4 years ago
- USB threat evaluation framework for Linux☆11Nov 2, 2021Updated 4 years 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.
- 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 10 years ago
- Repository with examples for the "Introduction To Programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆37Feb 6, 2026Updated 3 months ago
- Samples in C++ for data structures☆32Dec 5, 2021Updated 4 years ago
- A simple implementation of syntax highlighting in a VS Code extention.☆23Jan 15, 2017Updated 9 years ago
- pbm, pgm, ppm image IO for modern C++ (single header only library)☆26May 4, 2025Updated last year
- Basic event system with dispatcher for the following video tutorial. A tutorial can be found here: https://youtu.be/yD47_hq75q0☆25Oct 9, 2015Updated 10 years ago
- Source code from my YouTube Serialization series: https://www.youtube.com/playlist?list=PLlrATfBNZ98cCfmH0xPebdVVMSYRQfyKi☆22Mar 30, 2016Updated 10 years ago
- Kotlin DSL for generating Gitlab CI yaml files☆41Mar 31, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A command line parser for C++.☆38Jan 29, 2025Updated last year
- Materials for the "Object-oriented programming" course given by me @ Faculty of Mathematics and Informatics, Sofia University☆70Jul 3, 2023Updated 2 years ago
- ☆42Jan 3, 2018Updated 8 years ago
- Custom Minecraft Objects created from MT scripts☆38Sep 15, 2024Updated last year
- A collection implementing core statistical concepts—probability, distributions, limit theorems, hypothesis testing, and regression—throug…☆78Mar 29, 2026Updated last month
- Belot card game engine written in C#☆61Nov 19, 2025Updated 6 months ago
- ICFP 2020 papers. Crowd-sourced☆90Jul 27, 2020Updated 5 years ago