simo1209
Follow
Stars
A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory
Repository, containing the exercises I tought during the winter semester of prof. Tinko Tinchev's course on logic programming.
the AI-native open-source embedding database
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
Curated list of project-based tutorials
Simple tool for parsing Wordpress posts exports into organized markdown files.
Презентации и материали за курса по операционни системи в ТУЕС за учебната 2023-2024 година.
Dark color scheme for Vim and vim-airline, inspired by Dark+ in Visual Studio Code
The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …
Материали към курса по Обектно-ориентирано програмиране на спец. Компютърни науки, 2021/22 г.
Jargon from the functional programming world in simple terms!
Semester project #1 for the object oriented programming (OOP) course in Faculty of mathematics and informatics (FMI) Computer science's first curriculum.
Moodle Choice Auto-filler (MCHAF) is a tool for automatic Moodle single-choice survey filling. It can be used to automatically fill/notify you about newly created course forms, such as test signups.
angel-penchev / bbb-download
Forked from zakcali/bbb-downloadDownloader for bigbluebutton presentations
Материали към курса по Увод в програмирането на спец. Компютърни науки, 2021/22 г.
Repository for the 'Introduction to programming in C++' practicum for the specialty Computer science at FMI of Sofia University for the academic year 2021-22
A full-stack open-source autonomous drone delivery system.
Traffic Brain is an open-source traffic light embedded system taking use of a machine learning classification model for decision making automation.
Applied Computational Genomics Course at UU: Spring 2020