Materials for the "Computer Architecture and Operating Systems" course taught at Faculty of Computer Science of Higher School of Economics
☆45May 7, 2026Updated last week
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☆11Jul 17, 2025Updated 10 months ago
- ☆16Oct 16, 2025Updated 7 months ago
- Public-facing course info for program analysis materials.☆44Dec 4, 2025Updated 5 months ago
- Applied Static Analysis☆11Aug 26, 2019Updated 6 years ago
- ☆12Mar 21, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The main repository for SANER 2021 paper "A Multi-Metric Ranking Approach for Library Migration Recommendations" and ICSE 2021 Tool Demo …☆17Apr 19, 2024Updated 2 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- LLVM-based ROP obfuscated compiler☆12Mar 24, 2022Updated 4 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Code and notes regarding Malware Development☆11Oct 30, 2022Updated 3 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆16Apr 19, 2021Updated 5 years ago
- Lecture notes on Quantum Mechanics for DREC MIPT students☆18Jan 19, 2021Updated 5 years ago
- Markdown Templates for Offensive Security OSCP, OSWE, OSCE, OSEE, OSWP exam report☆10Nov 28, 2024Updated last year
- 3-day dive into deep learning at csc☆24Feb 3, 2017Updated 9 years ago
- 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.
- ☆12Nov 26, 2023Updated 2 years ago
- Teaching and Learning Software Verification via SVF☆36May 2, 2026Updated 2 weeks ago
- Material from ICS Village talk at DEFCON 25☆13Jul 30, 2018Updated 7 years ago
- HSE FES Probability Theory Club repo☆22Mar 14, 2026Updated 2 months ago
- This repository contains different code examples.☆10Aug 24, 2025Updated 8 months ago
- anything I find interesting regarding reverse engineering☆12May 7, 2017Updated 9 years ago
- A Static Analyzer for Java Powered by Machine Learning: Identifies Anti-Patterns Begging for Refactoring☆98Updated this week
- Computer Vision course materials☆23Jun 10, 2021Updated 4 years ago
- ☆16Jun 23, 2024Updated last year
- 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.
- Additional material for the malware variants identification paper☆10Sep 6, 2019Updated 6 years ago
- My personal tech blog☆17Dec 13, 2024Updated last year
- An ongoing & curated collection of awesome vulnerability scanning software, libraries and frameworks, best guidelines, technical resource…☆14Feb 7, 2022Updated 4 years ago
- Utilities and eXtensionS (UXS) library is a collection of useful (template) classes and functions developed upon standard C++ library☆11Apr 30, 2026Updated 2 weeks ago
- CTF writeups☆15Nov 25, 2025Updated 5 months ago
- parser combinator and AST generator in c++17☆24Feb 16, 2023Updated 3 years ago
- Educational computer simulator on a mission to "superscale" the study of computer architecture fundamentals☆13May 12, 2026Updated last week
- Материалы курса АКОС на ФПМИ☆341Sep 10, 2025Updated 8 months ago
- study the kernel data structures and its API☆14May 10, 2022Updated 4 years ago
- 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.
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- Experiments with Linux kernel modules☆12Apr 20, 2026Updated last month
- A collection of solutions and other inspiring material to Dennis Andriesse's 'Practical Binary Analysis' book.☆33Sep 16, 2021Updated 4 years ago
- Companion Repository for the Lecture Slides for the Clang Libraries☆138Mar 15, 2026Updated 2 months ago
- Implementation of 2019 Quant GANs: Deep Generation of Financial Time Series paper☆33Feb 13, 2024Updated 2 years ago
- Advanced Programming in the UNIX Environment at NCTU☆17Jul 13, 2019Updated 6 years ago
- Easy way to automate the complex task☆15Jul 15, 2022Updated 3 years ago