https://github.com/flux-rs/flux

Refinement Types for Rust
https://github.com/flux-rs/flux

refinement-types rust

Last synced: about 1 month ago
JSON representation

Refinement Types for Rust

• Host: GitHub
• URL: https://github.com/flux-rs/flux
• Owner: flux-rs
• License: mit
• Created: 2021-02-18T12:51:06.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-02-10T03:21:52.000Z (5 months ago)
• Last Synced: 2024-02-10T03:54:48.528Z (5 months ago)
• Topics: refinement-types, rust
• Language: Rust
• Homepage:
• Size: 25 MB
• Stars: 537
• Watchers: 11
• Forks: 18
• Open Issues: 19
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - Flux - izcFCHN2o):star:[:lab_coat:](https://arxiv.org/pdf/2207.04034.pdf):fire: - refinement type checker for Rust. (Projects / Verification)
• awesome-ccamel - flux-rs/flux - Refinement Types for Rust (Rust)

README

        


`flux` is a refinement type checker for Rust.

# Online Demo

You can try `flux` [online at this site](https://flux.programming.systems)

# Overview

For an overview, take a look at the [`flux` website](https://flux-rs.github.io).

# Docs

Documentation, including installation and usage guides can be found on the

[website](https://flux-rs.github.io/flux).