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
• m-ou-se / whichever-compiles
  ☆104Updated 4 years ago
• khyperia / cargo-space
  ☆41Updated 4 years ago
• RobbinBaauw / CSHub
  CSHub
  ☆30Updated 2 years ago
• ben0x539 / totally-safe-transmute
  ☆259Updated 9 months ago
• skade / panic_at_the_disco
  ☆17Updated 8 years ago
• yaahc / uwubot
  discord bot for uwuifying text
  ☆35Updated 4 years ago
• scrabsha / expandable
  What if we could check declarative macros before using them?
  ☆48Updated 9 months ago
• remi-dupre / aoc
  A macro which defines a handful main for the Advent of Code
  ☆34Updated 2 years ago
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆314Updated last week
• AratorRL / bakkesmod-rust
  Rust SDK for writing BakkesMod plugins
  ☆16Updated 4 years ago
• jix / varisat
  SAT solver written in Rust
  ☆270Updated 2 years ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆37Updated 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̵̞̋ù̵…
  ☆310Updated 3 years ago
• jdonszelmann / label
  ☆16Updated 4 years ago
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆419Updated this week
• bottom-software-foundation / bottom-rs
  🥺
  ☆399Updated 3 years ago
• faiface / par
  ⅋ — session types for Rust
  ☆207Updated last month
• sdleffler / tarpit-rs
  A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
  ☆238Updated 8 years ago
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,323Updated this week
• Kixiron / cranial-coitus
  An experimental RVSDG optimizer for brainfuck code
  ☆24Updated 3 years ago
• m-ou-se / nightly-crimes
  Please do not use this.
  ☆185Updated 4 years ago
• denki / listings-rust
  A Rust language and style specification for the LaTeX-package listings
  ☆183Updated 2 years ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆186Updated last month
• jonhoo / roget
  Wordle Solver inspired by 3blue1brown
  ☆232Updated 2 years ago
• flux-rs / flux
  Refinement Types for Rust
  ☆760Updated this week
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆42Updated 5 months ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆362Updated last week
• vojd / rost
  Rust programming, in Swedish.
  ☆58Updated 2 years ago
• JonasAlaif / russol-alpha
  A tool for synthesis of Rust code, very early prototype
  ☆13Updated last year