Notes for second year Computing at Imperial College London
☆16Apr 13, 2019Updated 6 years ago
Alternatives and similar repositories for ic-second-year-notes
Users that are interested in ic-second-year-notes are comparing it to the libraries listed below
Sorting:
- Tutorial Questions for the Programming II course at Imperial College London☆53Apr 11, 2023Updated 2 years ago
- A brainfuck interpreter using only the C preprocessor☆91Aug 3, 2024Updated last year
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- This is a tool to generate an archive of a Facebook group's discussions.☆15Feb 28, 2018Updated 8 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- OONI translations☆13Mar 5, 2026Updated 2 weeks ago
- ☆19Nov 28, 2020Updated 5 years ago
- Babylscript is a modification of the Mozilla Rhino JavaScript engine for Java. It extends JavaScript to support multiple languages like F…☆22Oct 26, 2019Updated 6 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆94Mar 23, 2024Updated last year
- Minesweeper on n*m*2 matrix for Android.☆24Feb 9, 2025Updated last year
- An interpreted Turkish programming language☆13Apr 18, 2022Updated 3 years ago
- Fractastic is a simple and approachable fractal generator written in C.☆18Jun 17, 2016Updated 9 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆162Mar 9, 2024Updated 2 years ago
- micro programming language using Swahili lexicons to code.☆29Dec 22, 2022Updated 3 years ago
- Micro BAIK (uBAIK) Scripting language☆46Aug 27, 2019Updated 6 years ago
- An intro to DG methods for PDEs☆44Oct 20, 2015Updated 10 years ago
- Hosting the JSON for the GPT4 Tokenizer☆63Apr 6, 2023Updated 2 years ago
- PINNs for 2D Incompressible Navier-Stokes Equation☆58May 16, 2024Updated last year
- ☆50May 12, 2023Updated 2 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆53Oct 14, 2023Updated 2 years ago
- Notes for the Lectures of Year 2 Computing 2021-22☆42Mar 14, 2023Updated 3 years ago
- This project converts structured Lean code into an interactive browser game.☆79Nov 15, 2023Updated 2 years ago
- A Lean file formatter☆70Feb 3, 2023Updated 3 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆83Feb 5, 2023Updated 3 years ago
- A pytorch implementation of several approaches using PINN to slove turbulent flow☆94Apr 4, 2024Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Mar 9, 2024Updated 2 years ago
- PINN in solving Navier–Stokes equation☆126Jun 7, 2020Updated 5 years ago
- Practical Cryptography and Distributed Ledgers☆180Feb 28, 2026Updated 2 weeks ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆134Aug 19, 2025Updated 7 months ago
- A pytorch implementaion of physics informed neural networks for two dimensional NS equation☆193Apr 7, 2024Updated last year
- ☆168Sep 17, 2024Updated last year
- Lean Library currently studying for a degree at Imperial College☆229Feb 14, 2025Updated last year
- HoTTEST Summer School materials☆325Jun 3, 2025Updated 9 months ago
- ☆411Nov 14, 2025Updated 4 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆425Mar 12, 2026Updated last week
- Physics Informed Machine Learning Tutorials (Pytorch and Jax)☆650Mar 10, 2026Updated last week
- A library for solving differential equations using neural networks based on PyTorch, used by multiple research groups around the world, i…☆776Jul 27, 2025Updated 7 months ago
- Haskell source code suggestions☆1,580Dec 27, 2025Updated 2 months ago