Lib.rs

› Users #datalog #eqlog #equality

mbid

Martin Bidlingmaier

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

GitHub
crates.io
Home (mbid.me)
Maintainer dashboard

mbid created 4 crates

eqlog

Sole owner since Aug 2022. Updated 12 hours ago.
eqlog-eqlog

Sole owner since Oct 2023. Updated 12 hours ago.
eqlog-runtime

Sole owner since Aug 2022. Updated 12 hours ago.
latex-to-html

Sole owner since Oct 2022. 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.