A repo for a Program and Data Representation university-level course
☆121Dec 19, 2022Updated 3 years 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:
- Materials for this semesters Internet Scale Applications☆86Apr 20, 2020Updated 5 years ago
- A repo for a Program and Data Representation university-level course☆38Oct 3, 2018Updated 7 years ago
- Read-only mirror of https://xircles.codehaus.org/projects/jcsp/repos/primary/repo☆13Jun 30, 2014Updated 11 years ago
- LeetCode Problems' Solutions☆14Aug 26, 2018Updated 7 years ago
- ☆15Jul 30, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆20Apr 2, 2024Updated last year
- ☆19Jun 6, 2018Updated 7 years ago
- Safe asynchronous access to Diesel and the bb8 connection manager☆15Mar 13, 2026Updated last week
- Ridiculously simple and compact personal URL shortener, powered by Bottle.☆12Dec 16, 2011Updated 14 years ago
- A register-based virtual machine for a basic Lisp☆13Mar 22, 2012Updated 14 years ago
- Cheat Sheets and Other Interesting Documents☆21Feb 16, 2026Updated last month
- A tool to flash BL602 via JTAG + serial without pressing buttons / setting jumpers☆12Jun 3, 2022Updated 3 years ago
- Space Invaders clone made with Python and Pygame☆27Mar 9, 2017Updated 9 years ago
- A small dialect of Common Lisp based upon lisp500☆37Aug 22, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A C implementation of Google's Open Location Code☆10Mar 23, 2018Updated 8 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆25Mar 8, 2026Updated 2 weeks ago
- Evaluation boards for online-programmable (MTP) Padauk µC☆11Mar 11, 2024Updated 2 years ago
- Let's write an emulator from scratch! We're implementing a 286 in raw C.☆12Jul 21, 2017Updated 8 years ago
- ☆10Jan 19, 2019Updated 7 years ago
- Web debugging proxy☆21May 23, 2024Updated last year
- JavaScript service worker that provides support for HTTP delta caching☆11Jun 16, 2017Updated 8 years ago
- Faster, bit-reversed, FFT in CL☆27Feb 5, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Course website for Advanced Operating Systems☆13Apr 8, 2022Updated 3 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
- USB-JTAG interface transferred from code.google.com/p/opendous-jtag☆14May 4, 2015Updated 10 years ago
- STM32 RFID Reader / Writer☆16May 24, 2014Updated 11 years ago
- ☆10May 18, 2022Updated 3 years ago
- ASCII Emoticons for Slack!☆15Aug 6, 2015Updated 10 years ago
- ☆11Feb 1, 2021Updated 5 years ago
- STM32 NFC NXP MFRC630, CLRC663, ISO14443A, ISO14443A-4, ISO7816-4 APDU☆15Mar 23, 2023Updated 3 years 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.
- A programming language targeting 8bit ATMEL AVR microcontrollers. Implemented using OCaml and Menhir.☆12Oct 15, 2016Updated 9 years ago
- 阿里云物联网设备端 Rust SDK / Alink 协议☆11Apr 23, 2023Updated 2 years ago
- Simple Flask E-Commerce (SFEC) developed with Flask Python microframework for academic purpose only☆15Dec 9, 2014Updated 11 years ago
- A standalone (i.e. no-server) test and reference code for FIDO U2F tokens☆11Oct 30, 2016Updated 9 years ago
- Functional Programming in Python Meetup Code☆16Oct 18, 2016Updated 9 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated 11 months ago
- Assorted connector footprints☆12Dec 5, 2017Updated 8 years ago