A repo for a Program and Data Representation university-level course
☆89Apr 12, 2026Updated 2 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:
- Read-only mirror of https://xircles.codehaus.org/projects/jcsp/repos/primary/repo☆13Jun 30, 2014Updated 12 years ago
- An open-sourced OpenQuant API implementation☆11Jun 15, 2014Updated 12 years ago
- An alternative x86_64 JIT provider (based on asmjit) for PostgreSQL.☆10Mar 2, 2026Updated 4 months ago
- disk-oriented database labs and assignments☆10Sep 29, 2020Updated 5 years ago
- kdb+中文教程☆12Sep 13, 2020Updated 5 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.
- A Flexible Cache Architectural Simulator☆17Sep 16, 2025Updated 9 months ago
- ☆18Oct 9, 2023Updated 2 years ago
- ☆11Jun 10, 2024Updated 2 years ago
- my machine learning notes☆16Dec 15, 2017Updated 8 years ago
- Package pptx creates and adds slides to powerpoint presentations☆19Mar 26, 2025Updated last year
- Chinese translation of Bjarne Stroustrup's HOPL4 paper☆12Nov 3, 2021Updated 4 years ago
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆27Mar 8, 2026Updated 4 months ago
- Javadoc inspired documentation generator for kdb+☆18Nov 14, 2018Updated 7 years ago
- Linux CLI tool to forward TCP connections from one network namespace to another network namespace☆16Feb 15, 2026Updated 4 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.
- Clinical Pipeline Engine using Apache cTAKES☆24Nov 9, 2015Updated 10 years ago
- 由社区维护的Wind量化接口☆20Dec 4, 2015Updated 10 years ago
- Python software framework for the ATLAS OpenData project☆11Nov 23, 2024Updated last year
- Course website for Advanced Operating Systems☆13Apr 8, 2022Updated 4 years ago
- LLVM Obfuscation Pass via Extracted Basic Blocks☆21Aug 10, 2019Updated 6 years ago
- ☆12Jun 10, 2026Updated 3 weeks ago
- HKEx Stock Exchange Matching Engine with KDB+ and Q☆27Feb 4, 2016Updated 10 years ago
- Fast Binary Translator for the Kernel☆28Sep 23, 2013Updated 12 years ago
- ☆13Nov 21, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated 2 years ago
- A tiny, modern kernel on real hardware☆23Dec 1, 2024Updated last year
- Rust wrapper of libtracecmd☆26Nov 2, 2023Updated 2 years ago
- Console command that generates a regexp from a list of strings.☆11Aug 28, 2025Updated 10 months ago
- Labeled dataset of similar and dissimilar medical question pairs created by Curai's doctors☆21Aug 24, 2020Updated 5 years ago
- A more Pragmatic Implementation of the Lock-free, Ordered, Linked List☆18Dec 20, 2020Updated 5 years ago
- ☆13Updated this week
- Generate a graph by reading storyboard connections.☆11May 8, 2020Updated 6 years ago
- The Q Phrasebook☆37Jan 23, 2024Updated 2 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.
- A TypeScript language-server shim that bridges Neovim's LSP client with tsserver.☆39Jan 6, 2026Updated 6 months ago
- Batch PDF operations for Swift☆14Jun 22, 2026Updated 2 weeks ago
- Go code samples and exercises for the book 'Explore Go: Cryptography'☆17Feb 8, 2024Updated 2 years ago
- A lightweight xml parser written in pure swift☆11Aug 18, 2017Updated 8 years ago
- 📖 Denops documentation☆11Aug 24, 2025Updated 10 months ago
- ☆80Jun 19, 2026Updated 2 weeks ago
- Compiler for PDP-11, written in Python☆25May 7, 2026Updated 2 months ago