A repo for a Program and Data Representation university-level course
☆89Apr 6, 2026Updated last 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:
- Wrap up Haskell tools☆15May 14, 2021Updated 4 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆26Nov 22, 2022Updated 3 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- ☆17Oct 9, 2023Updated 2 years ago
- An alfred workflow for number system convert☆16Aug 21, 2013Updated 12 years 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.
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆26Mar 8, 2026Updated last month
- ☆13Dec 7, 2019Updated 6 years ago
- Course website for Advanced Operating Systems☆13Apr 8, 2022Updated 4 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 10 years ago
- Distributed Operating System on Exokernel (Unikernel) Concepts☆23Oct 7, 2023Updated 2 years ago
- Code to export robinhood stock and options data to excel☆25May 22, 2023Updated 2 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆30Apr 3, 2026Updated 2 weeks ago
- Generic TCP Server for Erlang applications☆11Apr 7, 2015Updated 11 years ago
- CLI for scraping, querying and visualizing Prometheus metrics.☆17Updated this week
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Benchmark Intel TSX (Transactional Synchronization Extension) Hardware Transactional Memory on my sandbox☆24Jun 7, 2014Updated 11 years ago
- ☆13Nov 21, 2024Updated last year
- 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
- ☆14Dec 6, 2022Updated 3 years ago
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago
- A Rust implementation of a constant time LFU cache☆14May 21, 2024Updated last year
- On-disk hashtable using linear hashing☆10Nov 9, 2017Updated 8 years ago
- Console command that generates a regexp from a list of strings.☆11Aug 28, 2025Updated 7 months ago
- 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.
- A dynamically loadable virtual-machine based rootkit designed for Linux Kernel v5.13.0 using AMD-V (SVM).☆36Oct 26, 2025Updated 5 months ago
- Labeled dataset of similar and dissimilar medical question pairs created by Curai's doctors☆21Aug 24, 2020Updated 5 years ago
- High performance JSON middleware for Swift projects☆13Sep 27, 2025Updated 6 months ago
- Finch Workshop for FinagleCon☆13Apr 10, 2017Updated 9 years ago
- 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 last month
- A lightweight xml parser written in pure swift☆11Aug 18, 2017Updated 8 years ago
- Brainfuck compiler written in QBE IR.☆18May 2, 2025Updated 11 months ago
- Everything about the Ristretto Keyboard☆16Aug 28, 2021Updated 4 years ago
- 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.
- ☆18Mar 9, 2014Updated 12 years ago
- A Tool for Auto Switch The Network Between Ethernet And WiFi☆25Jul 11, 2024Updated last year
- Lua bindings for Deno.☆14Jun 12, 2022Updated 3 years ago
- Wireshark captures in Windows using the WLANPi as an adapter☆13Oct 15, 2019Updated 6 years ago
- All public report slides, articles and meeting minutes related to RustSBI☆29Dec 14, 2025Updated 4 months ago
- Advanced Integrated Circuits 2025☆14Nov 1, 2025Updated 5 months ago
- Report file status using the Linux statx(2) syscall☆13Feb 23, 2023Updated 3 years ago