Alternatives and similar repositories for Rflap

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

• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,470Updated last week
• michidk / rost
  Rust programming in German.
  ☆740Updated 7 months ago
• R-O-C-K-E-T / Factorio-SAT
  Enhancing the Factorio experience with SAT solvers
  ☆763Updated last year
• queer / boxxy
  boxxy puts bad Linux applications in a box with only their files.
  ☆1,705Updated 3 weeks ago
• Daniel-Liu-c0deb0t / uwu
  fastest text uwuifier in the west
  ☆1,417Updated 2 years ago
• RobbinBaauw / CSHub
  CSHub
  ☆30Updated 3 years ago
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,731Updated last week
• flux-rs / flux
  Refinement Types for Rust
  ☆825Updated this week
• willcrichton / flowistry
  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
  ☆3,018Updated 4 months ago
• formal-land / rocq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
  ☆1,062Updated this week
• SuperTails / langcraft
  Compiler from LLVM IR to Minecraft datapacks.
  ☆560Updated 3 years ago
• rosefromthedead / effing-mad
  Algebraic effects for Rust
  ☆649Updated last year
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆554Updated this week
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆482Updated last month
• buyukakyuz / corroded
  Illegal rust
  ☆1,648Updated last week
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆833Updated last year
• 8051Enthusiast / regex2fat
  Turn your favourite regex into FAT32
  ☆1,033Updated 3 years ago
• Gankra / cargo-mommy
  Mommy's here to support you when running cargo~
  ☆907Updated last year
• not-an-aardvark / lucky-commit
  Customize your git commit hashes!
  ☆1,936Updated 9 months ago
• Zerthox / nexus-rs
  Rust bindings for Raidcore Nexus.
  ☆16Updated last month
• denki / listings-rust
  A Rust language and style specification for the LaTeX-package listings
  ☆187Updated 2 years ago
• mhogrefe / malachite
  An arbitrary-precision arithmetic library for Rust.
  ☆553Updated last week
• CeleritasCelery / rune
  Rust VM for Emacs
  ☆748Updated 2 weeks ago
• mads256h / stregsystemet-rs
  Rust implementation :)
  ☆11Updated 2 months ago
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆2,270Updated this week
• a-schaefers / systemE
  🤣 A lightweight systemd replacement written in Emacs lisp 🤣
  ☆730Updated 3 years ago
• aaronjanse / dns-over-wikipedia
  Redirect `.idk` domains using Wikipedia
  ☆1,575Updated 3 months ago
• davidlattimore / wild
  A very fast linker for Linux
  ☆3,329Updated this week
• pennlabs / office-hours-queue
  An online office hours queue
  ☆23Updated 9 months ago
• orlp / glidesort
  A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
  ☆1,650Updated 3 years ago