Lib.rs

› Users #zest #sat-solver #notes

vigoux

Thomas Vigouroux

Joined crates-io 3 years ago. Joined GitHub 5 years ago.

GitHub
crates.io
Home (scm.vigoux.eu)
Maintainer dashboard

Member of GitHub orgs

Neovim, nvim-treesitter

vigoux created 4 crates

satlog

Sole owner since Apr 2023. Last updated a year ago.
zest-cli

Sole owner since Sep 2021. Last updated 2 years ago.
redict

Sole owner since Jan 2021. Last updated 3 years ago.
generic-newton

Sole owner since Aug 2020. Last updated 3 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.