The research papers assigned during the Georgia Tech graduate computer science course CS6210 Advanced Operating Systems
☆28Jan 12, 2018Updated 8 years ago
Alternatives and similar repositories for CS6210_AdvOS_Papers
Users that are interested in CS6210_AdvOS_Papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- In this repository, I will publish my notes for GaTech's Advanced Operating Systems course (CS6210).☆121May 12, 2019Updated 6 years ago
- A Binary Ninja plugin providing a set of BinaryViews for loading Motorola SREC, Intel HEX, and TI-TXT "hex" files☆10Sep 5, 2024Updated last year
- Binary matching with Binary Ninja☆22Jul 8, 2024Updated last year
- Fuzz-introspector has moved (but is actively maintained) - please follow the project here https://github.com/ossf/fuzz-introspector☆14Dec 3, 2021Updated 4 years ago
- MIPS32 emulation fuzzing☆13Nov 17, 2020Updated 5 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Geeklet for Spotify player, shows track info and artwork☆12Dec 14, 2020Updated 5 years ago
- What makes Paxos tick?☆11Apr 16, 2025Updated 11 months ago
- Creates a Docker image with all the prerequisites needed to run the projects of the Udacity Robotics Nanodegree.☆13Feb 13, 2018Updated 8 years ago
- Docker container with squid proxy and openvpn client☆15Mar 25, 2018Updated 8 years ago
- Kriss Kross Jump-themed SEGA Genesis ROM CTF Challenge (Because why not?)☆15May 5, 2019Updated 6 years ago
- ☆27Jan 3, 2017Updated 9 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Jan 15, 2022Updated 4 years ago
- ☆27Oct 19, 2018Updated 7 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Jun 27, 2018Updated 7 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.
- 轻量级高性能C++网络引擎库，支持多种协议，可扩展。☆14Sep 26, 2020Updated 5 years ago
- ☆15Jul 12, 2022Updated 3 years ago
- xmservice☆10May 28, 2020Updated 5 years ago
- 海康威视网络录像机（NVR）和网络摄像机（IPC）的封装类☆16Jun 9, 2020Updated 5 years ago
- As-vanilla-as-possible AMD XNU kernel.☆31Dec 24, 2018Updated 7 years ago
- This repository has implementations of various alternatives to backpropagation for training neural networks.☆22Jan 10, 2025Updated last year
- Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC☆22Apr 11, 2019Updated 6 years ago
- Dynamic Markov Blanket Discovery☆16Mar 27, 2024Updated 2 years ago
- Eventuate chaos testing utilities☆28Sep 3, 2018Updated 7 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- jaxsnn is an event-based approach to machine-learning-inspired training and simulation of SNNs, including support for the BrainScaleS-2 n…☆31Feb 9, 2026Updated last month
- A simple implementation of a MessageBus.☆26Feb 16, 2024Updated 2 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Sep 9, 2018Updated 7 years ago
- Automatic Vulnerability Discovery☆38Mar 30, 2019Updated 7 years ago
- cs240lx class repo. except in very rare cases, cs140e is a hard requirement.☆27Jan 14, 2023Updated 3 years ago
- 带注释的leveldb v1.18 代码☆23Apr 13, 2017Updated 8 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Aug 27, 2018Updated 7 years ago
- OS primitives and shell for AssembyScript and WebAssembly☆47Jan 3, 2023Updated 3 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆56Mar 20, 2026Updated last week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- a few Ghidra scripts for dumping PCode data☆50May 21, 2019Updated 6 years ago
- Interface GDB-GEF with Binary Ninja☆58Mar 27, 2021Updated 5 years ago
- Parses and executes Runway models of distributed systems☆50Feb 12, 2022Updated 4 years ago
- A Rust crate for creating memory dumps of running processes on Linux☆68Mar 9, 2026Updated 3 weeks ago
- Act like a man☆24Dec 26, 2021Updated 4 years ago
- 《Python官方手册解析：基于Python 3.11》☆27Jul 31, 2023Updated 2 years ago
- A best-first-search theorem prover implemented in Isabelle☆36Jul 18, 2022Updated 3 years ago