Hyp-ed / hyped-2024Links
Pod-side and telemetry code for the University of Edinburgh Hyperloop Team 2023/24
☆11Updated 11 months ago
Alternatives and similar repositories for hyped-2024
Users that are interested in hyped-2024 are comparing it to the libraries listed below
Sorting:
- A understandable Haskell tracer.☆14Updated 3 years ago
- A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.☆22Updated 3 years ago
- Versión móvil del proyecto 'Chess' desarrollado en proyecto software☆16Updated 2 years ago
- ☆8Updated 7 months ago
- Visualize Ownership and Lifetimes in Rust☆4,623Updated this week
- Verified Rust for low-level systems code☆1,925Updated this week
- Master 1 Informatique (2022-2023) at Université Paul Sabatier - public sharing of notes taken from classes☆16Updated last year
- ☆12Updated 9 months ago
- Code shared during AOS course labs (AY 24/25)☆13Updated 5 months ago
- Competitive Programming Template Booklet of Sapienza University of Rome.☆14Updated 7 months ago
- Refinement Types for Rust☆741Updated this week
- This repository contains the preprocessed C90 to MIPS assembly compiler produced as part of the EIE 2nd Year Instruction Set Architecture…☆18Updated 2 years ago
- 🚀 A simple yet powerful Next.js starter☆22Updated 3 months ago
- Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀☆4,587Updated 5 months ago
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- StudyNotion is a fully functional ed-tech platform that enables users to create, consume, and rate educational content. It provides a sea…☆15Updated last year
- My working material for COMP20008 tutorials + rewritten tutorials/labs for 2021s1☆13Updated 3 years ago
- Notes for first year Computing at Imperial College London☆51Updated 3 years ago
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆72Updated this week
- Concurrent decision diagram framework written in Rust☆61Updated last week
- Natural Number Game☆182Updated 3 months ago
- 2025 EMEA Spring Weeks!☆32Updated 6 months ago
- All contest materials for CALSUCO '22, including solutions, editorials, tests, templates, and problem statements.☆14Updated 2 years ago
- ☆12Updated 11 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆41Updated 2 years ago
- Nextplate is a free starter template built with Next.js and TailwindCSS. It provides you with almost everything you need to jump-start yo…☆476Updated last month
- A selection of textbook-like course notes for the Imperial College Computing modules.☆80Updated last year
- Downloader for Canvas written in Rust☆34Updated last year
- ☆11Updated 2 months ago
- Browser extension to improve design and functionality of the LearnIT page for IT-University Of Copenhagen☆17Updated last month