Genode – Sculpt Operating System 21.10

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
Rust sel4 userland

InfluxDB - 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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • ferros

    A Rust-based userland which also adds compile-time assurances to seL4 development.

    • We built a thing to enable combining Rust applications together to be hosted on the seL4 microkernel. The developer experience is more akin to that of something like an RTOS where the OS and your applications are built and deployed together. The whole premise of it is decidedly non-POSIX-like. The current point is for assembling software for use-case-specific/appliance computing, not general purpose computing. (https://github.com/auxoncorp/ferros)

    We're looking both for contributors and also actively hiring for a couple engineering positions for the above and for or mainline product.

  • InfluxDB

    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.

    InfluxDB logo
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

  • My Fear of Commitment to the First CPU Core

    2 projects | news.ycombinator.com | 12 Feb 2023

  • FerrOS: Rust-y unikernels on seL4

    2 projects | /r/rust | 9 Nov 2022

  • Open sourced: Easier builds and stronger types for seL4 with Rust

    2 projects | /r/rust | 10 Sep 2021

  • Rust, WASM, and LOK

    3 projects | dev.to | 1 May 2024

  • How to ditch Neon

    2 projects | dev.to | 1 May 2024