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.☆103Mar 23, 2024Updated 2 years ago
- A fast and modern parser combinator library for Scala☆218Jun 20, 2026Updated 3 months ago
- Refreshed parsec-style library for compatibility with Scala parsley☆23Aug 20, 2026Updated last month
- 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)☆24May 15, 2026Updated 4 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆20Dec 12, 2021Updated 4 years ago
- A repo containing useful things for the MSc AI course at Imperial☆34Nov 13, 2023Updated 2 years ago
- waccOS, an operating system kernel written in WACC.☆13Mar 8, 2019Updated 7 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated 2 years ago
- ☆17Feb 11, 2024Updated 2 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆18Jun 3, 2017Updated 9 years ago
- a simple operating system☆10May 10, 2015Updated 11 years ago
- MaxJ and C/C++ library and utilities for Maxeler Dataflow Engines☆14Jun 11, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Notes for second year Computing at Imperial College London☆16Apr 13, 2019Updated 7 years ago
- General purpose hits (page views) counter written in Node.js backed by filesystem. (MVP)☆14Oct 7, 2022Updated 3 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 7 months ago
- Tutorial on Concurrent Programming in Python☆11Nov 2, 2018Updated 7 years ago
- A C++ Compiler (on the works)☆14Jun 25, 2023Updated 3 years ago
- A package for representing quasi-arrays☆11Updated this week
- 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
- Non-blocking concurrent hashmap for Haskell☆18Sep 29, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Gotta catch 'em all!☆12Apr 19, 2023Updated 3 years ago
- Study notes☆23Jun 7, 2026Updated 3 months ago
- An extension to interact with DeSo Blockchain on few simple clicks 🥳☆12Jun 14, 2026Updated 3 months ago
- ☆32Sep 8, 2023Updated 3 years ago
- 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
- 基于原作者的UnblockNetease打了补丁，可以正常使用。dockerhub有提供对应镜像☆19May 2, 2021Updated 5 years ago
- Make your zero-knowledge circuits safe with formal verification. 🍀☆35Aug 24, 2026Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 2 years ago
- My notes for coursera course AI TensorFlow in Practice Specialization.☆18Sep 17, 2019Updated 7 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.
- makepad components☆37Feb 13, 2026Updated 7 months 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
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆26Jan 18, 2018Updated 8 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆61Jun 19, 2024Updated 2 years ago
- ☆46Oct 9, 2023Updated 2 years ago
- Core logic of Slay the Spire implemented in Lean4 for formal verification proofs☆32Apr 6, 2026Updated 5 months ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆43Updated this week