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☆53Feb 13, 2022Updated 4 years ago
- ☆19Dec 12, 2021Updated 4 years ago
- Notes and course material for MATH50003 Numerical Analysis (2022–2023)☆53Jan 4, 2024Updated 2 years ago
- Notes and course material for MATH50003 Numerical Analysis (2021–2022)☆49Mar 12, 2024Updated 2 years ago
- A brainfuck interpreter using only the C preprocessor☆91Aug 3, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Jun 3, 2024Updated last year
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- 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 last month
- 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
- Search for pages on Wikipedia and add links☆20Dec 3, 2025Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Course notes for the computational linear algebra course☆23Apr 25, 2025Updated last year
- @logicbot@mathstodon.xyz☆21Apr 15, 2023Updated 3 years ago
- SRAM build space for SKY130 provided by SkyWater.☆25Oct 20, 2021Updated 4 years ago
- Options Pricing using Finite Difference Methods☆16May 24, 2017Updated 8 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆98Mar 23, 2024Updated 2 years ago
- An interpreted Turkish programming language☆13Apr 18, 2022Updated 4 years ago
- Lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College☆37May 18, 2020Updated 5 years ago
- micro programming language using Swahili lexicons to code.☆29Dec 22, 2022Updated 3 years ago
- Basis of a RISC-V parser to be used for linters or assemblers.☆49Dec 4, 2021Updated 4 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.
- Micro BAIK (uBAIK) Scripting language☆45Aug 27, 2019Updated 6 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☆54Oct 14, 2023Updated 2 years ago
- Notes for the Lectures of Year 2 Computing 2021-22☆43Mar 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☆84Feb 5, 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
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆136Aug 19, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Metamath Zero specification language☆390Mar 29, 2026Updated last month
- HoTTEST Summer School materials☆330Jun 3, 2025Updated 10 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆429Apr 25, 2026Updated last week
- This repository contains some useful codes, techniques, algorithms and problem solutions helpful in Competitive Coding.☆415May 17, 2025Updated 11 months ago
- Proving leftpad correct two-dozen different ways☆729Apr 15, 2026Updated 2 weeks ago
- The CompCert formally-verified C compiler☆2,153Apr 23, 2026Updated last week
- Multi-Task Deep Neural Networks for Natural Language Understanding☆2,257Mar 7, 2024Updated 2 years ago