markfloryan / pdrLinks
A repo for a Program and Data Representation university-level course
☆38Updated 6 years ago
Alternatives and similar repositories for pdr
Users that are interested in pdr are comparing it to the libraries listed below
Sorting:
- Short essays I've written☆78Updated last year
- A repo for a Program and Data Representation university-level course☆119Updated 2 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Examples of common systems programming optimizations☆51Updated 4 years ago
- CMSC 23300 - Networks and Distributed Systems☆66Updated 5 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- ☆42Updated 9 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- run z3 on iOS for some reason☆38Updated 3 years ago
- ☆26Updated 6 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 years ago
- Student-run wiki for students interested in computer science at Cornell University☆97Updated last year
- Public repository for Abstact Algebra Theory and Applications☆175Updated last month
- Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust☆22Updated 9 years ago
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated 9 months ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- An example of C++ Sudoku solver using MiniSat library.☆29Updated 4 years ago
- Solutions, discussions, and approaches to the exercises☆145Updated 6 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆219Updated 2 years ago
- Examples of literate programming by Knuth☆38Updated 3 months ago
- It's a poorly named metamath verifier☆110Updated 5 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- www.ops-class.org static website sources, including assignments, guides, slides, and course-specific materials.☆92Updated 8 years ago
- Code for http://oilshell.org/blog/☆50Updated last month
- Programming Language Explorations☆97Updated last week
- Alive: Automatic LLVM's Instcombine Verifier☆220Updated 2 years ago
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago