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
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- OONI translations☆13Mar 5, 2026Updated 7 months ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆104Mar 23, 2024Updated 2 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Notes for the Lectures of Year 2 Computing 2021-22☆42Mar 14, 2023Updated 3 years ago
- ☆19Nov 28, 2020Updated 5 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 7 years ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 6 years ago
- A hydrogen atom orbital wave function renderer based on random sampling☆29Jun 26, 2023Updated 3 years ago
- An interpreted Turkish programming language☆13Apr 18, 2022Updated 4 years ago
- A toolkit for randomized testing of WGSL compilers☆24Jul 23, 2026Updated 3 months ago
- Search for pages on Wikipedia and add links☆20Dec 3, 2025Updated 10 months ago
- @logicbot@mathstodon.xyz☆21Apr 15, 2023Updated 3 years ago
- 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.
- Chrome Extension that enables you to read 30% more efficiently and easily!☆23May 24, 2022Updated 4 years ago
- Fractastic is a simple and approachable fractal generator written in C.☆18Jun 17, 2016Updated 10 years ago
- Basis of a RISC-V parser to be used for linters or assemblers.☆49Dec 4, 2021Updated 4 years ago
- Micro BAIK (uBAIK) Scripting language☆45Aug 27, 2019Updated 7 years ago
- LL(1) parser generator verified in Coq☆54Jan 30, 2020Updated 6 years ago
- Baik Language Next Release☆43Oct 14, 2020Updated 6 years ago
- Hosting the JSON for the GPT4 Tokenizer☆63Apr 6, 2023Updated 3 years ago
- Emacs mode for Lean☆68Jun 11, 2023Updated 3 years ago
- A randomized program fuzzer for the Rust programming language☆67Jul 21, 2023Updated 3 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.
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆57Oct 14, 2023Updated 3 years ago
- Building group theory from scratch in Lean☆68Jan 24, 2021Updated 5 years ago
- A Lean file formatter☆71Sep 21, 2026Updated last month
- This project converts structured Lean code into an interactive browser game.☆80Nov 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
- 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 few Mathematics Cheat Sheets I've made on LaTeX.☆147Mar 31, 2026Updated 7 months ago
- Lean Library currently studying for a degree at Imperial College☆229Feb 14, 2025Updated last year
- SliderCaptcha solver☆120Jun 14, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Metamath source file for logic and set theory☆337Updated this week
- HoTTEST Summer School materials☆341Jun 3, 2025Updated last year
- Metamath Zero specification language☆422Sep 30, 2026Updated last month
- Run arm64 macOS apps on Intel Macs: a reverse-Rosetta emulator (interpreter + x86-64 JIT + AOT cache) with a Metal bridge to the host GPU☆409Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆446Oct 7, 2026Updated 3 weeks ago
- This repository contains some useful codes, techniques, algorithms and problem solutions helpful in Competitive Coding.☆416May 17, 2025Updated last year
- ☆1,111Oct 7, 2022Updated 4 years ago