Notes for second year Computing at Imperial College London
☆16Apr 13, 2019Updated 7 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes for third year Computing at Imperial College London (incomplete)☆12Mar 12, 2019Updated 7 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- Notes and course material for MATH50003 Numerical Analysis (2021–2022)☆49Mar 12, 2024Updated 2 years ago
- ☆14Jun 3, 2024Updated 2 years ago
- Translating Matlab files by Jan S. Hesthaven and Tim Warburton into Julia☆15Feb 18, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- OONI translations☆13Mar 5, 2026Updated 5 months ago
- LibreOffice Malay dictionary extension. Released under GPLv3 & LGPLv3. Covered by FDLv1.3.☆14Oct 31, 2022Updated 3 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
- Course notes for the computational linear algebra course☆25Apr 25, 2025Updated last year
- Python code for implementing the Continuous Wavelet Transform.☆20Feb 21, 2018Updated 8 years ago
- Options Pricing using Finite Difference Methods☆16May 24, 2017Updated 9 years ago
- An interpreted Turkish programming language☆13Apr 18, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Minesweeper on n*m*2 matrix for Android.☆23Jul 22, 2026Updated 3 weeks ago
- Chrome Extension that enables you to read 30% more efficiently and easily!☆23May 24, 2022Updated 4 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆163Mar 9, 2024Updated 2 years ago
- Data-Driven Design & Analysis of Structures & Materials (3dasm)☆24Mar 24, 2026Updated 4 months ago
- Lecture notes for M3M6 Methods of Mathematical Physics☆45Jul 20, 2020Updated 6 years ago
- Lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College☆39May 18, 2020Updated 6 years ago
- LL(1) parser generator verified in Coq☆51Jan 30, 2020Updated 6 years ago
- Basis of a RISC-V parser to be used for linters or assemblers.☆49Dec 4, 2021Updated 4 years ago
- This repository contains solutions to each of the problems in Advent of Code 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023 and 202…☆65Dec 30, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An intro to DG methods for PDEs☆44Oct 20, 2015Updated 10 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆56Oct 14, 2023Updated 2 years ago
- Building group theory from scratch in Lean☆67Jan 24, 2021Updated 5 years ago
- Raspberry Pi - Make LEDs blink on network or harddisk activity☆95Jun 6, 2024Updated 2 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆83Feb 5, 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☆71Feb 3, 2023Updated 3 years ago
- 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
- The implementation exercise for the final year finite element course given in the Maths Department of Imperial College London☆120Apr 25, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- PINN in solving Navier–Stokes equation☆136Jun 7, 2020Updated 6 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆141Aug 19, 2025Updated 11 months ago
- A few Mathematics Cheat Sheets I've made on LaTeX.☆139Mar 31, 2026Updated 4 months ago
- A pytorch implementaion of physics informed neural networks for two dimensional NS equation☆206Apr 7, 2024Updated 2 years ago
- A comprehensive learning roadmap for mastering the core disciplines necessary for successful sole algorithmic trading. This repository se…☆218Feb 7, 2026Updated 6 months ago
- Metamath Zero specification language☆411Updated this week
- HoTTEST Summer School materials☆336Jun 3, 2025Updated last year