ubccpsc / 507Links
Main course repository for CPSC 507.
☆13Updated 3 weeks ago
Alternatives and similar repositories for 507
Users that are interested in 507 are comparing it to the libraries listed below
Sorting:
- Student-run wiki for students interested in computer science at Cornell University☆97Updated last year
- cpsc490 - A seminar on programming practice; workshops and materials☆10Updated 7 years ago
- Past Exams for UC Berkeley EECS Courses. PR more if you have!☆133Updated 9 years ago
- An editor for deterministic finite automata☆50Updated 4 years ago
- ☆10Updated 10 years ago
- Program synthesis class taught by Loris D'Antoni☆36Updated 2 weeks ago
- ☆79Updated 7 years ago
- A list of application templates useful for hackathons and anything else☆37Updated 9 years ago
- Solutions for UBC PHIL220A distance-ed online assignments; PR's welcome!☆12Updated 11 years ago
- renaissance is a Scala program that allows people to control their computers by playing musical notes.☆27Updated 8 years ago
- The extensive approach to SLE bibliography☆30Updated 5 years ago
- Program Synthesis Course☆264Updated last year
- Perspectives on Data Science for Software Engineering☆61Updated 2 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 11 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated 10 months ago
- Big O Reference of common algorithms and data structures☆50Updated 6 years ago
- Formal Reasoning About Programs☆705Updated 3 weeks ago
- Links to tools by subject☆377Updated last year
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated 2 years ago
- Verified Software Toolchain☆470Updated this week
- Translate java jar files into Boogie programs☆12Updated last year
- A clone of LogicHex using Javascript canvas.☆45Updated 7 years ago
- Disclaimer: These are actions and applications I believe to be the best for setting up an optimal development environment are extensions …☆21Updated 10 years ago
- leetcode in Rust,Python3,Golang and Cpp11☆27Updated 6 years ago
- Robot-handpicked list of open events and open source for designers, developers and makers in Singapore☆62Updated 4 years ago
- notes from 6.033: watching lectures on OCW, doing assignments, reading papers, etc☆45Updated 11 years ago
- Generates a conversation word cloud from exported facebook chat logs☆17Updated 7 years ago
- My personal blog. Powered by Jekyll.☆34Updated 6 months ago
- Finally, your lol-inducing WAVs can be standards compliant! by @jm3☆13Updated last year
- Website for Hack@Brown 2015.☆20Updated 9 years ago