Alternatives and similar repositories for hyped-2024

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

• Speykious / cve-rs
  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
  ☆5,230Updated 2 months ago
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆13Updated 4 years ago
• social-anthrax / IADS_algorithms
  A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
  ☆20Updated 3 years ago
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆2,156Updated this week
• TIHLDE / Kvark
  Frontend of TIHLDE. Dev: https://dev.tihlde.org
  ☆19Updated last week
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• rui314 / mold
  mold: A Modern Linker 🦠
  ☆15,969Updated last week
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,381Updated this week
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆15Updated last year
• hyprwm / Hyprland
  Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
  ☆32,702Updated this week
• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 4 years ago
• ttoino / ementas
  ☆16Updated last year
• sigpwny / max7800x-hal
  A Rust Hardware Abstraction Layer for the MAX78000 microcontroller
  ☆13Updated 9 months ago
• TodePond / GulfOfMexico
  perfect programming language
  ☆13,187Updated last month
• cordx56 / rustowl
  Visualize Ownership and Lifetimes in Rust
  ☆4,901Updated this week
• zesterer / chumsky
  Write expressive, high-performance parsers with ease.
  ☆4,350Updated 2 weeks ago
• stevenaeola / progblack_2223
  ☆11Updated 2 years ago
• lin-e / imperial-revision
  ☆20Updated 4 years ago
• davidlattimore / wild
  A very fast linker for Linux
  ☆3,079Updated this week
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆6,927Updated this week
• mstange / samply
  Command-line sampling profiler for macOS, Linux, and Windows
  ☆3,657Updated this week
• uutils / coreutils
  Cross-platform Rust rewrite of the GNU coreutils
  ☆22,327Updated last week
• maestro-os / maestro
  Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possib…
  ☆3,167Updated last week
• ast-grep / ast-grep
  ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
  ☆11,613Updated last week
• gleam-lang / gleam
  ⭐️ A friendly language for building type-safe, scalable systems!
  ☆20,817Updated this week
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆19Updated last year
• HigherOrderCO / HVM
  A massively parallel, optimal functional runtime in Rust
  ☆11,177Updated last year
• HigherOrderCO / hvm-64
  ☆494Updated last year
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• orlp / glidesort
  A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
  ☆1,641Updated 2 years ago