Skip to content

kidq330/flux

 
 

Repository files navigation

flux logo

flux is a refinement type checker for Rust.

Online Demo

You can try flux online at this site

Overview

For an overview, take a look at the flux website.

Docs

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

About

Refinement Types for Rust

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 97.9%
  • TypeScript 1.1%
  • Fluent 0.7%
  • Python 0.3%
  • JavaScript 0.0%
  • CSS 0.0%