☆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:
- 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
- Repository for the Object-oriented programming course for academic year 2020/21☆18Jul 6, 2021Updated 4 years ago
- ☆16Dec 17, 2025Updated 3 months ago
- Reading lists on different topics.☆59Mar 2, 2026Updated 3 weeks ago
- Course "Practical Introduction to Machine Learning with Python" at Sofia University☆25Jan 12, 2026Updated 2 months ago
- 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.
- Repository with examples for the " Data structures and algorithms" course given by me @ Faculty of Mathematics and Informatics, Sofia Uni…☆63Jan 5, 2026Updated 2 months 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
- Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (1 поток) и спец. Софт…☆14Dec 3, 2021Updated 4 years ago
- Software Engineering @ FMI☆53Jul 27, 2024Updated last year
- Repository with examples for the "Introduction To Programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆71Jan 7, 2026Updated 2 months ago
- ☆11Jan 24, 2024Updated 2 years ago
- USB threat evaluation framework for Linux☆11Nov 2, 2021Updated 4 years ago
- A CLI tool that helps AI researchers share datasets responsibly.☆21Sep 15, 2025Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Demos and examples from course Introduction to Spring 5 provided by IPT - Intellectual Products & Technologies☆21Jan 9, 2026Updated 2 months ago
- ☆14Sep 27, 2022Updated 3 years ago
- BBC Wildlife ontology and data☆16Jan 19, 2022Updated 4 years ago
- Projects from my C++ networking tutorials☆19Dec 27, 2022Updated 3 years ago
- Repository for uploading exercises in the course of my education in the Faculty of Mathematics and Informatics, Sofia University.☆17Jan 19, 2024Updated 2 years ago
- Samples in C++ for object-oriented programming☆21Oct 1, 2020Updated 5 years ago
- Song Popularity Prediction Using Machine Learning Algorithms☆18May 29, 2021Updated 4 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
- ☆53Jun 26, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Interactive urban heat island explorer☆26Updated this week
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year
- Firefox and Chrome compatible extension that acts as annotation tool for websites (Named Entity Recognition)☆10Feb 17, 2019Updated 7 years ago
- A toolkit that provides a range of model diffing techniques including a UI to visualize them interactively.☆69Updated this week
- Minesweeper in Terminal☆58Jul 11, 2022Updated 3 years ago
- Implementation of the LDP module block in PyTorch and Zeta from the paper: "MobileVLM: A Fast, Strong and Open Vision Language Assistant …☆15Mar 11, 2024Updated 2 years ago
- EOSIO-Taurus - The Most Powerful Infrastructure for Decentralized Applications☆13Mar 29, 2024Updated last year
- ☆14Updated this week
- A creative coding environment where Claude can express itself through generative art using p5.js. See tweet thread for examples: https://…☆13Feb 3, 2026Updated last month
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆11Nov 16, 2019Updated 6 years ago
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated last month
- UC2 micrometer stage☆12Jul 5, 2021Updated 4 years ago
- Multi-person podcast audio to videocast☆10Sep 28, 2024Updated last year
- For ACL25 paper "WAFFLE: Multi-Modal Model for Automated Front-End Development" - by Shanchao Liang and Nan Jiang and Shangshu Qian and L…☆11May 28, 2025Updated 9 months ago
- A proof of concept / prototype alternative String implementation for Pharo using a variable length UTF8 encoded internal representation☆12May 7, 2022Updated 3 years ago
- implementation of https://arxiv.org/pdf/2312.09299☆21Jul 3, 2024Updated last year