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:
- Materials for this semesters Internet Scale Applications☆86Apr 20, 2020Updated 5 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- A very simple prototype for a basic OpenCL host and kernel code☆13Mar 28, 2017Updated 8 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 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.
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- 'Assemblers And Loaders' book exercises☆10Dec 14, 2021Updated 4 years ago
- binary->LLVM->circuits☆19Feb 26, 2024Updated 2 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 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 2 months ago
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 3 years ago
- Enforces "peer" npm dependencies in Meteor 2.8+ Atmosphere packages.☆11Nov 18, 2025Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated 2 weeks ago
- ☆10Jan 19, 2019Updated 7 years ago
- A LaTeX package for commenting multi-author documents☆12Feb 12, 2015Updated 11 years ago
- Miscellaneous Racket utilities lacking a better home☆15Mar 13, 2026Updated last week
- ☆14Apr 5, 2023Updated 2 years ago
- My personal standard for how to set up a Javascript workspace☆15Jul 16, 2023Updated 2 years ago
- A language and tool for relational models☆12Jul 20, 2017Updated 8 years ago
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 10 years ago
- CascadER: Cross-Modal Cascading for Knowledge Graph Link Prediction (arXiv 22)☆13Jun 17, 2022Updated 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.
- ☆11Sep 1, 2023Updated 2 years ago
- Codes generating animation using Manim (3B1B)☆12Aug 8, 2021Updated 4 years ago
- Example code for blog post☆31Sep 7, 2013Updated 12 years ago
- A layout renderer for Kadira Flow-Router that uses VelocityJS powered transitions☆12Jan 5, 2016Updated 10 years ago
- NSStatusBar Timer written in MacRuby & HotCocoa☆56Jul 26, 2014Updated 11 years ago
- Yet Another Meteor UP☆10Jan 21, 2026Updated 2 months ago
- A list of bugs found by SQLancer☆17Jan 30, 2024Updated 2 years ago
- Generate a custom generator for Sails.js☆18Oct 16, 2016Updated 9 years ago
- Node.js server that responds to github webhook post-receive events for easy push-to-deploy☆12Dec 28, 2020Updated 5 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.
- A tiny 32 bit kernel written in ATS☆26May 4, 2014Updated 11 years ago
- Probabilistic Solution of Differential Equations☆13Jun 19, 2022Updated 3 years ago
- An example of a nakama server using 2022's bleeding edge TypeScript tooling☆15Dec 26, 2021Updated 4 years ago
- Extensible Platform for Malware Analysis☆17Jan 14, 2021Updated 5 years ago
- A TypeScript implementation of High-Performance Polynomial Root Finding for Graphics (Yuksel 2022)☆17Jul 22, 2022Updated 3 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Jun 4, 2022Updated 3 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago