A repo for a Program and Data Representation university-level course
☆122Mar 25, 2026Updated 2 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 7 years ago
- Cities that get fancy!☆18Jan 7, 2024Updated 2 years ago
- Experimental standalone math and stuff. Automation category: Terasology Library☆13Mar 22, 2020Updated 6 years ago
- ☆19Jun 6, 2018Updated 7 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Dec 2, 2015Updated 10 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.
- INACTIVE - http://mzl.la/ghe-archive - Demos for new features in Firefox DevTools☆10Dec 18, 2019Updated 6 years ago
- Circular buffer implementation in Nim☆10Apr 21, 2023Updated 3 years ago
- cs142, web application☆11Jun 24, 2017Updated 8 years ago
- Using logic programming (Clojure's core.logic) for test data manipulation and generation☆59Nov 23, 2012Updated 13 years ago
- Shen on python.☆20Jul 27, 2014Updated 11 years ago
- AudioVisual library for Common Lisp☆16Dec 17, 2025Updated 5 months 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 3 months ago
- A tool to flash BL602 via JTAG + serial without pressing buttons / setting jumpers☆12Jun 3, 2022Updated 3 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 small dialect of Common Lisp based upon lisp500☆37Aug 22, 2014Updated 11 years 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
- StackOverflow careers site scraper☆13Aug 15, 2017Updated 8 years ago
- My little polygon for common lisp adventures (games and experiments)☆18Jul 12, 2017Updated 8 years ago
- Web debugging proxy☆21May 23, 2024Updated 2 years ago
- Flamegraph-style visualization of sb-sprof results in CLIM☆17Apr 3, 2023Updated 3 years ago
- Sick of sed? Prosaic about perl? Use temple to substitute your variables!☆14Apr 6, 2026Updated last month
- Lessons for learning React.☆15Dec 9, 2015Updated 10 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.
- Convert matching double-quotes to single-quotes: I "love" unicorns → I 'love' unicorns☆27Apr 18, 2021Updated 5 years ago
- STM32 RFID Reader / Writer☆16May 24, 2014Updated 12 years ago
- bindings for QT5 widgets☆10Mar 25, 2016Updated 10 years ago
- ASCII Emoticons for Slack!☆15Aug 6, 2015Updated 10 years ago
- cl-cffi-gtk4 is a Lisp binding to the GTK4 library☆20Mar 25, 2026Updated 2 months ago
- parsley is dead, long live parsnip!☆17Sep 4, 2014Updated 11 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- Simple Flask E-Commerce (SFEC) developed with Flask Python microframework for academic purpose only☆15Dec 9, 2014Updated 11 years ago
- Probabilistic Solution of Differential Equations☆13Jun 19, 2022Updated 3 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.
- ☆19Aug 29, 2019Updated 6 years ago
- Assorted connector footprints☆12Dec 5, 2017Updated 8 years ago
- OpenEmu Core plugin with Nestopia to support NES emulation☆25Oct 22, 2025Updated 7 months ago
- A framework for processing input like streams, pathnames and sequences☆18Sep 19, 2017Updated 8 years ago
- Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.☆17Jul 25, 2023Updated 2 years ago
- ☆20Dec 21, 2015Updated 10 years ago
- Create, parse Apple Plists, plays nicely with Yojson☆10Jan 19, 2017Updated 9 years ago