☆63Jul 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
- 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
- Код към лекциите и упражненията на курса по Обектно-ориентирано програмиране на спец. Информатика, 2019/20 г.☆16Mar 17, 2024Updated 2 years ago
- ☆19Apr 30, 2026Updated 3 weeks ago
- Reading lists on different topics.☆61May 18, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Материали към курса "Съвременни Java технологии"☆301Feb 1, 2026Updated 3 months ago
- ☆10Mar 24, 2023Updated 3 years ago
- ☆11Jan 18, 2024Updated 2 years ago
- Материали към курса по Увод в програмирането на спец. Компютърни науки, 2021/22 г.☆11Jan 22, 2022Updated 4 years ago
- Repository with examples for the "Introduction To Programming" course given by me @ Faculty of Mathematics and Informatics, Sofia Univers…☆73Jan 7, 2026Updated 4 months ago
- Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема …☆15Feb 14, 2024Updated 2 years ago
- vim plugin that support doing CRs and MRs in gitlab☆12May 30, 2020Updated 5 years ago
- Demos and examples from course Introduction to Spring 5 provided by IPT - Intellectual Products & Technologies☆21Jan 9, 2026Updated 4 months ago
- ☆106Mar 15, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Python package to deal with PAN corpora and extract stylometric features from text documents.☆15Nov 11, 2022Updated 3 years ago
- a rectangle-based level editor with Squirrel scripting☆19Jun 25, 2022Updated 3 years ago
- Design files for my keyboards☆20Jan 24, 2025Updated last year
- Advanced algorithms and data structures for competitive programming and computational research: LA/LCA, RMQ, perfect hashing, vEB/x-fast …☆25Oct 8, 2024Updated last year
- DarkOrbit Bot Helper Tool☆12Aug 25, 2019Updated 6 years ago
- Dark Orbit Server Files Open Source☆21May 10, 2013Updated 13 years ago
- ☆10Jan 6, 2023Updated 3 years ago
- Sample code showing how to integrate subscription in apollo graphql server using nestJS☆12Jul 26, 2021Updated 4 years ago
- Record using your UI5 app and export to wdi5 + OPA5!☆14Mar 28, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Frontend of abap2UI5 (optional)☆13Updated this week
- Семинарни упражнения по Структури от данни и алгоритми на 4 група, Софтуерно инженерство.☆26Oct 14, 2025Updated 7 months ago
- Create a UI5 app with Typescript☆11Feb 19, 2020Updated 6 years ago
- A sample application using UI5 Web Components and implementing framework-agnostic data binding capabilities.☆16Apr 7, 2025Updated last year
- The PDFViewer is a custom UI5 control that enables you to view PDF's by using a base64 data uri instead of a file URL☆10May 3, 2023Updated 3 years ago
- Sample applications and information to complement ongoing UI5 Evolution activities (such as substantially improving the UI5 framework by …☆14Mar 7, 2025Updated last year
- One-way sync from SAP to Git repo for ABAP objects allowing multiple systems in branches and multiple packages in one branch, supporting …☆17Oct 27, 2023Updated 2 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
- An event queue that enables secure multi-tenant enabled transactional processing of asynchronous events, featuring instant event processi…☆19May 11, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An open-source, cross-platform Bittorrent client, written in C++ and Qt☆23May 31, 2017Updated 8 years ago
- Firefox and Chrome compatible extension that acts as annotation tool for websites (Named Entity Recognition)☆10Feb 17, 2019Updated 7 years ago
- An ontology modeling classes and relationships describing deep learning networks, their component layers and activation functions, machin…☆48Nov 12, 2024Updated last year
- 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
- Object oriented programming course materials.☆50May 30, 2025Updated 11 months ago
- Vim plugin for adding header guards to C/C++ header files☆32Dec 2, 2022Updated 3 years ago
- Collection of sample code to demonstrate ABAP for standard on-premise development.☆20Mar 13, 2025Updated last year