L4re-core Alternatives

Similar projects and alternatives to l4re-core

• seL4

  60 4,530 9.0 C l4re-core VS seL4

  The seL4 microkernel

  

• gem5

  3 1,404 9.8 C++ l4re-core VS gem5

  The official repository for the gem5 computer-system architecture simulator.

  

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

  

• distortos

  1 430 2.3 C++ l4re-core VS distortos

  object-oriented C++ RTOS for microcontrollers

  

• managarm

  10 1,302 9.3 C++ l4re-core VS managarm

  Pragmatic microkernel-based OS with fully asynchronous I/O

  

• Macaron

  1 43 0.0 C++ l4re-core VS Macaron

  A sweet hobby made operating system written in C++ for x86 CPUs with GUI (by MacaronOS)

  

• dosbox-staging

  105 1,165 9.9 C++ l4re-core VS dosbox-staging

  DOSBox Staging is a modern continuation of DOSBox with advanced features and current development practices.

  

• sse2neon

  7 1,220 7.4 C++ l4re-core VS sse2neon

  A translator from Intel SSE intrinsics to Arm/Aarch64 NEON implementation

  

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