Drew DeVault's take on rewriting everything in rust

• cryptography

  70 6,291 9.9 Python

  cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.

  

I know. That's why I linked in the bug report when that hit. Here: https://github.com/pyca/cryptography/issues/5771 . Notice that Drew is in that thread. I thought the thread was insightful as to developer vs. packager interaction ... and is probably the motivation for Drew's article.

• cross

  118 5,909 9.2 Rust

  “Zero setup” cross compilation and “cross testing” of Rust crates

  

Your other option is to cross compile, no? cross looks really easy to set up compared to a traditional C cross toolchain, because cross uses containers.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• l4v

  15 488 9.6 Isabelle

  seL4 specification and proofs

  

Yes! https://github.com/seL4/l4v/tree/master/spec/haskell

Suggest a related project