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

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

refinement-types rust

Last synced: 1 day 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-10-29T17:14:21.000Z (7 days ago)
• Last Synced: 2024-10-29T17:25:14.366Z (7 days ago)
• Topics: refinement-types, rust
• Language: Rust
• Homepage:
• Size: 77.3 MB
• Stars: 647
• Watchers: 11
• Forks: 21
• Open Issues: 42
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

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

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).