A repo for a Program and Data Representation university-level course
☆89Apr 12, 2026Updated last month
Alternatives and similar repositories for pdr
Users that are interested in pdr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Sep 27, 2018Updated 7 years ago
- Read-only mirror of https://xircles.codehaus.org/projects/jcsp/repos/primary/repo☆13Jun 30, 2014Updated 11 years ago
- OpenAMP fork of the kvmtool Project. For experimental work and upstream staging.☆10Apr 4, 2024Updated 2 years ago
- A Flexible Cache Architectural Simulator☆17Sep 16, 2025Updated 8 months ago
- Music stats and visualizations for groups of friends, powered by Last.fm.☆21Dec 15, 2025Updated 5 months ago
- 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.
- An alfred workflow for number system convert☆16Aug 21, 2013Updated 12 years ago
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆27Mar 8, 2026Updated 2 months ago
- A vscode extension to provide formatting from c_formatter_42☆13Feb 1, 2026Updated 3 months ago
- A self-led workshop to demonstrate the power of go templates and how much fun you can have while using them with OpenShift!☆12Sep 1, 2020Updated 5 years ago
- Gemini4IDA: Gemini for IDA disassembly and program analysis☆13Dec 29, 2023Updated 2 years ago
- ☆13Dec 7, 2019Updated 6 years ago
- Freiscale Semicomposer -- music composition without scales☆11Apr 3, 2023Updated 3 years ago
- [WIP] Convert Apple's Library.musicdb file to SQLite3 Database for explores data☆18Nov 30, 2023Updated 2 years ago
- Distributed Operating System on Exokernel (Unikernel) Concepts☆23Oct 7, 2023Updated 2 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.
- ☆12Jan 9, 2026Updated 4 months ago
- ☆39Oct 23, 2021Updated 4 years ago
- PoC for CVE-2019-10149, this vulnerability could be xploited betwen 4-87 to 4.91 version of Exim server.☆14Jun 18, 2019Updated 6 years ago
- Provides functions to open and unlink shared memory without relying on cgo.☆13Jan 6, 2023Updated 3 years ago
- Benchmark Intel TSX (Transactional Synchronization Extension) Hardware Transactional Memory on my sandbox☆24Jun 7, 2014Updated 11 years ago
- my beloved dotfiles☆20May 20, 2026Updated last week
- ☆13Nov 21, 2024Updated last year
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated 2 years ago
- Wireshark Lua plugin to generate pcapng test capture files☆11Aug 31, 2015Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Use Minecraft chests for Linux block storage. Submitted to SIGBOVIK 2020.☆13Jun 19, 2020Updated 5 years ago
- ☆10Jan 21, 2016Updated 10 years ago
- A basic git server with SSH transport protocol☆16Jul 17, 2018Updated 7 years ago
- On-disk hashtable using linear hashing☆10Nov 9, 2017Updated 8 years ago
- Rust crate providing Linux (>= 5.3) PID file descriptor support☆27Aug 30, 2023Updated 2 years ago
- A dynamically loadable virtual-machine based rootkit designed for Linux Kernel v5.13.0 using AMD-V (SVM).☆39Oct 26, 2025Updated 7 months ago
- Labeled dataset of similar and dissimilar medical question pairs created by Curai's doctors☆21Aug 24, 2020Updated 5 years ago
- ☆13May 11, 2024Updated 2 years ago
- Generate a graph by reading storyboard connections.☆11May 8, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A study of GC latencies☆13Jan 16, 2018Updated 8 years ago
- ☆19Aug 15, 2021Updated 4 years ago
- Batch PDF operations for Swift☆14Apr 20, 2026Updated last month
- Visualize existence of EOL at EOF ⏎☆10Mar 14, 2021Updated 5 years ago
- Go code samples and exercises for the book 'Explore Go: Cryptography'☆16Feb 8, 2024Updated 2 years ago
- pfcp decoder for wireshark update with Cisco CUPS specific IE☆14Mar 13, 2026Updated 2 months ago
- A lightweight xml parser written in pure swift☆11Aug 18, 2017Updated 8 years ago