Notes for the Lectures of Year 2 Computing 2021-22
☆43Mar 14, 2023Updated 3 years ago
Alternatives and similar repositories for Imperial-Computing-Year-2-Notes
Users that are interested in Imperial-Computing-Year-2-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:
- A selection of textbook-like course notes for the Imperial College Computing modules.☆100Mar 23, 2024Updated 2 years ago
- Notes for first year Computing at Imperial College London☆54Feb 13, 2022Updated 4 years ago
- Repository for the Probabilistic Generative Models module (MSc in Applied Maths, Imperial)☆22May 15, 2026Updated 2 months ago
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 years ago
- ☆20Dec 12, 2021Updated 4 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.
- A repo containing useful things for the MSc AI course at Imperial☆34Nov 13, 2023Updated 2 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- 明日方舟-孤星-Latex模板☆19Nov 30, 2025Updated 8 months ago
- Probabilistic Inference Course, Department of Computing, Imperial College London, Spring 2023.☆20Jan 28, 2025Updated last year
- MaxJ and C/C++ library and utilities for Maxeler Dataflow Engines☆14Jun 11, 2018Updated 8 years ago
- Notes for second year Computing at Imperial College London☆16Apr 13, 2019Updated 7 years ago
- ☆11May 30, 2024Updated 2 years ago
- A presentation for RemixConf 2023 on how to leverage OpenAI Chat Completion APIs☆16May 12, 2023Updated 3 years ago
- ☆10Sep 15, 2018Updated 7 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.
- General purpose hits (page views) counter written in Node.js backed by filesystem. (MVP)☆14Oct 7, 2022Updated 3 years ago
- A python decorator to generate a visual tree for recursive functions.☆13Jan 17, 2021Updated 5 years ago
- Working files for the Docker and Kubernetes course from Udemy taught by Stephen Grider (StephenGrider)☆13Jan 25, 2023Updated 3 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 6 months ago
- KCL Interface to UKB Project Data on Rosalind HPC cluster☆14Apr 22, 2023Updated 3 years ago
- Project Euler GPT Resolver☆10Feb 12, 2024Updated 2 years ago
- Gotta catch 'em all!☆12Apr 19, 2023Updated 3 years ago
- vim + razer RGB keyboards☆16Feb 27, 2022Updated 4 years ago
- egraphs-good website☆18Mar 10, 2026Updated 5 months 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.
- ☆31Sep 8, 2023Updated 2 years ago
- An extension to interact with DeSo Blockchain on few simple clicks 🥳☆12Jun 14, 2026Updated last month
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆30Feb 1, 2022Updated 4 years ago
- 3D visualization of Conway's Game of Life with glowing Ghosts☆30Apr 5, 2026Updated 4 months ago
- A C# GitHub client with a Winforms UI☆16Jul 21, 2018Updated 8 years ago
- Fast asynchronous GPU monitoring tool across multiple machines through SSH☆12Nov 26, 2024Updated last year
- My notes for coursera course AI TensorFlow in Practice Specialization.☆18Sep 17, 2019Updated 6 years ago
- Port of Facebook's LLaMA model in C/C++☆16Jul 3, 2023Updated 3 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 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.
- Dual numbers compatible with physical units☆11Dec 4, 2023Updated 2 years ago
- Question / answer AI bot for SuperTokens☆13Apr 23, 2023Updated 3 years ago
- Run 3blue1brown's manim on repl.it!☆25Nov 22, 2022Updated 3 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆60Jun 19, 2024Updated 2 years ago
- ☆46Oct 9, 2023Updated 2 years ago
- Core logic of Slay the Spire implemented in Lean4 for formal verification proofs☆29Apr 6, 2026Updated 4 months ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆41Jul 29, 2026Updated last week