☆64Jul 29, 2023Updated 3 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:
- 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 5 years ago
- Repository with examples for the "Data structures and algorithms" course given by me (2021-present), "Data structures 2" course and other…☆17Mar 24, 2026Updated 5 months ago
- Data structures and algorithms course, winter 2021/22☆17Jan 30, 2022Updated 4 years ago
- Reading lists on different topics.☆63Jun 3, 2026Updated 3 months ago
- ☆10Mar 24, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The slides and code for the 2020 Game Development Course in Sofia University.☆14May 27, 2023Updated 3 years ago
- This project demonstrates how CSS grid (with flexbox and float fallback) can be used to re-create the layout of an Instagram profile page…☆11Aug 31, 2018Updated 8 years ago
- libretro frontend without video, audio or input☆11Jan 3, 2025Updated last year
- vim plugin that support doing CRs and MRs in gitlab☆12May 30, 2020Updated 6 years ago
- ammonite vi mode ivy☆10Dec 1, 2023Updated 2 years ago
- ☆15Sep 27, 2022Updated 3 years ago
- DarkOrbit Bot Helper Tool☆11Aug 25, 2019Updated 7 years ago
- BBC Wildlife ontology and data☆17Apr 2, 2026Updated 5 months ago
- Валутни курсове на БНБ☆22Jul 20, 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.
- Lab material for the IR retrieval course at SU- FMI, 2018☆26Oct 16, 2021Updated 4 years ago
- ☆25Jul 8, 2026Updated last month
- A CLI tool that helps AI researchers share datasets responsibly.☆23Sep 15, 2025Updated 11 months ago
- A Singer.io tap for extracting data from the Xero API.☆22Jul 28, 2026Updated last month
- Multilingual syllable annotation pipeline component for spacy☆39Mar 8, 2023Updated 3 years ago
- списание "Вирус за Вас"☆41Aug 22, 2016Updated 10 years ago
- An open-source, cross-platform Bittorrent client, written in C++ and Qt☆23May 31, 2017Updated 9 years ago
- 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
- 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.
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Updated this week
- Vim plugin for adding header guards to C/C++ header files☆32Dec 2, 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
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated last year
- Cyberdolphin Suite of ComfyUI nodes for wiring up OpenAI and compatible LLM APIs.☆15Jul 31, 2024Updated 2 years ago
- LONGAGENT: Scaling Language Models to 128k Context through Multi-Agent Collaboration☆11Mar 11, 2024Updated 2 years ago
- Sharable Grakn knowledge graphs☆13Dec 28, 2022Updated 3 years ago
- A creative coding environment where Claude can express itself through generative art using p5.js. See tweet thread for examples: https://…☆13Feb 3, 2026Updated 7 months ago
- Yet Another (LLM) Web UI, made with Gemini☆12Dec 25, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Using Deep Learning and satellite imagery to detect Urban Heat Island (UHI) effects☆48Sep 24, 2024Updated last year
- ☆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 6 months ago
- Multi-person podcast audio to videocast☆10Sep 28, 2024Updated last year
- UC2 micrometer stage☆12Jul 5, 2021Updated 5 years ago
- A Julia package for Interpretable Compositional Networks (ICN), a variant of neural networks, allowing the user to get interpretable resu…☆13Jun 11, 2025Updated last year
- A sample Arduino sketch to drive one motor using the self balancing scooter motor controller - for 3.3V Arduino ONLY!☆38Jun 6, 2016Updated 10 years ago