☆19Jul 13, 2021Updated 5 years ago
Alternatives and similar repositories for VKR
Users that are interested in VKR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆42Feb 20, 2022Updated 4 years ago
- Digital Teaching Assistant web app.☆23Jun 4, 2026Updated 3 months ago
- Материалы к серии докладов о советской компиляторной школе☆13Aug 8, 2024Updated 2 years ago
- Парсинг расписания РТУ МИРЭА и API сервис☆15May 14, 2023Updated 3 years ago
- Utilities and eXtensionS (UXS) library is a collection of useful (template) classes and functions developed upon standard C++ library☆13Updated this 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.
- minimal lua/sdl platform☆23Updated this week
- Tiny parser combinators library written in Python.☆18May 20, 2025Updated last year
- Расписание преподавателей МИРЭА☆11Sep 3, 2026Updated 3 weeks ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 2 years ago
- Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА. Авторы: П. Н. Советов, А. В. Горчаков☆97Jan 23, 2026Updated 8 months ago
- A set of template services in different languages and frameworks. An abstract performance comparison based on the endpoint throughput. Th…☆16Oct 23, 2020Updated 5 years ago
- Instructions on obtaining stable benchmarks results on modern Linux distro☆27Aug 8, 2026Updated last month
- xv6 ported to x86_64.☆10Jan 9, 2021Updated 5 years ago
- minimal symbolic model checker & fuzzer☆115May 27, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Check various boost headers impact on the compilation time☆13Jul 11, 2021Updated 5 years ago
- ASP.NET 8 Opinionated template and startup-ready stack. ASP.NET 8 / C# + Docker + Zitadel + PostreSQL☆26Jun 25, 2024Updated 2 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆56Jan 25, 2025Updated last year
- Sydr benchmark applications☆17Jul 25, 2022Updated 4 years ago
- Console for Kamaji, the Kubernetes Control Plane Manager☆18Oct 30, 2025Updated 10 months ago
- implementation of Splay Tree☆14Jan 12, 2014Updated 12 years ago
- Tools for JNI code generation, working with Golang☆19Oct 24, 2023Updated 2 years ago
- ☆16Jul 28, 2021Updated 5 years ago
- Simple boilerplate Telegram Mini App with ReactJS, TypeScript and Vite.☆18Oct 4, 2023Updated 2 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.
- Simple demonstration of 2-3 tree data structure.☆12Feb 27, 2021Updated 5 years ago
- Experiments in reducing allocations in some components of ReactiveUI.☆10Mar 8, 2018Updated 8 years ago
- A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]☆10Sep 3, 2019Updated 7 years ago
- ☆12Dec 16, 2021Updated 4 years ago
- Generative json type provider☆11Apr 19, 2019Updated 7 years ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆26Nov 3, 2021Updated 4 years ago
- "Cheap" Diamond Rendering☆18Oct 8, 2018Updated 7 years ago
- Samples of sending and receiving packets with Scapy☆21Nov 25, 2023Updated 2 years ago
- ☆12Mar 5, 2021Updated 5 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.
- Payment channel contract implementation for TON Payment Network☆20Mar 2, 2026Updated 6 months ago
- A Web Assembly versions of the System.Reactive classes.☆17Sep 15, 2026Updated last week
- Refactor utilities for Java code☆13Nov 2, 2017Updated 8 years ago
- Proof-of-concept tool for checking signal handlers for reentrancy issues.☆21Jun 6, 2020Updated 6 years ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆15Feb 12, 2026Updated 7 months ago
- A bootable Pac-Man clone that fits inside the Master Boot Record☆10Jun 15, 2019Updated 7 years ago
- A bunch of useful scripts for toolchain/distro maintenance.☆21Jun 11, 2026Updated 3 months ago