The Helios Microkernel: Written in Hare

• seL4

  60 4,538 9.0 C

  The seL4 microkernel

  

> Fuchsia/Zircon, Redox, and now this.

Don't forget the original (for Linux anyway), SEL4.

https://sel4.systems

• Helios-NG

  2 75 2.6 C

  Breathing new live in Helios, an OS from the 90's

Not to be confused with the other Helios OS - https://github.com/axelmuhr/Helios-NG

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

  

• Task

  113 10,017 9.6 MDX

  A task runner / simpler Make alternative written in Go

  

Even [task](https://github.com/go-task/task) (a tiny task-runner tool) does that... I don't know any build system that doesn't.

Perhaps the OP means full incremental compilation, which requires "cooperation" from the compilers, really (or the build tool actually parsing the language's AST like Gradle does, I believe).

• genode

  14 8 0.0 C

  Genode OS Framework

Suggest a related project