The First Stable Release of a Rust-Rewrite Sudo Implementation

• sudo-rs

  12 2,826 9.6 Rust

  A memory safe implementation of sudo and su.

  

It seems like those changes are noted here: https://github.com/memorysafety/sudo-rs#differences-from-ori...

• sudo

  47 1,089 9.5 C

  Utility to execute a command as another user

  

One feature they didn't mention they left out was the ability to run `make me a sandwich` (https://github.com/sudo-project/sudo/blob/main/Makefile.in#L...)

• 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.

  

• util-linux

  35 2,476 9.9 C
  

There are su and runuser in util-linux (GPL-2.0) [1].

[1]: https://github.com/util-linux/util-linux/tree/master/login-u...

• OpenDoas

  29 595 0.0 C

  A portable fork of the OpenBSD `doas` command

https://github.com/Duncaen/OpenDoas/issues/106

That's a pretty severe unsolved security issue.

• coreutils

  119 16,840 10.0 Rust

  Cross-platform Rust rewrite of the GNU coreutils

  

Would be interesting to see a a Debian derivative that combines this with the Rust Implementation Of GNU Coreutils.[1] Could be a big win for memory safety and performance.

[1] https://github.com/uutils/coreutils

• coq

  87 4,602 10.0 OCaml

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  

Are those more important than, say:

- Proven with Coq, a formal proof management system: https://coq.inria.fr/

See in the real world: https://aws.amazon.com/security/provable-security/

And check out Computer-Aided Verification (CAV).

• systemd

  510 12,457 10.0 C

  The systemd System and Service Manager

  

I get hit by this constantly: https://github.com/systemd/systemd/issues/2460

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project