Alternatives and similar repositories for FAQ

Users that are interested in FAQ are comparing it to the libraries listed below

• rellermeyer / course_os
  CS 439 course OS
  ☆38Updated 9 months ago
• AratorRL / bakkesmod-rust
  Rust SDK for writing BakkesMod plugins
  ☆17Updated 5 years ago
• RobbinBaauw / CSHub
  CSHub
  ☆30Updated 2 years ago
• m-ou-se / whichever-compiles
  ☆104Updated 4 years ago
• khyperia / cargo-space
  ☆41Updated 4 years ago
• melfkammholz / aoc-submissions
  Advent of Code Submission Board showcasing solutions of CAU CS students/alumni
  ☆11Updated 8 months ago
• scrabsha / expandable
  What if we could check declarative macros before using them?
  ☆48Updated 10 months ago
• jdonszelmann / label
  ☆16Updated 4 years ago
• yaahc / uwubot
  discord bot for uwuifying text
  ☆34Updated 4 years ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆39Updated last week
• flux-rs / flux
  Refinement Types for Rust
  ☆770Updated last week
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆379Updated this week
• faiface / par
  ⅋ — session types for Rust
  ☆209Updated last month
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆75Updated last year
• m-ou-se / nightly-crimes
  Please do not use this.
  ☆185Updated 4 years ago
• ben0x539 / totally-safe-transmute
  ☆259Updated 10 months ago
• HadrienG2 / hwlocality
  Rust bindings to Open MPI Portable Hardware Locality "hwloc" library, covering version 2.0 and above.
  ☆36Updated last week
• Eugeny / rust-sinner
  Easy c̵̰͠r̵̛̠ö̴̪s̶̩̒s̵̭̀-t̶̲͝h̶̯̚r̵̺͐e̷̖̽ḁ̴̍d̶̖̔ ȓ̵͙ė̶͎ḟ̴͙e̸̖͛r̶̖͗ë̶̱́ṉ̵̒ĉ̷̥e̷͚̍ s̷̹͌h̷̲̉a̵̭͋r̷̫̊ḭ̵̊n̷̬͂g̵̦̃ f̶̻̊ơ̵̜ṟ̸̈́ R̵̞̋ù̵…
  ☆310Updated 3 years ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆266Updated last week
• nickbabcock / boxcars
  Rocket League Replay parser in Rust
  ☆123Updated this week
• jakevossen5 / areweyeetyet.rs
  Tracking if yeet gets added as a reserved keyword in Rust
  ☆26Updated 2 years ago
• denki / listings-rust
  A Rust language and style specification for the LaTeX-package listings
  ☆184Updated 2 years ago
• Gankra / abi-cafe
  Pair your compilers up at The ABI Cafe!
  ☆272Updated 3 months ago
• mojeanmac / vscode-salt
  ☆12Updated 2 months ago
• jix / varisat
  SAT solver written in Rust
  ☆272Updated 2 years ago
• lachlansneff / uy
  A typesafe, flexible, simple, and user-friendly unit system library for Rust that has good error messages.
  ☆22Updated last year
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆355Updated this week
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆316Updated last month
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 10 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆90Updated 2 months ago