☆62Jul 29, 2023Updated 2 years ago
Alternatives and similar repositories for Logic-programming
Users that are interested in Logic-programming are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository with examples for the " Design and analysis of algorithms" course given by me @ Faculty of Mathematics and Informatics, Sofia …☆15Mar 17, 2026Updated 3 weeks 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
- Repository for the Object-oriented programming course for academic year 2020/21☆18Jul 6, 2021Updated 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 4 years ago
- Материали към курса по Обектно-ориентирано програмиране на спец. Компютърни науки, 2021/22 г.☆12Jul 4, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆16Dec 17, 2025Updated 3 months ago
- Study notes for my state examination in Sofia University☆44Nov 4, 2024Updated last year
- Repository for the "Functional Programming" course at FMI of Sofia University for the academic year 2020-21☆26Feb 17, 2021Updated 5 years ago
- Reading lists on different topics.☆60Mar 29, 2026Updated 2 weeks ago
- Course "Practical Introduction to Machine Learning with Python" at Sofia University☆25Jan 12, 2026Updated 3 months ago
- Repository with examples for the " Data structures and algorithms" course given by me @ Faculty of Mathematics and Informatics, Sofia Uni…☆63Jan 5, 2026Updated 3 months ago
- IPT Course Golang Programming examples and presentations☆12Jan 5, 2026Updated 3 months 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
- Презентации и материали за курса по операционни системи в ТУЕС за учебната 2023-2024 година.☆11Oct 26, 2024Updated last year
- AI Agents on 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.
- Материали за курса ООП, Информатика, 2024☆16Jun 8, 2024Updated last year
- Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (1 поток) и спец. Софт…☆14Dec 3, 2021Updated 4 years ago
- ☆10Mar 24, 2023Updated 3 years ago
- The slides and code for the 2020 Game Development Course in Sofia University.☆15May 27, 2023Updated 2 years ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- Nim wrapper for librdkafka☆10Dec 28, 2023Updated 2 years ago
- Implementation of QUIC in D. See: https://github.com/dlang/projects/issues/84☆15Mar 16, 2023Updated 3 years ago
- An example of array passing in wasm and C☆16Jun 14, 2020Updated 5 years ago
- vim plugin that support doing CRs and MRs in gitlab☆12May 30, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Learn C++ through a CPP-Pool by 42☆12Jan 2, 2022Updated 4 years ago
- A repo contaning the learning materials for the course 'Game Engine architecture'☆355Nov 30, 2024Updated last year
- ☆19May 1, 2020Updated 5 years ago
- Материали по Увод в програмирането на ИС и Информатика от учебната 2022/2023 година☆20Feb 25, 2023Updated 3 years ago
- Full 6-month Java developer training☆121Nov 29, 2020Updated 5 years ago
- ☆106Mar 15, 2026Updated last month
- Python package to deal with PAN corpora and extract stylometric features from text documents.☆15Nov 11, 2022Updated 3 years ago
- ☆22Jun 4, 2025Updated 10 months ago
- BBC Wildlife ontology and data☆16Apr 2, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- FiveM Server in a Docker Container☆14Aug 22, 2024Updated last year
- a rectangle-based level editor with Squirrel scripting☆19Jun 25, 2022Updated 3 years ago
- Song Popularity Prediction Using Machine Learning Algorithms☆18May 29, 2021Updated 4 years ago
- Examples code for Coda Packs.☆34Mar 25, 2026Updated 3 weeks ago
- Materials for the Data Structures and Algorithms @FMI.☆40Jan 17, 2026Updated 2 months ago
- BLONDiE - Blockchain Ontology with Dynamic Extensibility☆23May 16, 2019Updated 6 years ago
- Systems programming and kernel development, with expertise in Unix-like operating systems, synchronization theory, and C language impleme…☆30Dec 9, 2022Updated 3 years ago