Alternatives and similar repositories for FAQ

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

• m-ou-se / whichever-compiles
  ☆107Updated 4 years ago
• RobbinBaauw / CSHub
  CSHub
  ☆30Updated 3 years ago
• Eugeny / rust-sinner
  Easy c̵̰͠r̵̛̠ö̴̪s̶̩̒s̵̭̀-t̶̲͝h̶̯̚r̵̺͐e̷̖̽ḁ̴̍d̶̖̔ ȓ̵͙ė̶͎ḟ̴͙e̸̖͛r̶̖͗ë̶̱́ṉ̵̒ĉ̷̥e̷͚̍ s̷̹͌h̷̲̉a̵̭͋r̷̫̊ḭ̵̊n̷̬͂g̵̦̃ f̶̻̊ơ̵̜ṟ̸̈́ R̵̞̋ù̵…
  ☆311Updated 3 years ago
• jdonszelmann / label
  ☆16Updated 5 years ago
• AratorRL / bakkesmod-rust
  Rust SDK for writing BakkesMod plugins
  ☆17Updated 5 years ago
• yaahc / uwubot
  discord bot for uwuifying text
  ☆35Updated 4 years ago
• bottom-software-foundation / bottom-rs
  🥺
  ☆405Updated 3 years ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆44Updated 3 weeks ago
• scrabsha / expandable
  What if we could check declarative macros before using them?
  ☆51Updated last year
• faiface / par
  ⅋ — session types for Rust
  ☆219Updated 6 months ago
• ben0x539 / totally-safe-transmute
  ☆260Updated last year
• khyperia / cargo-space
  ☆41Updated 5 years ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆313Updated 4 months ago
• Noratrieb / bool-toggle
  ☆12Updated last year
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆325Updated this week
• CarlKCarlK / shortestpaper
  Recreating a famous 1966 Math Paper with Rust and WebAssembly
  ☆26Updated 4 years ago
• Gankra / abi-cafe
  Pair your compilers up at The ABI Cafe!
  ☆282Updated 7 months ago
• radekvit / rez
  Czech for the Rust programming language
  ☆34Updated 4 years ago
• mexus / unzip-n
  Procedural macro to generate `unzip` for iterators over n-sized tuples
  ☆12Updated last month
• jakevossen5 / areweyeetyet.rs
  Tracking if yeet gets added as a reserved keyword in Rust
  ☆26Updated 3 years ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆38Updated 3 years ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆543Updated last week
• melfkammholz / aoc-submissions
  Advent of Code Submission Board showcasing solutions of CAU CS students/alumni
  ☆11Updated last month
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆102Updated 2 months ago
• flux-rs / flux
  Refinement Types for Rust
  ☆821Updated last week
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆29Updated 5 months ago
• jix / varisat
  SAT solver written in Rust
  ☆274Updated 3 years ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆55Updated last month
• egraphs-good / egglog
  egraphs + datalog!
  ☆674Updated this week
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆186Updated last month