Materials for the "Computer Architecture and Operating Systems" course taught at Faculty of Computer Science of Higher School of Economics
☆47Jun 20, 2026Updated last month
Alternatives and similar repositories for hse-acos-course
Users that are interested in hse-acos-course are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Materials for the "Principles of Static Program Analysis" course☆12Jul 17, 2025Updated last year
- ☆16Oct 16, 2025Updated 9 months ago
- Public-facing course info for program analysis materials.☆44Dec 4, 2025Updated 7 months ago
- ☆12Mar 21, 2025Updated last year
- Robotics course from girafe-ai team☆12Nov 20, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Yandex Practicum C++ course☆13Mar 2, 2022Updated 4 years ago
- Library for obtaining and analyzing the codegen of JIT for .NET. Can be used for both tests (assertions) and making reports (benchmarks).☆25Dec 4, 2022Updated 3 years ago
- LLVM-based ROP obfuscated compiler☆12Mar 24, 2022Updated 4 years ago
- This repository contains materials from calculus lectures for the 2023-2024 academic years (lecturer Ivan Erlikh)☆16Jun 18, 2024Updated 2 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆16Apr 19, 2021Updated 5 years ago
- ☆12Nov 26, 2023Updated 2 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- Lecture notes on Quantum Mechanics for DREC MIPT students☆18Jan 19, 2021Updated 5 years ago
- Simple python script that computes the arbitrage percentage between cryptocurrency exchanges☆14May 22, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- HSE FES Probability Theory Club repo☆22Mar 14, 2026Updated 4 months ago
- This repository contains different code examples.☆10Aug 24, 2025Updated 11 months ago
- Курс "Язык программирования Python" для 1 курса ФКН ВШЭ 2023-2024 год☆34Oct 20, 2023Updated 2 years ago
- Utilities and eXtensionS (UXS) library is a collection of useful (template) classes and functions developed upon standard C++ library☆12Updated this week
- Markdown Templates for Offensive Security OSCP, OSWE, OSCE, OSEE, OSWP exam report☆10Nov 28, 2024Updated last year
- Auto-Sync GitHub Repositories to Gitee☆26Feb 3, 2022Updated 4 years ago
- I am still working on it☆11Apr 30, 2020Updated 6 years ago
- repo about binary exploitation☆11Dec 5, 2023Updated 2 years ago
- 3-day dive into deep learning at csc☆24Feb 3, 2017Updated 9 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.
- Teaching and Learning Software Verification via SVF☆36Jul 1, 2026Updated 3 weeks ago
- Resources which may be useful for PhD candidates in computing-based fields.☆18Sep 4, 2025Updated 10 months ago
- A Static Analyzer for Java Powered by Machine Learning: Identifies Anti-Patterns Begging for Refactoring☆113Updated this week
- parser combinator and AST generator in c++17☆24Feb 16, 2023Updated 3 years ago
- TP-LINK TL-WN722N-V1 (Atheros AR9271) Kext (Driver/Controller/Kernel Extension) for macOS☆20Feb 11, 2024Updated 2 years ago
- Computer Vision course materials☆23Jun 10, 2021Updated 5 years ago
- a bunch of malware in all platform, some maybe not work, this code for some study case or for knowledge. for information about malware yo…☆14Jan 29, 2021Updated 5 years ago
- Материалы курса АКОС на ФПМИ☆344Sep 10, 2025Updated 10 months ago
- Optimization methods course at MIPT☆11Apr 24, 2018Updated 8 years ago
- AI Agents on 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.
- CTF writeups☆15Nov 25, 2025Updated 7 months ago
- Educational computer simulator on a mission to "superscale" the study of computer architecture fundamentals☆13Updated this week
- Implementation of 2019 Quant GANs: Deep Generation of Financial Time Series paper☆34Feb 13, 2024Updated 2 years ago
- data race detection☆14Jun 18, 2016Updated 10 years ago
- Deep Generative Models course, 2025☆10Jun 5, 2025Updated last year
- code and data for paper "Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning", which accepted in SANER …☆12May 8, 2022Updated 4 years ago
- Advanced Programming in the UNIX Environment at NCTU☆17Jul 13, 2019Updated 7 years ago