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:
- A repo for UVa's CS 4630, Defense Against the Dark Arts course☆18Apr 24, 2026Updated last month
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- cs142, web application☆11Jun 24, 2017Updated 8 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 5 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.
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 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
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 11 months ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆25May 28, 2025Updated 11 months ago
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated 2 months ago
- ☆11Apr 14, 2022Updated 4 years ago
- ☆10Jan 19, 2019Updated 7 years ago
- Implementation of the unary leapfrog join for efficient intersection of sorted sets.☆10Dec 4, 2019Updated 6 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.
- Smalltalk System includes VM and Native system☆13Jul 13, 2020Updated 5 years ago
- All the files needed for the Terrapin Hackers Hacktorial on Behavioral Cloning for Self Driving Cars.☆13Jan 16, 2018Updated 8 years ago
- Device Library☆10Feb 1, 2016Updated 10 years ago
- A LaTeX package for commenting multi-author documents☆12Feb 12, 2015Updated 11 years ago
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 10 years ago
- A tiny 32 bit kernel written in ATS☆26May 4, 2014Updated 12 years ago
- ☆10Jun 13, 2022Updated 3 years ago
- A list of dead JIT compiler projects for CPython.☆18Sep 30, 2022Updated 3 years ago
- Probabilistic Solution of Differential Equations☆13Jun 19, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- Homework for the Big Data course at Jiuzhang, re-written in Python and Spark!☆12Apr 24, 2017Updated 9 years ago
- Integration of Clinical Embeddings with Neural ODEs☆12Jan 6, 2025Updated last year
- [ICML 2022] Learning Efficient and Robust Ordinary Differential \\ Equations via Invertible Neural Networks☆10Apr 14, 2023Updated 3 years ago
- Data and software for cross-device tracking data collection☆15Oct 8, 2023Updated 2 years ago
- Rust wrapper for Obliv-C☆11Feb 14, 2019Updated 7 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 library for benign effects in Haskell☆21May 23, 2025Updated last year
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 10 years ago
- An interactive tool for experimenting with LR(1) grammars☆20Feb 8, 2022Updated 4 years ago
- CLang Plugin for calculating AST hashes☆15Feb 11, 2019Updated 7 years ago
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- ☆16Jul 12, 2024Updated last year