lin-e / imperial-revisionLinks
☆17Updated 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:
- Notes for the Lectures of Year 2 Computing 2021-22☆41Updated 2 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated 2 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆80Updated last year
- Notes for first year Computing at Imperial College London☆51Updated 3 years ago
- run and encode simple register machine programs☆14Updated 3 years ago
- Notes for second year Computing at Imperial College London☆16Updated 6 years ago
- My past paper solutions for the Haskell final test at Imperial College London☆7Updated 7 years ago
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 4 years ago
- ☆9Updated 5 years ago
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 4 years ago
- Visual Studio Code extension for Coq☆391Updated 2 weeks ago
- Interactive Coq Proofs in Vim☆294Updated 3 weeks ago
- Refreshed parsec-style library for compatibility with Scala parsley☆21Updated 2 months ago
- HoTTEST Summer School materials☆300Updated 3 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆522Updated 3 weeks ago
- ☆233Updated 10 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆174Updated this week
- A systems theorem prover☆11Updated last year
- The Ott tool for writing definitions of programming languages and calculi☆376Updated 5 months ago
- OCaml - Oxidized!☆363Updated this week
- A demo implementation of a simple dependently-typed language☆594Updated 7 months ago
- Embedding Pointful Array Programming in Python☆17Updated 9 months ago
- Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus☆12Updated 8 years ago
- The agda-unimath library☆257Updated this week
- Proof assistant based on the λΠ-calculus modulo rewriting☆337Updated this week
- Hardcaml is an OCaml library for designing hardware.☆788Updated 2 weeks ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆263Updated 4 months ago
- Formal Reasoning About Programs☆688Updated last year
- A proof assistant for higher-dimensional type theory☆200Updated last week
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year