vsee / uoe_programmingclubLinks
University of Edinburgh Programming Club
☆58Updated 5 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:
- A LaTeX Class for Informatics theses at The University of Edinburgh☆34Updated 2 years ago
- ACM consolidated LaTeX styles☆670Updated last month
- 👨💻 My PhD.☆188Updated 3 years ago
- Moss summarizer☆194Updated 3 years ago
- Examples of autograders for running on Gradescope☆88Updated 9 months ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)☆150Updated 3 years ago
- Unofficial Client for Piazza's Internal API☆203Updated 2 months ago
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆424Updated last month
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆72Updated 2 years ago
- Reinforcement learning environments for compiler and program optimization tasks☆975Updated last year
- HotCRP conference review software☆374Updated this week
- Autoreject.org — An automatic review generator☆69Updated last year
- Deep learning program generator☆107Updated last year
- VU Advanced Multiprocessor Programming, TU Wien, SS 2013☆38Updated 12 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆413Updated 2 years ago
- 2019 Fall ECE408 Project Resources + Requirements☆77Updated 3 years ago
- Program Synthesis Course☆264Updated last year
- Software Engineering for AI/ML -- An Annotated Bibliography☆333Updated last year
- NOELLE Offers Empowering LLVM Extensions☆79Updated 2 months ago
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Updated 4 years ago
- Collective Knowledge (CK), Collective Mind (CM/CMX) and MLPerf automations: community-driven projects to facilitate collaborative and rep…☆629Updated last month
- advanced compilers☆867Updated last week
- Major CS conference publication stats (including accepted and submitted) by year.☆144Updated last month
- CS 704 course website - Principles of Programming Languages☆69Updated 2 years ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated last year
- A microservice queue for holding open office hours☆86Updated 5 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆530Updated 4 months ago
- check for passive words, weasel words, duplicate words, typographical errors and words strunk & white don't like☆590Updated 6 years ago
- The Legion Parallel Programming System☆745Updated 2 weeks ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 3 years ago