Alternatives and similar repositories for hyped-2024

Users that are interested in hyped-2024 are comparing it to the libraries listed below

• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• social-anthrax / IADS_algorithms
  A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
  ☆22Updated 3 years ago
• UNIZAR-30226-2023-01 / chess-mobile
  Versión móvil del proyecto 'Chess' desarrollado en proyecto software
  ☆16Updated 2 years ago
• codersforcauses / repair-lab
  ☆8Updated 7 months ago
• cordx56 / rustowl
  Visualize Ownership and Lifetimes in Rust
  ☆4,623Updated this week
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆1,925Updated this week
• irinacake / notesMaster1
  Master 1 Informatique (2022-2023) at Université Paul Sabatier - public sharing of notes taken from classes
  ☆16Updated last year
• PilloFoundation / duvet
  ☆12Updated 9 months ago
• polimi-aos-lab / course-labs-2425
  Code shared during AOS course labs (AY 24/25)
  ☆13Updated 5 months ago
• cp-sapienza / booklet
  Competitive Programming Template Booklet of Sapienza University of Rome.
  ☆14Updated 7 months ago
• flux-rs / flux
  Refinement Types for Rust
  ☆741Updated this week
• simon-staal / Odyssey_C_Compiler
  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
• RodrigoRafaelSantos7 / next-start
  🚀 A simple yet powerful Next.js starter
  ☆22Updated 3 months ago
• Speykious / cve-rs
  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
  ☆4,587Updated 5 months ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• Abhay-yadav966 / StudyNotion
  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
• VoLKyyyOG / COMP20008
  My working material for COMP20008 tutorials + rewritten tutorials/labs for 2021s1
  ☆13Updated 3 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆51Updated 3 years ago
• compsoc-edinburgh / betterinformatics
  Welcome to Better Informatics. The student run website for students in the School of Informatics.
  ☆72Updated this week
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆61Updated last week
• leanprover-community / NNG4
  Natural Number Game
  ☆182Updated 3 months ago
• fraasa / springweeks_2025
  2025 EMEA Spring Weeks!
  ☆32Updated 6 months ago
• calico-team / calsuco-22
  All contest materials for CALSUCO '22, including solutions, editorials, tests, templates, and problem statements.
  ☆14Updated 2 years ago
• uCredit-Dev / uCredit-API
  ☆12Updated 11 months ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated 2 years ago
• zeon-studio / nextplate
  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
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆80Updated last year
• bnjmnt4n / canvas-downloader
  Downloader for Canvas written in Rust
  ☆34Updated last year
• eagletrt / recruiting-sw
  ☆11Updated 2 months ago
• PhilipFlyvholm / learnit-plus-plus
  Browser extension to improve design and functionality of the LearnIT page for IT-University Of Copenhagen
  ☆17Updated last month