Lib.rs

› Users #smt-lib #elliptic-curve #protocols

keks

Jan Winkelmann

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

GitHub
crates.io
Maintainer dashboard

Member of GitHub orgs

LeastAuthority, scuttlebutt-eu

keks created 4 crates

smtlib-syntax

Sole owner since Feb 2024. Last updated 8 months ago.
unionize

Sole owner since Jun 2023. Last updated a year ago.
xs233

Sole owner since May 2023. Last updated a year ago.
xs233-sys

Sole owner since May 2023. Last updated a year 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.