A rendition of everyone's favorite 1995 Microsoft operating system for Linux.

Minimal and clean examples of machine learning algorithms implementations

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…

Deeply link a target based on hints in C code

The seL4 microkernel