A repo for a Program and Data Representation university-level course
☆122Mar 25, 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:
- A repo for a Program and Data Representation university-level course☆38Oct 3, 2018Updated 8 years ago
- Read-only mirror of https://xircles.codehaus.org/projects/jcsp/repos/primary/repo☆13Jun 30, 2014Updated 12 years ago
- ☆16Jul 30, 2022Updated 4 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Dec 2, 2015Updated 10 years ago
- Circular buffer implementation in Nim☆10Apr 21, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- unfinished port of https://learnopengl.com/ example code to CL☆12May 16, 2020Updated 6 years ago
- Ocaml SHA 1 and 2 family implementation using a really fast C implementation☆32Jan 23, 2023Updated 3 years ago
- A small dialect of Common Lisp based upon lisp500☆37Aug 22, 2014Updated 12 years ago
- Various Futhark benchmark programs☆48Updated this week
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Heterogeneously Integrated Visual-analytic Environment☆10Feb 11, 2019Updated 7 years ago
- Let's write an emulator from scratch! We're implementing a 286 in raw C.☆12Jul 21, 2017Updated 9 years ago
- An example of how to use the esp open SDK's I2C functions, which you can find in sdk/include/driver/i2c_master.h☆10Nov 30, 2016Updated 9 years ago
- ☆10Jan 19, 2019Updated 7 years ago
- AI Agents on 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.
- Evaluation boards for online-programmable (MTP) Padauk µC☆12Mar 11, 2024Updated 2 years ago
- Incremental STM8 header and SFR definition; proceed as I go; pull request welcome☆10Dec 2, 2018Updated 7 years ago
- Flamegraph-style visualization of sb-sprof results in CLIM☆17Apr 3, 2023Updated 3 years ago
- bindings for QT5 widgets☆10Mar 25, 2016Updated 10 years ago
- CascadER: Cross-Modal Cascading for Knowledge Graph Link Prediction (arXiv 22)☆14Jun 17, 2022Updated 4 years ago
- Head first C# "A Day at the Races" solution☆14Apr 22, 2010Updated 16 years ago
- A standalone (i.e. no-server) test and reference code for FIDO U2F tokens☆11Oct 30, 2016Updated 9 years ago
- Bioinformatic approach to identify functional transcription factor binding motifs☆11May 16, 2022Updated 4 years ago
- Tiny Embedded File System for Microcontrollers☆14Mar 23, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated last year
- AudioVisual library for Common Lisp☆16Dec 17, 2025Updated 10 months ago
- Assorted connector footprints☆12Dec 5, 2017Updated 8 years ago
- OpenEmu Core plugin with Nestopia to support NES emulation☆25Oct 22, 2025Updated 11 months ago
- A programming language targeting 8bit ATMEL AVR microcontrollers. Implemented using OCaml and Menhir.☆12Oct 15, 2016Updated 10 years ago
- Create, parse Apple Plists, plays nicely with Yojson☆10Jan 19, 2017Updated 9 years ago
- A framework for processing input like streams, pathnames and sequences☆18Sep 19, 2017Updated 9 years ago
- Integration of Clinical Embeddings with Neural ODEs☆11Jan 6, 2025Updated last year
- [ICML 2022] Learning Efficient and Robust Ordinary Differential \\ Equations via Invertible Neural Networks☆11Apr 14, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Plain C AVR library for ST7735 displays☆12Feb 13, 2021Updated 5 years ago
- NCT5104D GPIO Linux Driver☆13Jan 5, 2024Updated 2 years ago
- Rust wrapper for Obliv-C☆11Feb 14, 2019Updated 7 years ago
- Microcontroller Board Framework is a cross-platform framework for developing code on ARM Cortex-M and Microchip PIC32 controllers☆13Feb 3, 2021Updated 5 years ago
- The Data Broker (DBR) is a distributed, in-memory container of key-value stores enabling applications in a workflow to exchange data thro…☆19Jun 14, 2021Updated 5 years ago
- ☆12Dec 18, 2020Updated 5 years ago
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago