afd / JavaTutorialQuestions
Tutorial Questions for the Programming II course at Imperial College London
☆50Updated last year
Alternatives and similar repositories for JavaTutorialQuestions:
Users that are interested in JavaTutorialQuestions are comparing it to the libraries listed below
- Notes for the Lectures of Year 2 Computing 2021-22☆41Updated last year
- A selection of textbook-like course notes for the Imperial College Computing modules.☆72Updated 10 months ago
- Notes for first year Computing at Imperial College London☆51Updated 3 years ago
- ☆9Updated 4 years ago
- ☆17Updated 3 years ago
- run and encode simple register machine programs☆14Updated 3 years ago
- My past paper solutions for the Haskell final test at Imperial College London☆7Updated 7 years ago
- A fast and modern parser combinator library for Scala☆189Updated this week
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 3 years ago
- Notes for second year Computing at Imperial College London☆16Updated 5 years ago
- HoTTEST Summer School materials☆296Updated last year
- Proof assistant based on the λΠ-calculus modulo rewriting☆301Updated this week
- A new Categories library for Agda☆374Updated 2 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆513Updated this week
- The agda-unimath library☆236Updated this week
- Visual Studio Code extension for Coq☆361Updated this week
- Challenges from Category Theory for Programmers☆122Updated 3 months ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆45Updated 7 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆241Updated this week
- Refreshed parsec-style library for compatibility with Scala parsley☆16Updated 3 weeks ago
- Embedding Pointful Array Programming in Python☆14Updated 4 months ago
- Lean Library currently studying for a degree at Imperial College☆226Updated this week
- Did someone say... scuffed UCSD historical enrollment data?☆42Updated 2 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆104Updated 7 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆419Updated last week
- A demo implementation of a simple dependently-typed language☆588Updated 2 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆289Updated last year
- The Agda standard library☆601Updated this week
- How behind am I? Keeping track of missed Zoom lectures since 2020.☆10Updated 2 months ago