A collection of online resources that I found useful for Ph.D. students
☆18Apr 14, 2022Updated 4 years ago
Alternatives and similar repositories for phd-bookmark
Users that are interested in phd-bookmark are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust and C Benchmarks☆16Nov 21, 2024Updated last year
- Demonstrating the BadAss issue.☆18May 19, 2025Updated last year
- ☆18Aug 17, 2024Updated 2 years ago
- Anonymous ICLR Submission☆14Sep 25, 2019Updated 6 years ago
- IRPT: The Art, Science, and Engineering of Windows driver fuzzing☆21Mar 26, 2021Updated 5 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.
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- AFL-EDGE is a tool facilitating parallel fuzzing with mutually-exclusive task distribution☆17Jul 13, 2022Updated 4 years ago
- Template for NSF Proposals☆18Oct 28, 2025Updated 10 months ago
- ☆17Jun 2, 2021Updated 5 years ago
- in-toto Enhancements☆20Feb 17, 2025Updated last year
- ☆41May 31, 2024Updated 2 years ago
- ☆52Jun 30, 2025Updated last year
- Declarative Reactive Functional Architecture for iOS Application☆16Dec 7, 2020Updated 5 years ago
- A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel☆29Jun 24, 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.
- ☆13Dec 26, 2022Updated 3 years ago
- KoParadigm: Korean Inflectional Paradigm Generator☆60Nov 23, 2022Updated 3 years ago
- Tool to create Tock Application Bundles from ELF files.☆18Aug 12, 2026Updated last month
- Quarantine bypass and RCE vulnerability in Sketch (proof-of-concept)☆12Nov 22, 2021Updated 4 years ago
- Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19☆21Dec 12, 2022Updated 3 years ago
- ☆23Apr 7, 2022Updated 4 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆26Sep 5, 2021Updated 5 years ago
- Large scale unannotated Korean corpus for unsupervised tasks. (e.g. Language modeling)☆28Aug 11, 2019Updated 7 years ago
- POC for CVE-2021-1699☆16Mar 31, 2021Updated 5 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.
- Source code of ASAN--☆105Jun 18, 2024Updated 2 years ago
- Zephyr firmware for air quality sensor node☆19Apr 9, 2021Updated 5 years ago
- ☆13Jul 4, 2024Updated 2 years ago
- Alleycat plugin by devttys0, ported to IDA 8☆10Jan 15, 2025Updated last year
- 📄 Evidence Retrieval and Claim Verification for the FEVER shared task using Transformer Networks☆12Feb 21, 2020Updated 6 years ago
- llvm control flow graph☆26Sep 16, 2019Updated 7 years ago
- 2018 Advent Calendar browser pwnables☆14Feb 14, 2019Updated 7 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- A library for sound Digital Signal Processing, written in Rust☆10Oct 30, 2014Updated 11 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.
- fuzzing + concolic = fuzzolic :)☆131Nov 6, 2025Updated 10 months ago
- A distributed experimentation platform using kubernetes.☆13Apr 20, 2021Updated 5 years ago
- LAPACK source of choice☆14Oct 6, 2025Updated 11 months ago
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 6 years ago
- A simple abstraction for exception handling in Swift☆14Oct 28, 2016Updated 9 years ago
- A semi fast tool to bruteforce values of LDAP injections over HTTP.☆14Dec 4, 2013Updated 12 years ago
- A method for evaluating the high-level coherence of machine-generated texts. Identifies high-level coherence issues in transformer-based …☆12Mar 18, 2023Updated 3 years ago