The First Stable Release of a Rust-Rewrite Sudo Implementation

• sudo-rs

  13 2,927 9.2 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...

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• sudo

  50 1,200 9.0 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...)

• util-linux

  36 2,704 9.8 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 626 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

  120 17,853 9.9 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

  88 4,871 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

  552 13,363 10.0 C

  The systemd System and Service Manager

  

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

Suggest a related project