vsee / uoe_programmingclub
University of Edinburgh Programming Club
☆56Updated 4 years ago
Alternatives and similar repositories for uoe_programmingclub:
Users that are interested in uoe_programmingclub are comparing it to the libraries listed below
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆71Updated 3 weeks ago
- ☆228Updated 7 months ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆22Updated 2 years ago
- ☆24Updated 3 years ago
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆73Updated 2 years ago
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆35Updated last week
- Deep learning program generator☆106Updated last year
- Program Synthesis Course☆250Updated last year
- A queue to help manage office hours for large courses☆86Updated last year
- Race Condition Running☆11Updated this week
- Style checker for latex documents☆50Updated last year
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆515Updated last month
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)☆145Updated 3 years ago
- IAML Labs student repository☆17Updated 4 years ago
- Python tools for instructors working with GitHub Classroom☆89Updated last year
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆655Updated 9 months ago
- ☆18Updated 3 weeks ago
- Program synthesis class taught by Loris D'Antoni☆27Updated 3 months ago
- Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).☆354Updated 3 years ago
- US immigration FAQ with a focus on the tech industry☆109Updated 2 years ago
- Visual Studio Code extension for Coq☆370Updated 2 weeks ago
- GPUVerify: a Verifier for GPU Kernels☆59Updated 2 years ago
- OpenCL extension for csmith.☆24Updated 7 years ago
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆22Updated 2 years ago
- Cilk application benchmark programs☆10Updated 2 years ago
- A collection of scripts developed for teachers and TAs administrating GitHub Classroom assignments.☆46Updated 4 years ago
- Moss summarizer☆192Updated 2 years ago
- CS Graduate Job Guide☆32Updated 4 months ago
- Discussion section materials for COMP SCI 537 2021 Spring at the University of Wisconsin-Madison.☆16Updated 3 years ago