A repo for a Program and Data Representation university-level course
☆89Apr 12, 2026Updated 6 months ago
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:
- ☆12Oct 20, 2026Updated 2 weeks ago
- Read-only mirror of https://xircles.codehaus.org/projects/jcsp/repos/primary/repo☆13Jun 30, 2014Updated 12 years ago
- SQLite database file parser in pure JavaScript☆14Apr 28, 2022Updated 4 years ago
- Embedded, Static Wear-Leveling FTL Library for Microcontrollers☆17Aug 8, 2025Updated last year
- The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches, ACM CCS'24☆11Nov 11, 2024Updated 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.
- 帮你从微信mac客户端中抓取出所有表情☆10Sep 15, 2017Updated 9 years ago
- ☆24Apr 17, 2026Updated 6 months ago
- disk-oriented database labs and assignments☆10Sep 29, 2020Updated 6 years ago
- An alternative x86_64 JIT provider (based on asmjit) for PostgreSQL.☆10Mar 2, 2026Updated 8 months ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 7 months ago
- Some examples of how to do some core things in Git☆10Apr 12, 2019Updated 7 years ago
- fasttext 多标签文本分类☆13Sep 16, 2019Updated 7 years ago
- ☆11Jun 10, 2024Updated 2 years ago
- Wrappers to tmux commands, usefull for tmux based automation☆16Mar 11, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- HTML5 Application to manipulate a Coons Bicubic Surface in 3D using its corner points, U and W tangents and UW twists.☆11Aug 19, 2019Updated 7 years ago
- Pacman game implemented in Erlang☆12Jan 4, 2021Updated 5 years ago
- A C99 compiler for RISC-V.☆12May 15, 2024Updated 2 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- ☆10Apr 14, 2023Updated 3 years ago
- A chording keyboard tool for X☆11Jan 25, 2016Updated 10 years ago
- Примеры элементов фронтенда и бекенда компилятора на C++, Lemon и LLVM☆11Apr 24, 2017Updated 9 years ago
- A hobbyist UEFI x86-64/long-mode Operating System.☆11Apr 3, 2023Updated 3 years ago
- An implementation of Pratt Parsing (Vaughn Pratt 1973 "Top Down Operator Precedence") in C/C++☆13May 4, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- IRC with suckless Irc it (ii) and vim☆14Jun 17, 2025Updated last year
- ☆13Oct 9, 2026Updated 3 weeks ago
- Alfred 4 workflow for opening your GitHub Gists in your default browser.☆16Apr 4, 2022Updated 4 years ago
- Base types and interfaces for QuantumElectrodynamics.jl☆10Nov 26, 2025Updated 11 months ago
- This is the development Repository for CutLang☆12Oct 27, 2026Updated last week
- Browser classic custom FPS Game on Three and Vue.☆10Dec 24, 2022Updated 3 years ago
- RestFrames: particle physics event analysis library☆11Dec 17, 2020Updated 5 years ago
- Automatically exported from code.google.com/p/javascript-surface-plot☆10Dec 18, 2023Updated 2 years ago
- linux programming book examples☆17Apr 11, 2020Updated 6 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.
- A tool visualization of Tree(Query Plan) in Postgresql☆14May 15, 2023Updated 3 years ago
- PostgreSQL extension which visualizes a plan tree using Graphviz☆13Aug 11, 2020Updated 6 years ago
- ARMv7 Single-Cycle processor implementation in Logisim☆13Sep 20, 2022Updated 4 years ago
- JEDI-net: a jet identification algorithm based on interaction networks☆10Aug 16, 2020Updated 6 years ago
- This repository contains exercises and projects on computational science and AI for the CompSci program. Lecture notes at https://compph…☆18Oct 14, 2024Updated 2 years ago
- ☆13Sep 3, 2026Updated 2 months ago
- Introduction to machine learning☆14Updated this week