Self-implemented persistent RAG-storage.
☆14Jun 27, 2025Updated 8 months ago
Alternatives and similar repositories for DaedalusDB
Users that are interested in DaedalusDB are comparing it to the libraries listed below
Sorting:
- ☆11Jun 8, 2025Updated 8 months ago
- Примеры программирования стенда-конструктора SDK-1.1M на базе микроконтроллера STM32☆18Oct 31, 2025Updated 4 months ago
- ☆23Updated this week
- Clang plugin with several static analysis checks☆28Jul 16, 2025Updated 7 months ago
- Платформа для быстрого оформления списков литературы и поиска источников для научных и учебных работ.☆10Oct 4, 2023Updated 2 years ago
- Lecture meterials☆10Sep 27, 2019Updated 6 years ago
- Hi(experimental language) lang interpreter + repl☆12Aug 3, 2025Updated 7 months ago
- Monorepository with DeLab team smart contracts☆11Sep 22, 2023Updated 2 years ago
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated last year
- В практике должен доказать человек истинность, т. е. действительность и мощь своего мышления. // Карл Маркс "Тезисы о Фейербахе"☆10Updated this week
- Tiling WM written in Perl to meet all Zhmylev's needs☆14Updated this week
- Библиотека для анализа городских событий☆18Nov 6, 2025Updated 3 months ago
- Converts ANTLR grammar .g4 files into EBNF for naive-ebnf LaTeX package; also converts to PDF later on☆11Feb 2, 2026Updated last month
- WIP: Decentralized Exchange (OpenDeFi Library)☆23Aug 18, 2025Updated 6 months ago
- Материалы к серии докладов о советской компиляторной школе☆12Aug 8, 2024Updated last year
- Full-Stack Spring Boot Kotlin js Project☆12Sep 22, 2021Updated 4 years ago
- Guidelines to homework testing in IDEA☆10Mar 21, 2021Updated 4 years ago
- A REPL for a toy language called Hi, developed as a homework for the functional programming course at ITMO University.☆11Jan 31, 2022Updated 4 years ago
- The auto solution checking system for YSDA; server, storing grades and managing deadlines☆68Updated this week
- Proof of concept Yolo object detection with Kotlin☆11Feb 6, 2019Updated 7 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- ☆12Mar 9, 2025Updated 11 months ago
- This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atom☆19Updated this week
- ☆12Feb 1, 2022Updated 4 years ago
- Homework and labs completed as part of education in ITMO university.☆12Mar 20, 2023Updated 2 years ago
- ☆10Mar 29, 2021Updated 4 years ago
- ☆17Jun 8, 2024Updated last year
- An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REP…☆22Updated this week
- A Java & Kotlin library adapting slf4j for reactive applications☆17Aug 12, 2024Updated last year
- ☆17Dec 27, 2023Updated 2 years ago
- HUAWEI Health Kit Extended Capabilities Client Sample Code☆18Apr 11, 2023Updated 2 years ago
- LL(1) parser generator☆14Jul 12, 2018Updated 7 years ago
- Kotlin library that simplifies working with Telegram's Type Language (TL) by providing seamless integration with kotlinx.serialization. I…☆16Oct 12, 2023Updated 2 years ago
- Полезные виджеты и инструменты для студентов ИТМО на Android☆40Jan 27, 2026Updated last month
- Yet Another Implementation of Game of Life☆17Jan 25, 2024Updated 2 years ago
- GitHub action for building LaTeX documents via latexmk☆17Updated this week
- ☆25Jan 12, 2026Updated last month
- Universal Symbolic Virtual Machine☆28Dec 10, 2025Updated 2 months ago
- clojure ebook here!☆18Jun 1, 2016Updated 9 years ago