Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome
☆22Mar 8, 2019Updated 6 years ago
Alternatives and similar repositories for AOSV
Users that are interested in AOSV are comparing it to the libraries listed below
Sorting:
- A Java library that provides an easy way to obtain infos from Sapienza University's Infostud☆13Apr 14, 2023Updated 2 years ago
- an input-sensitive profiler☆17Nov 30, 2019Updated 6 years ago
- 🏅 This repository contains all the problems I solved while training myself for programming competitions☆22Nov 18, 2018Updated 7 years ago
- Slides and stuffs of the meetings during the 2018☆13Jan 18, 2022Updated 4 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Jan 18, 2022Updated 4 years ago
- A spiffy theme for LaTex Beamer inspired by Rome☆12Sep 25, 2019Updated 6 years ago
- Slides and stuffs of the meetings during the 2019☆33Jan 18, 2022Updated 4 years ago
- Port of the classic first-person-shooter DOOM to Xbox for DEFCON 27 CTF☆26Aug 20, 2019Updated 6 years ago
- RopGun is a Linux implementation of a transparent ROP mitigation technique based on runtime detection of abnormal control transfers using…☆27Sep 10, 2019Updated 6 years ago
- The CRISPR static binary patcher☆37Nov 19, 2020Updated 5 years ago
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 6 years ago
- Notes of several master courses attended at sapienza engineering in computer science☆37Feb 18, 2021Updated 5 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- Course materials for the Data Science Specialization: https://www.coursera.org/specialization/jhudatascience/1☆10Jan 9, 2015Updated 11 years ago
- various collected notes, some copy/pasted from elsewhere, but mostly original☆10Jun 28, 2016Updated 9 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- ☆11Jun 19, 2018Updated 7 years ago
- Slides and Exercises for TensorFlow Study Group☆10May 9, 2017Updated 8 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 2 years ago
- Deep Learning Tutorial notes and code. See the wiki for more info.☆10Oct 29, 2015Updated 10 years ago
- ☆11Sep 28, 2016Updated 9 years ago
- Volumetric Development☆11Mar 19, 2024Updated last year
- Prototype for the a* pathfinding algorithm for Bevy game engine☆11Jan 24, 2021Updated 5 years ago
- A toy HTTP server used as a sandbox for learning c++11 features, kqueue & libuv non-blocking IO☆11Jul 5, 2016Updated 9 years ago
- .ipk package that turns your mint OpenWRT into a PirateBox☆31Mar 28, 2013Updated 12 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 2 years ago
- Developing with SailfishOS - a short introduction☆15Apr 5, 2015Updated 10 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- ☆28Apr 14, 2023Updated 2 years ago
- Engineering in Computer Science Master Degree Notes☆11Mar 4, 2023Updated 2 years ago
- My personal configs / dotfiles / rcfiles / etc.,☆17Mar 13, 2019Updated 6 years ago
- Mapping Echo Chambers In Large Networks☆11Nov 8, 2024Updated last year
- Notes on Kali Linux on Nethunter by hcs0☆12Oct 13, 2019Updated 6 years ago
- A renderer application which can, in combination with the sharebuffer module, display the contents drawn by SurfaceFlinger in an SDL wind…☆11Jul 19, 2016Updated 9 years ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Dec 14, 2021Updated 4 years ago
- Writeups for HITCON CTF 2020☆10Nov 29, 2020Updated 5 years ago
- Because sometimes you need to deal with byte structures in JS☆13Apr 11, 2016Updated 9 years ago
- Introduction to Python Programming Class☆11Oct 16, 2014Updated 11 years ago
- CyanogenMod Linux Kernel☆13Sep 25, 2009Updated 16 years ago