vsee / uoe_programmingclubLinks
University of Edinburgh Programming Club
☆59Updated 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:
- Moss summarizer☆194Updated 3 years ago
- A LaTeX Class for Informatics theses at The University of Edinburgh☆34Updated 2 years ago
- Python client for Moss: A System for Detecting Software Similarity☆409Updated last year
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆73Updated 2 weeks ago
- Autoreject.org — An automatic review generator☆69Updated last year
- Deep learning program generator☆106Updated 2 years ago
- Program Synthesis Course☆264Updated last year
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆72Updated 2 years ago
- Unofficial Client for Piazza's Internal API☆206Updated 4 months ago
- HotCRP conference review software☆380Updated this week
- A queue to help manage office hours for large courses☆86Updated 2 months ago
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆446Updated 2 months ago
- check for passive words, weasel words, duplicate words, typographical errors and words strunk & white don't like☆591Updated 7 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆415Updated 2 years ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)☆152Updated 4 years ago
- Software Engineering for AI/ML -- An Annotated Bibliography☆333Updated last year
- Examples of autograders for running on Gradescope☆88Updated 10 months ago
- Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output …☆650Updated 3 weeks ago
- Instructions and license for Detexify's sample data☆286Updated 4 years ago
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆42Updated 2 months ago
- This is an archive of materials produced for an introductory class on CUDA programming at Stanford University in 2010☆222Updated 3 years ago
- ACM consolidated LaTeX styles☆679Updated last month
- Online demo without installing at - https://buildit.so/tryit☆186Updated 2 weeks ago
- Resources to work offline on the assignments of Heterogenous Parallel Programming course from Coursera.☆72Updated 6 years ago
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆289Updated 6 years ago
- Git repository of MarkUs☆274Updated this week
- summaries of courses taken at ETH☆30Updated 4 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 6 months ago
- Major CS conference publication stats (including accepted and submitted) by year.☆159Updated 2 weeks ago