vsee / uoe_programmingclubLinks
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
Sorting:
- Python client for Moss: A System for Detecting Software Similarity☆405Updated last year
- Examples of autograders for running on Gradescope☆84Updated 6 months ago
- A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty…☆2,913Updated this week
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆72Updated this week
- Program Synthesis Course☆257Updated last year
- A Learning Environment for Theorem Proving with the Coq proof assistant☆408Updated 2 years ago
- A LaTeX Class for Informatics theses at The University of Edinburgh☆33Updated 2 years ago
- HotCRP conference review software☆364Updated this week
- Autoreject.org — An automatic review generator☆70Updated last year
- advanced compilers☆848Updated last month
- 👨💻 My PhD.☆187Updated 2 years ago
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆41Updated 2 weeks ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)☆148Updated 3 years ago
- Race Condition Running☆11Updated last week
- Unofficial Client for Piazza's Internal API☆196Updated 2 weeks ago
- A queue to help manage office hours for large courses☆86Updated last year
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆72Updated 2 years ago
- Course management service that enables auto-graded programming assignments.☆792Updated 2 months ago
- Deep learning program generator☆107Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆134Updated last month
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆523Updated 2 months ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- 2019 Fall ECE408 Project Resources + Requirements☆77Updated 3 years ago
- Various interesting datasets, mostly data from The University of Illinois☆187Updated this week
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated last year
- Reinforcement learning environments for compiler and program optimization tasks☆962Updated 10 months ago
- Student-run wiki for students interested in computer science at Cornell University☆95Updated last year
- ☆25Updated last month
- Software Engineering for AI/ML -- An Annotated Bibliography☆330Updated last year
- This is an archive of materials produced for an introductory class on CUDA programming at Stanford University in 2010☆220Updated 3 years ago