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:
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 6 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- ☆19Nov 28, 2020Updated 5 years ago
- LibreOffice Malay dictionary extension. Released under GPLv3 & LGPLv3. Covered by FDLv1.3.☆14Oct 31, 2022Updated 3 years ago
- Some simple C++ template abuse☆19Jul 12, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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
- Learning Turbulent Flows with Generative Models: Super-resolution, Forecasting, and Sparse Flow Reconstruction☆26Feb 6, 2026Updated 7 months ago
- An interpreted Turkish programming language☆13Apr 18, 2022Updated 4 years ago
- @logicbot@mathstodon.xyz☆21Apr 15, 2023Updated 3 years ago
- Fractastic is a simple and approachable fractal generator written in C.☆18Jun 17, 2016Updated 10 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆163Mar 9, 2024Updated 2 years ago
- LL(1) parser generator verified in Coq☆54Jan 30, 2020Updated 6 years ago
- Micro BAIK (uBAIK) Scripting language☆45Aug 27, 2019Updated 7 years ago
- Baik Language Next Release☆43Oct 14, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Hosting the JSON for the GPT4 Tokenizer☆63Apr 6, 2023Updated 3 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆84Feb 5, 2023Updated 3 years ago
- This project converts structured Lean code into an interactive browser game.☆80Nov 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☆119Apr 25, 2026Updated 4 months 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 last year
- A pytorch implementaion of physics informed neural networks for two dimensional NS equation☆212Apr 7, 2024Updated 2 years ago
- Lean Library currently studying for a degree at Imperial College☆228Feb 14, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Metamath Zero specification language☆416Updated this week
- Metamath source file for logic and set theory☆336Updated this week
- HoTTEST Summer School materials☆339Jun 3, 2025Updated last year
- We gather Malaysian dataset! https://malaysian-dataset.readthedocs.io/☆344Jan 7, 2026Updated 8 months ago
- Official data on the COVID-19 epidemic in Malaysia. Powered by CPRC, CPRC Hospital System, MKAK, and MySejahtera.☆971Jun 4, 2025Updated last year
- ExHentai本地漫画标签管理阅读应用, ExHentai local manga tag-manager and reader☆1,811Aug 30, 2026Updated 3 weeks ago
- Lean Theorem Prover☆2,154Oct 14, 2023Updated 2 years ago
- Physics Informed Deep Learning: Data-driven Solutions and Discovery of Nonlinear Partial Differential Equations☆6,165Feb 11, 2026Updated 7 months ago
- Toolkit with accessible components, styles, and examples for your next web app☆8,624Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Some useful websites for programmers.☆76,258Sep 16, 2025Updated last year
- No Nonsense Neovim Client in Rust☆15,214Updated this week
- 🚀✨ Help beginners to contribute to open source projects☆56,036Updated this week
- List of Computer Science courses with video lectures.☆83,551Updated this week
- Small exercises to get you used to reading and writing Rust code!☆64,190Updated this week
- Rofi: A window switcher, application launcher and dmenu replacement☆16,408Updated this week
- Modern networking and security platform providing secure access and connectivity to apps, infrastructure, and AI workloads. Connect and p…☆22,877Updated this week