Skip to content

@flux-rs flux-rs

Change the repository type filter

All

    Repositories list

    19 repositories

    • flux

      Public
      Refinement Types for Rust
      rustrefinement-types
      Rust
      •
      MIT License
      •28•805•69•9•Updated Dec 24, 2025Dec 24, 2025

    • flux-demo

      Public
      Small examples that demonstrate how flux works
      Rust
      •
      MIT License
      •1•5•0•0•Updated Nov 25, 2025Nov 25, 2025

    • wave

      Public
      Verified Wasm runtime
      Rust
      •8•2•0•0•Updated Nov 17, 2025Nov 17, 2025

    • verify-rust-std

      Public
      Verifying the Rust standard library
      Rust
      •
      Other
      •14k•0•0•2•Updated Nov 5, 2025Nov 5, 2025

    • flux-playground

      Public
      A simple mock of the rust playground to be able to run flux on mdbook
      TypeScript
      •0•0•1•0•Updated Oct 31, 2025Oct 31, 2025

    • flux-verify-std

      Public
      Rust
      •
      MIT License
      •1•0•0•0•Updated May 12, 2025May 12, 2025

    • mdbook-slides-plugin

      Public
      Short plugin to wrap <div> around sections
      Rust
      •
      MIT License
      •0•0•0•0•Updated Apr 14, 2025Apr 14, 2025

    • popl25

      Public
      0•0•0•0•Updated Nov 22, 2024Nov 22, 2024

    • rust-smallvec

      Public
      "Small vector" optimization for Rust: store up to a small number of items on the stack
      Rust
      •
      Apache License 2.0
      •164•0•0•0•Updated Nov 21, 2024Nov 21, 2024

    • zkevm-circuits

      Public
      Fork to fluxify code.
      Rust
      •
      MIT License
      •848•1•0•1•Updated Sep 19, 2024Sep 19, 2024

    • rdiesel

      Public
      Rust
      •0•0•0•0•Updated Jul 9, 2024Jul 9, 2024

    • soroban-examples

      Public
      Example Soroban Contracts
      Rust
      •
      Apache License 2.0
      •98•0•0•0•Updated Feb 22, 2024Feb 22, 2024

    • rs-soroban-sdk

      Public
      Rust SDK for Soroban contracts.
      Rust
      •
      Apache License 2.0
      •89•0•0•0•Updated Feb 22, 2024Feb 22, 2024

    • pldi23-artifact

      Public
      Rust
      •1•0•0•1•Updated Apr 7, 2023Apr 7, 2023

    • flux-rs.github.io

      Public
      Webpage for Flux
      HTML
      •0•2•0•0•Updated Feb 27, 2023Feb 27, 2023

    • examples

      Public
      Some simple snippets illustrating possible use-cases
      Rust
      •
      MIT License
      •1•2•0•0•Updated Feb 24, 2023Feb 24, 2023

    • docs

      Public
      Documentation for `flux`
      MIT License
      •0•1•0•0•Updated Jan 7, 2023Jan 7, 2023

    • polonius

      Public
      Defines the Rust borrow checker.
      Rust
      •
      Apache License 2.0
      •80•0•0•0•Updated Aug 30, 2022Aug 30, 2022

    • flux-wrapper

      Public
      Simple binary executable that runs flux to generate JSON for web demo
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Apr 29, 2022Apr 29, 2022