What in the name of all that's holy is going on with software ?

This page summarizes the projects mentioned and recommended in the original post on /r/sysadmin
CSS isabelle Software design-system sel4-proofs

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • podman

    Podman: A tool for managing OCI containers and pods.

    • concept yes, implementation no. you should try PodMan

  • 98.css

    A design system for building faithful recreations of old UIs

    • What would they teach - the classic "complete and consistent" UI philopsophies would be either Xerox Star, NextSTEP, or Windows 98 style - and they're mostly not something you can use any more.

  • WorkOS

    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.

    WorkOS logo

  • l4v

    seL4 specification and proofs

    • When something like the seL4 microkernel is formally verified, the remaining bugs should only be bugs in the specification, not the implementation.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts