A repo for a Program and Data Representation university-level course
☆89Mar 25, 2026Updated this week
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 last year
- From-scratch kernel built to serve web pages☆28Sep 27, 2025Updated 6 months ago
- ☆11Jun 10, 2024Updated last year
- 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.
- Project has moved to https://git.fmsbw.de/groff-tools/☆12Oct 5, 2025Updated 5 months ago
- A commodity patched kernel and distribution of CP/M-86 1.1 that makes it a tiny bit more usable for retro computing☆17Jan 21, 2026Updated 2 months ago
- An alfred workflow for number system convert☆16Aug 21, 2013Updated 12 years ago
- making printf work for you☆16Nov 10, 2025Updated 4 months ago
- Kaitai Struct specifications for reMarkable binary .rm format☆14Sep 19, 2021Updated 4 years ago
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆26Mar 8, 2026Updated 3 weeks ago
- NOT ACTIVE -- get in touch with @bstarling on slack if you have ideas☆10Apr 27, 2017Updated 8 years 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
- ☆13Dec 7, 2019Updated 6 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.
- Distributed Operating System on Exokernel (Unikernel) Concepts☆23Oct 7, 2023Updated 2 years ago
- Provides functions to open and unlink shared memory without relying on cgo.☆12Jan 6, 2023Updated 3 years ago
- Benchmark Intel TSX (Transactional Synchronization Extension) Hardware Transactional Memory on my sandbox☆24Jun 7, 2014Updated 11 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- Wireshark Lua plugin to generate pcapng test capture files☆11Aug 31, 2015Updated 10 years ago
- Modular framework for TCP specification conformance testing☆19May 22, 2020Updated 5 years ago
- A Rust implementation of a constant time LFU cache☆14May 21, 2024Updated last year
- validate and normalize options☆21Oct 20, 2025Updated 5 months ago
- A basic git server with SSH transport protocol☆16Jul 17, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- On-disk hashtable using linear hashing☆10Nov 9, 2017Updated 8 years ago
- A dynamically loadable virtual-machine based rootkit designed for Linux Kernel v5.13.0 using AMD-V (SVM).☆36Oct 26, 2025Updated 5 months ago
- A study of GC latencies☆13Jan 16, 2018Updated 8 years ago
- Visualize existence of EOL at EOF ⏎☆10Mar 14, 2021Updated 5 years ago
- Deprecated: Use https://github.com/mistodon/edres instead.☆19Sep 6, 2024Updated last year
- Go code samples and exercises for the book 'Explore Go: Cryptography'☆14Feb 8, 2024Updated 2 years ago
- pfcp decoder for wireshark update with Cisco CUPS specific IE☆14Mar 13, 2026Updated 2 weeks ago
- Brainfuck compiler written in QBE IR.☆19May 2, 2025Updated 10 months ago
- Simple SNMP client like snmpwalk☆13Jul 18, 2018Updated 7 years ago
- 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.
- VS Code(Visual Studio Code) setting files☆19Oct 15, 2022Updated 3 years ago
- Lua bindings for Deno.☆14Jun 12, 2022Updated 3 years ago
- os kernel labs for operating systems course in Tsinghua University.☆21Feb 5, 2018Updated 8 years ago
- An example showing ALPN to allow multiplexing a single TLS listener/http.Server between different protocols☆15Aug 9, 2016Updated 9 years ago
- explore SSD internal☆15Apr 27, 2021Updated 4 years ago
- [unmaintained] erlang example using webmachine, hosted on heroku☆23Feb 22, 2015Updated 11 years ago
- Wireshark captures in Windows using the WLANPi as an adapter☆13Oct 15, 2019Updated 6 years ago