lin-e / imperial-revisionLinks
☆20Updated 3 years ago
Alternatives and similar repositories for imperial-revision
Users that are interested in imperial-revision are comparing it to the libraries listed below
Sorting:
- A selection of textbook-like course notes for the Imperial College Computing modules.☆88Updated last year
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- Notes for second year Computing at Imperial College London☆16Updated 6 years ago
- A queue to help manage office hours for large courses☆87Updated 3 weeks ago
- Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
- run and encode simple register machine programs☆15Updated 4 years ago
- Visual Studio Code extension for Coq☆413Updated this week
- Interactive Coq Proofs in Vim☆305Updated 3 months ago
- Formal Reasoning About Programs☆708Updated this week
- awdeorio's favorite dot files☆101Updated 2 weeks ago
- Notes that I've taken over my Computer Systems and Software course at The University of Melbourne☆143Updated 5 years ago
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆73Updated last week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆530Updated 5 months ago
- A systems theorem prover☆12Updated last year
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆50Updated last year
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆137Updated last year
- Backtester for IMC Prosperity 3 algorithms☆95Updated 6 months ago
- Standard library for OCaml☆972Updated last week
- ☆17Updated 2 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆654Updated 3 years ago
- Solutions to the Jane St monthly puzzles☆292Updated 2 months ago
- Points for Free: Embedding Pointful Array Programming in Python☆18Updated last year
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 4 years ago
- Jane Street Capital's standard library overlay☆1,184Updated last week
- Repository to store NUS ModReg Vacancy Reports and Demand and Allocation reports for public access.☆44Updated 2 months ago
- Discover McGill: a graph of interrelated courses at McGill☆35Updated 2 years ago
- Scraper for the UoM results page which detects transcript updates and notifies the user.☆58Updated 3 years ago
- dcc - a C compiler which explains errors to novice programmers☆169Updated 11 months ago
- Neovim support for the Lean theorem prover☆423Updated this week