Alternatives and similar repositories for hyped-2024

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

• Hyp-ed / hyped-2025
  Pod-side and telemetry code for The University of Edinburgh's Hyperloop Team 2024/25
  ☆10Updated 3 weeks ago
• Speykious / cve-rs
  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
  ☆5,115Updated last month
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆2,084Updated this week
• stevenaeola / progblack_2223
  ☆11Updated 2 years ago
• Vechus / ODC-challenges
  A collection of security challenges with solutions, solved for a course at Polimi about Offensive and Defensive Cybersecurity
  ☆12Updated 3 years ago
• cognitive-engineering-lab / aquascope
  Interactive visualizations of Rust at compile-time and run-time
  ☆2,885Updated 4 months ago
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆11Updated 4 years ago
• LadnerJonas / PGdP-Tests-WS21-22
  PGdP-Tests-WS21/22 is a student-created repository used to share code tests.
  ☆50Updated 3 years ago
• charlielidbury / ochre
  A systems theorem prover
  ☆12Updated last year
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆88Updated last year
• cordx56 / rustowl
  Visualize Ownership and Lifetimes in Rust
  ☆4,845Updated this week
• algorithmica-org / algorithmica
  A computer science textbook
  ☆4,458Updated last year
• L-A-Marchetti / BOMulus
  📑 BOMulus is a Go application with a GTK-based GUI that allows users to compare and analyze BOM files. It provides version control funct…
  ☆13Updated 8 months ago
• MaximilianAnzinger / gad2022-tests
  Collection of JUnit Tests for GAD exercises at TUM in SS22
  ☆34Updated 3 years ago
• polimi-aos-lab / course-labs-2425
  Code shared during AOS course labs (AY 24/25)
  ☆13Updated 9 months ago
• eagletrt / recruiting-sw
  Recruiting tasks for the Software area
  ☆13Updated 2 weeks ago
• model-checking / kani
  Kani Rust Verifier
  ☆2,738Updated this week
• jedavidson / tutoring
  Current and past resources for the UNSW courses I have tutored
  ☆22Updated last year
• mstange / samply
  Command-line sampling profiler for macOS, Linux, and Windows
  ☆3,536Updated this week
• uiua-lang / uiua
  A tacit array programming language
  ☆1,946Updated last week
• Aneurysm9 / vm_challenge
  ☆157Updated 2 years ago
• shadcn-ui / next-template
  A Next.js 13 template for building apps with Radix UI and Tailwind CSS.
  ☆1,492Updated 3 months ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• willcrichton / flowistry
  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
  ☆2,927Updated last month
• roc-lang / roc
  A fast, friendly, functional language.
  ☆5,285Updated last week
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆13Updated last year
• eyuuab / MeTTa-lang-stdlib-documentation
  This repository contains the documentation for the standard library of the MeTTa language.
  ☆21Updated 3 months ago
• KAIR-ISZ / public_lectures
  Course materials for some of the work courses in Laboratory of Computer Science in Control and Management
  ☆58Updated 5 months ago
• HigherOrderCO / Bend
  A massively parallel, high-level programming language
  ☆19,073Updated 5 months ago