lin-e / imperial-revision
☆16Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for imperial-revision
- A selection of textbook-like course notes for the Imperial College Computing modules.☆61Updated 8 months ago
- Notes for second year Computing at Imperial College London☆15Updated 5 years ago
- Notes for the Lectures of Year 2 Computing 2021-22☆40Updated last year
- Notes for first year Computing at Imperial College London☆50Updated 2 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated last year
- My past paper solutions for the Haskell final test at Imperial College London☆8Updated 7 years ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- Refreshed parsec-style library for compatibility with Scala parsley☆16Updated this week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- The Next Generation of Compositional Programming☆22Updated this week
- The Penn Locally Nameless Metatheory Library☆71Updated 5 months ago
- Educational Proof Assistant for Type Theory☆72Updated 3 months ago
- Lifting Reduction Semantics through Syntactic Sugar☆13Updated 6 years ago
- Simple C Compiler in OCaml☆88Updated 6 years ago
- Interactive Coq Proofs in Vim☆274Updated 2 months ago
- Formalization of 2LTT in Agda☆14Updated 11 months ago
- Visual Studio Code extension for Coq☆346Updated this week
- Organization and planning for the Initial Types Club☆71Updated 2 years ago
- Types and Programming Languages☆37Updated 10 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 4 years ago
- A Turing complete language 😉☆40Updated 4 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆22Updated 2 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆16Updated 6 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago
- PL conference deadline countdowns☆52Updated 2 weeks ago
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆11Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- Notes on higher-order typed compilation. Probably wrong☆22Updated 2 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆52Updated 2 months ago