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,298Updated this week
• R-O-C-K-E-T / Factorio-SAT
  Enhancing the Factorio experience with SAT solvers
  ☆746Updated 10 months ago
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆1,944Updated this week
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆942Updated this week
• Alan-Robertson / usyd_timesheet_automation
  Selenium driver to turn csv files into timesheet submissions
  ☆12Updated last year
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,657Updated last week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆649Updated last month
• davidlattimore / wild
  A very fast linker for Linux
  ☆2,237Updated this week
• flux-rs / flux
  Refinement Types for Rust
  ☆750Updated this week
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 4 years ago
• uiua-lang / uiua
  A stack-based array programming language
  ☆1,851Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆502Updated last week
• orlp / glidesort
  A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
  ☆1,637Updated 2 years ago
• RailForLess / railforless
  Amtrak fare-scraping service
  ☆80Updated last week
• konstin / sudoku-in-python-packaging
  Sudoku solving in python packaging
  ☆439Updated 8 months ago
• MrBlackRocket / LaTeX-Handout-Vorlage
  Eine Vorlage für ein Handout (Grundregel: kein Referat ohne Handout)
  ☆8Updated 8 years ago
• obi1kenobi / cargo-semver-checks
  Scan your Rust crate for semver violations.
  ☆1,427Updated this week
• piroor / treestyletab
  Tree Style Tab, Show tabs like a tree.
  ☆3,642Updated last week
• Gankra / cargo-mommy
  Mommy's here to support you when running cargo~
  ☆859Updated 11 months ago
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,529Updated last month
• SuperTails / langcraft
  Compiler from LLVM IR to Minecraft datapacks.
  ☆559Updated 3 years ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆325Updated this week
• tweag / nickel
  Better configuration for less
  ☆2,640Updated this week
• willcrichton / flowistry
  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
  ☆1,999Updated 7 months ago
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆2,168Updated this week
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆625Updated last week
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆400Updated 2 years ago
• wdanilo / crabtime
  ☆1,588Updated 2 months ago
• benruijl / symbolica
  A modern computer algebra library for Python and Rust.
  ☆621Updated this week
• model-checking / kani
  Kani Rust Verifier
  ☆2,603Updated this week