A repo for a Program and Data Representation university-level course
☆122Mar 25, 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:
- The Service Learning Practicum course (CS 4970/4971) at the University of Virginia☆19Apr 12, 2026Updated 2 months ago
- theCourseForum project☆24Jan 3, 2023Updated 3 years ago
- AWS Lambda function handler for converting LaTeX documents into PDFs☆11Nov 16, 2018Updated 7 years ago
- ☆20Apr 2, 2024Updated 2 years ago
- ☆19Jun 6, 2018Updated 8 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 tool for automated MITM attacks on SSL connections.☆22May 18, 2012Updated 14 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Dec 2, 2015Updated 10 years ago
- ☆11Dec 21, 2022Updated 3 years ago
- A python GTK implementation of textsecure.☆18Jun 30, 2014Updated 12 years ago
- Using logic programming (Clojure's core.logic) for test data manipulation and generation☆59Nov 23, 2012Updated 13 years ago
- f3d, a.k.a. FREEDIUS, a.k.a. the Cartographic Modeling Environment, a.k.a. the Image Understanding Environment. Lisp-based geospatial im…☆10Nov 18, 2017Updated 8 years ago
- A simple tool that converts MIDI files to QWERTY sheets for playing on your favorite VP platform.☆11Mar 3, 2026Updated 4 months ago
- Practical way to Learn Nim language☆12Nov 15, 2015Updated 10 years ago
- Shen on python.☆20Jul 27, 2014Updated 11 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.
- Ridiculously simple and compact personal URL shortener, powered by Bottle.☆12Dec 16, 2011Updated 14 years ago
- AudioVisual library for Common Lisp☆16Dec 17, 2025Updated 6 months ago
- A register-based virtual machine for a basic Lisp☆13Mar 22, 2012Updated 14 years ago
- A helper library for svg.js providing parser functions to adopt and import existing svg's☆17Feb 4, 2014Updated 12 years ago
- A small dialect of Common Lisp based upon lisp500☆37Aug 22, 2014Updated 11 years ago
- Audacity without any Sentry Telemetry or Crash Reporting, by the community.☆10Jul 6, 2021Updated 4 years ago
- A C implementation of Google's Open Location Code☆10Mar 23, 2018Updated 8 years ago
- An independent implementation of the axolotl protocol, loosely based on libaxolotl-java.☆10Aug 1, 2016Updated 9 years ago
- Spectral Normalization and Projection Discriminator☆18Nov 13, 2018Updated 7 years ago
- 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.
- Let's write an emulator from scratch! We're implementing a 286 in raw C.☆12Jul 21, 2017Updated 8 years ago
- StackOverflow careers site scraper☆13Aug 15, 2017Updated 8 years ago
- My little polygon for common lisp adventures (games and experiments)☆18Jul 12, 2017Updated 8 years ago
- Web debugging proxy☆21May 23, 2024Updated 2 years ago
- Faster, bit-reversed, FFT in CL☆27Feb 5, 2022Updated 4 years ago
- Here you can find the files of the article https://linuxacademy.com/howtoguides/posts/show/topic/13922-a-complete-aws-environment-with-te…☆32Apr 17, 2019Updated 7 years ago
- Lessons for learning React.☆15Dec 9, 2015Updated 10 years ago
- A basic JSON library in modern C++☆16Aug 23, 2021Updated 4 years ago
- A local-first, terminal-based password manager built for people who care about security, simplicity, and control☆40Dec 31, 2025Updated 6 months ago
- 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.
- USB-JTAG interface transferred from code.google.com/p/opendous-jtag☆14May 4, 2015Updated 11 years ago
- ☆11Feb 1, 2021Updated 5 years ago
- moderngpu algorithms for C++ shaders☆16Mar 3, 2021Updated 5 years ago
- Add unsubscribe link to your emails painlessly.☆24Oct 16, 2016Updated 9 years ago
- Tiny Embedded File System for Microcontrollers☆14Mar 23, 2017Updated 9 years ago
- 阿里云物联网设备端 Rust SDK / Alink 协议☆11Apr 23, 2023Updated 3 years ago
- Simple Flask E-Commerce (SFEC) developed with Flask Python microframework for academic purpose only☆15Dec 9, 2014Updated 11 years ago