A repo for a Program and Data Representation university-level course
☆89Apr 12, 2026Updated 3 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
- ☆11Jun 10, 2024Updated 2 years ago
- A Flexible Cache Architectural Simulator☆17Sep 16, 2025Updated 10 months ago
- An alternative x86_64 JIT provider (based on asmjit) for PostgreSQL.☆10Mar 2, 2026Updated 4 months ago
- Some examples of how to do some core things in Git☆10Apr 12, 2019Updated 7 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.
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- Project has moved to https://git.fmsbw.de/groff-tools/☆12Oct 5, 2025Updated 9 months ago
- A chording keyboard tool for X☆11Jan 25, 2016Updated 10 years ago
- Python software framework for the ATLAS OpenData project☆11Nov 23, 2024Updated last year
- This repository contains exercises and projects on computational science and AI for the CompSci program. Lecture notes at https://compph…☆18Oct 14, 2024Updated last year
- Object-oriented one-loop scalar Feynman integrals framework☆13Dec 20, 2024Updated last year
- ☆13Nov 21, 2024Updated last year
- Examples for using the ROOT Docker container.☆15Jan 25, 2018Updated 8 years ago
- Easy conversions between different styles of expressions☆14Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Parallel Programming in Python☆11Jul 21, 2026Updated last week
- MG5_aMC tutorial for the 1st Workshop on New Light Physics and Photon-beam Experiments☆11Jul 22, 2024Updated 2 years ago
- Show a styled markdown document from an URL☆14Feb 7, 2018Updated 8 years ago
- Label-based networking daemon☆23Jan 1, 2019Updated 7 years ago
- JEDI-net: a jet identification algorithm based on interaction networks☆10Aug 16, 2020Updated 5 years ago
- A collection of public codes for recasting long-lived particle searches☆10Jun 18, 2026Updated last month
- Monte Carlo Simulation propagating charged Leptons through Media as C++ Library☆40May 19, 2026Updated 2 months ago
- Tutorial on how to build a minimal software engineering agent that still scores high on SWE-bench verified☆19Feb 3, 2026Updated 5 months ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 5 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.
- Jet tagging in the Lund plane with graph networks☆10Dec 16, 2021Updated 4 years ago
- Tutorials for the Deep Learning in Particle Physics course, spring semester 2022, at the University of Heidelberg.☆14Nov 17, 2022Updated 3 years ago
- Exercises for the CERN Openlab GPU lecture☆12Jul 22, 2025Updated last year
- Distributed Operating System on Exokernel (Unikernel) Concepts☆24Oct 7, 2023Updated 2 years ago
- An opinionated introduction to using Docker as a software development tool☆12Oct 17, 2021Updated 4 years ago
- A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.☆15Oct 8, 2024Updated last year
- Fast Binary Translator for the Kernel☆28Sep 23, 2013Updated 12 years ago
- A litee.nvim backed plugin for saving important places in your code.☆28Sep 27, 2022Updated 3 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated 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.
- A commodity patched kernel and distribution of CP/M-86 1.1 that makes it a tiny bit more usable for retro computing☆20Jan 21, 2026Updated 6 months ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- Build minimal NetBSD bootable disk image☆18Jan 17, 2020Updated 6 years ago
- The MiBench testsuite, extended for use in general embedded environments☆15Oct 20, 2018Updated 7 years ago
- Repository hosting the KLFitter library – the Kinematic Likelihood Fitter.☆10Mar 4, 2026Updated 4 months ago
- Python implementation of the BumpHunter algorithm used by HEP community.☆18Jul 10, 2026Updated 2 weeks ago
- Analysis using reduced NanoAOD files created from CMS open data studying the decay of a Higgs boson into two tau leptons☆11Sep 3, 2024Updated last year