Lib.rs

› Users #modality #node #machine

foysavas

Foy Savas

Joined crates-io 2 years ago. Joined GitHub 16 years ago.

GitHub
crates.io
Home (foysavas.com)
Maintainer dashboard

Member of GitHub orgs

Assembly, alphaprimevc, auxoid, buddeep

foysavas created 5 crates

modality

Sole owner since Jul 2023. Last updated a month ago.
modality-network-node

Sole owner since Dec 2024. Last updated a month ago.
modality-utils

Sole owner since Dec 2024. Last updated a month ago.
kripke-machine

Sole owner since Jul 2023. Last updated 2 years ago.
dotcontract

Sole owner since Jul 2023. Last updated 2 years ago.

Based on data from crates.io, GitHub, rustaceans.org, and other public sources. These pages are automatically generated for crates-io owners, and do not imply endorsement by either the Rust Project nor the users presented here.

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.