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).☆124May 12, 2019Updated 7 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 2 years ago
- Conference talk slides and code☆11Aug 6, 2020Updated 5 years ago
- MIPS32 emulation fuzzing☆13Nov 17, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Creates a Docker image with all the prerequisites needed to run the projects of the Udacity Robotics Nanodegree.☆13Feb 13, 2018Updated 8 years ago
- Kriss Kross Jump-themed SEGA Genesis ROM CTF Challenge (Because why not?)☆15May 5, 2019Updated 7 years ago
- ☆27Jan 3, 2017Updated 9 years ago
- [WebExtension] Kassi Share - Send YouTube videos to XBMC☆22Jun 20, 2022Updated 4 years ago
- ☆26Oct 19, 2018Updated 7 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Jun 27, 2018Updated 8 years ago
- UTF-7 encoder and decoder in ANSI C☆21Mar 3, 2022Updated 4 years ago
- This package contains a lightweight deductive database system in OCaml☆41Dec 15, 2021Updated 4 years ago
- MetaArcade is a configurable environment suite for meta-learning☆16Oct 19, 2022Updated 3 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.
- ☆21Mar 1, 2023Updated 3 years ago
- 海康威视网络录像机（NVR）和网络摄像机（IPC）的封装类☆17Jun 9, 2020Updated 6 years ago
- As-vanilla-as-possible AMD XNU kernel.☆32Dec 24, 2018Updated 7 years ago
- This repository has implementations of various alternatives to backpropagation for training neural networks.☆26Jan 10, 2025Updated last year
- jaxsnn is an event-based approach to machine-learning-inspired training and simulation of SNNs, including support for the BrainScaleS-2 n…☆30Updated this week
- Margin's Monorepo, available under AGPLv3☆98Jun 29, 2026Updated last week
- C memory allocator based on pools, thread safe.☆15Jan 5, 2014Updated 12 years ago
- Designs, infrastructure, and experiments around Race Logic☆26Jun 25, 2020Updated 6 years ago
- This repository serves as a hub for community-driven contributions, documentation, and project tracking of the OpenScope Predictive Proce…☆23Jun 30, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Sep 9, 2018Updated 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 9 years ago
- Model-based testing tool☆72Mar 12, 2025Updated last year
- Act like a man☆24Dec 26, 2021Updated 4 years ago
- 《Python官方手册解析：基于Python 3.11》☆27Jul 31, 2023Updated 2 years ago
- ☆31Oct 27, 2023Updated 2 years ago
- Learn TLA+ for free! No prior experience necessary!☆265Dec 9, 2025Updated 7 months ago
- A best-first-search theorem prover implemented in Isabelle☆37Jul 18, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Apr 23, 2023Updated 3 years ago
- Paper list about adopting machine learning techniques into data management tasks.☆37Jul 21, 2020Updated 5 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆78Nov 11, 2025Updated 7 months ago
- 一个基于Qt/QML的点餐系统☆26Jul 30, 2014Updated 11 years ago
- A Ghidra processor module for the Sega Saturn (SuperH SH-2)☆53Nov 2, 2019Updated 6 years ago
- class repo for cs140e, stanford winter quarter 2022☆52Mar 9, 2022Updated 4 years ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71May 28, 2019Updated 7 years ago