vsee / uoe_programmingclubLinks
University of Edinburgh Programming Club
☆58Updated 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:
- Program Synthesis Course☆262Updated last year
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆73Updated this week
- 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☆406Updated last year
- A Learning Environment for Theorem Proving with the Coq proof assistant☆411Updated 2 years ago
- Autoreject.org — An automatic review generator☆69Updated last year
- Unofficial Client for Piazza's Internal API☆199Updated 2 months ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)☆150Updated 3 years ago
- CS 704 course website - Principles of Programming Languages☆69Updated 2 years ago
- ☆128Updated 8 years ago
- Reinforcement learning environments for compiler and program optimization tasks☆973Updated 11 months ago
- A minimalistic and high-performance SAT solver☆1,101Updated last year
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆421Updated last week
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆72Updated 2 years ago
- Deep learning program generator☆108Updated last year
- HotCRP conference review software☆372Updated this week
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆42Updated last week
- A queue to help manage office hours for large courses☆86Updated 2 years ago
- ACM consolidated LaTeX styles☆664Updated last month
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆286Updated 6 years ago
- A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations☆320Updated last year
- Resources for people running research groups.☆206Updated 8 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆529Updated 3 months ago
- Course notes for the University of Waterloo☆28Updated 6 years ago
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆213Updated 10 months ago
- Visual Studio Code extension for Coq☆407Updated 2 weeks ago
- An curated list of papers on program synthesis.☆69Updated 6 years ago
- Software Engineering for AI/ML -- An Annotated Bibliography☆332Updated last year
- This is an archive of materials produced for an introductory class on CUDA programming at Stanford University in 2010☆223Updated 3 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago