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 first year Computing at Imperial College London☆54Feb 13, 2022Updated 4 years ago
- Notes and course material for MATH50003 Numerical Analysis (2021–2022)☆49Mar 12, 2024Updated 2 years ago
- This is a tool to generate an archive of a Facebook group's discussions.☆15Feb 28, 2018Updated 8 years ago
- Translating Matlab files by Jan S. Hesthaven and Tim Warburton into Julia☆14Feb 18, 2020Updated 6 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 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.
- ☆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
- Search for pages on Wikipedia and add links☆20Dec 3, 2025Updated 7 months 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
- An interpreted Turkish programming language☆13Apr 18, 2022Updated 4 years ago
- Chrome Extension that enables you to read 30% more efficiently and easily!☆23May 24, 2022Updated 4 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆101Mar 23, 2024Updated 2 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆163Mar 9, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Data-Driven Design & Analysis of Structures & Materials (3dasm)☆24Mar 24, 2026Updated 3 months ago
- Lecture notes for M3M6 Methods of Mathematical Physics☆45Jul 20, 2020Updated 6 years ago
- LL(1) parser generator verified in Coq☆51Jan 30, 2020Updated 6 years ago
- Micro BAIK (uBAIK) Scripting language☆45Aug 27, 2019Updated 6 years ago
- Baik Language Next Release☆43Oct 14, 2020Updated 5 years ago
- Hosting the JSON for the GPT4 Tokenizer☆63Apr 6, 2023Updated 3 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☆66Jan 24, 2021Updated 5 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆83Feb 5, 2023Updated 3 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.
- This project converts structured Lean code into an interactive browser game.☆79Nov 15, 2023Updated 2 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
- Lean Library currently studying for a degree at Imperial College☆229Feb 14, 2025Updated last year
- Metamath Zero specification language☆402Updated this week
- Metamath source file for logic and set theory☆330Updated this week
- HoTTEST Summer School materials☆335Jun 3, 2025Updated last year
- A jq clone focussed on correctness, speed, and simplicity☆3,676Jul 17, 2026Updated last week
- Multi-Task Deep Neural Networks for Natural Language Understanding☆2,259Mar 7, 2024Updated 2 years ago
- Dafny is a verification-aware programming language☆3,477Updated this week
- 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.
- Games: Create interesting games in pure python.☆5,384Jul 25, 2024Updated last year
- 🚀 A simple way to launch, train, and use PyTorch models on almost any device and distributed configuration, automatic mixed precision (i…☆9,791Updated this week
- 🐍🎮 pygame (the library) is a Free and Open Source python programming language library for making multimedia applications like games bui…☆8,868Nov 1, 2025Updated 8 months ago
- A small C compiler☆11,771Oct 30, 2023Updated 2 years ago
- 🚀✨ Help beginners to contribute to open source projects☆55,157Updated this week
- List of Computer Science courses with video lectures.☆82,675Jul 7, 2026Updated 2 weeks ago
- Rofi: A window switcher, application launcher and dmenu replacement☆16,266Jul 9, 2026Updated 2 weeks ago