typestate-rs
megra.rs
typestate-rs | megra.rs | |
---|---|---|
3 | 1 | |
130 | 54 | |
0.0% | - | |
2.1 | 9.1 | |
10 months ago | 1 day ago | |
Rust | Rust | |
Apache License 2.0 | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
typestate-rs
-
Taming stateful computations in Rust with typestates (Journal of Computer Languages, 2022)
Our work only requires a Rust compiler, avoiding workflow bloat and keeping the development experience simple; it is open-source and available at https://github.com/rustype/typestate-rs.
- A typestate DSL embedded in Rust
megra.rs
What are some alternatives?
multiversion - Easy function multiversioning for Rust
vormbaar - Custom VM project. Should evolve into a full programming environment some day.
born - Remove code duplication from Struct and Enum with functional macros.
vormbaar - Custom VM project. Should evolve into a full programming environment some day. [Moved to: https://github.com/vormbaar/vormbaar]
default-args.rs - zero runtime cost default arguments in rust
xml-mut - xml mutation language resembling sql
fncmd - Command line interface as a function.
glicol - Graph-oriented live coding language and music/audio DSP library written in Rust
hado-rs
fathom - 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
regexm - A Rust macro for writing regex pattern matching.
percival - 📝 Web-based, reactive Datalog notebooks for data analysis and visualization