A repo for a Program and Data Representation university-level course
☆38Oct 3, 2018Updated 7 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:
- OAuth2 Demo☆12May 7, 2018Updated 8 years ago
- theCourseForum project☆24Jan 3, 2023Updated 3 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Cryptographic primitives for Composable Event Streaming Representation (CESR)☆19Jun 27, 2024Updated 2 years ago
- TopicDeck is a column based topical news reader☆12Mar 4, 2023Updated 3 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 6 years ago
- 'Assemblers And Loaders' book exercises☆10Dec 14, 2021Updated 4 years ago
- A command-line utility for generating optimum polygon label coordinates from GeoJSON☆12Mar 20, 2023Updated 3 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆46Jan 25, 2026Updated 7 months ago
- software archaeology of reflective towers of interpreters☆18Jun 6, 2025Updated last year
- CocoaPods plugin for trunk☆17Oct 26, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Jan 19, 2019Updated 7 years ago
- My personal standard for how to set up a Javascript workspace☆16Jul 16, 2023Updated 3 years ago
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 10 years ago
- ☆11Sep 1, 2023Updated 3 years ago
- Codes generating animation using Manim (3B1B)☆12Aug 8, 2021Updated 5 years ago
- Website contents for nommu.org☆10Sep 30, 2020Updated 5 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated 2 years ago
- Bioinformatic approach to identify functional transcription factor binding motifs☆11May 16, 2022Updated 4 years ago
- A script to generate a dot language graph for a B+ tree☆13Nov 18, 2015Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆10Jun 13, 2022Updated 4 years ago
- nv2D: Efficient immediate-mode style 2D rendering using OpenGL 4.x core vertex buffer objects☆15Oct 3, 2013Updated 12 years ago
- text-mode disk usage visualization utility☆15Jul 20, 2025Updated last year
- Extensible Platform for Malware Analysis☆17Jan 14, 2021Updated 5 years ago
- ☆24May 12, 2022Updated 4 years ago
- Swift file descriptor / socket library☆33Jan 14, 2021Updated 5 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
- A repo for code and captions for YouTube video tutorials. . .☆17Sep 30, 2019Updated 6 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.
- ☆20Sep 25, 2017Updated 8 years ago
- Github actions to build rust projects☆20Mar 1, 2019Updated 7 years ago
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 6 years ago
- ☆19Jul 12, 2024Updated 2 years ago
- y.js (https://github.com/yjs/yjs) Dart port, a CRDT implementation. CRDTs allow for local, offline editing and synchronization of shared …☆12Dec 18, 2022Updated 3 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago