Repository, containing the exercises I tought during the winter semester of prof. Tinko Tinchev's course on logic programming.
☆20May 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
Sorting:
- ☆62Jul 29, 2023Updated 2 years ago
- Код към лекциите и упражненията на курса по Структури от данни и програмиране на спец. Компютърни науки (1 и 2 поток)☆12Aug 29, 2023Updated 2 years ago
- Материали към курса по Обектно-ориентирано програмиране на спец. Компютърни науки, 2021/22 г.☆12Jul 4, 2022Updated 3 years ago
- Записките ми за упражнения по "Дизайн и анализ на алгоритми"☆13Feb 21, 2026Updated last week
- 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
- Lectures, seminars, tasks, exams and homework assignments (some with solutions), that I have written as a teaching assistant for math cou…☆46Aug 22, 2023Updated 2 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
- Data structures course 2024-2025 materials.☆50Jan 24, 2025Updated last year
- Course "Practical Introduction to Machine Learning with Python" at Sofia University☆25Jan 12, 2026Updated last month
- Data structures and algorithms course, winter 2021/22☆17Jan 30, 2022Updated 4 years ago
- A Repo with Materials and Tasks Solutions for the Course Operating Systems @ FMI☆11Jun 25, 2023Updated 2 years ago
- IPT Course Golang Programming examples and presentations☆12Jan 5, 2026Updated 2 months ago
- Zig implementation of the Ethereum protocol☆12Oct 18, 2024Updated last year
- PNM( Portable Anymap Format ) AKA Netpbm ( PBM, PGM and PPM ) Reader and Writer☆15Apr 5, 2023Updated 2 years ago
- Репо на курса "Програмиране с Python" във ФМИ, зимен сем. 23/24, за спец. КН, ИС, И☆14Jan 18, 2024Updated 2 years ago
- USB threat evaluation framework for Linux☆11Nov 2, 2021Updated 4 years ago
- Repository for the seminars for the "Data Structures" course @fmi, Sofia University.☆16Feb 9, 2022Updated 4 years ago
- Repository for the Object-oriented programming course for academic year 2020/21☆19Jul 6, 2021Updated 4 years ago
- Lab files of IBM's Qiskit Global Summer School 2020.☆17Sep 3, 2020Updated 5 years ago
- Learn C++ through a CPP-Pool by 42☆12Jan 2, 2022Updated 4 years ago
- A complete, open source, java solution for the control and coordination of Arduino boards☆22May 6, 2016Updated 9 years ago
- Repository with examples for the "Introduction To Programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆36Feb 6, 2026Updated 3 weeks ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆35Jun 9, 2021Updated 4 years ago
- Kotlin DSL for generating Gitlab CI yaml files☆39Nov 24, 2024Updated last year
- Samples in C++ for data structures☆32Dec 5, 2021Updated 4 years ago
- A command line parser for C++.☆38Jan 29, 2025Updated last year
- ☆43Jan 3, 2018Updated 8 years ago
- Custom Minecraft Objects created from MT scripts☆38Sep 15, 2024Updated last year
- The evolution of a complete, open source, java solution for the control and coordination of Arduino boards☆46Updated this week
- A collection implementing core statistical concepts—probability, distributions, limit theorems, hypothesis testing, and regression—throug…☆77Jan 15, 2026Updated last month
- ФМИ - Перлите на мъдростта☆72Feb 26, 2026Updated last week
- Simple OpenGL boilerplate code☆63Dec 29, 2023Updated 2 years ago
- spring-boot and angular 4 basic authentication with spring security☆81Oct 2, 2021Updated 4 years ago
- Higher Kinded Type machinery for Java☆82Feb 28, 2022Updated 4 years ago
- ICFP 2020 papers. Crowd-sourced☆90Jul 27, 2020Updated 5 years ago
- A simple CSV parsing library for groovy☆141Jun 12, 2025Updated 8 months ago
- Share ideas for new GitHub Apps built with Probot☆99Sep 5, 2022Updated 3 years ago
- Simple and flexible multi-index containers.☆134Jan 18, 2026Updated last month
- SoftUni Courses☆126Jun 11, 2018Updated 7 years ago