Continuous Unix commit history from 1970 until today
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
An operating system written in D
This repository contains the source code of toro unikernel
- freepascal
- toro
- kernel
- lazarus
NT-like POSIX-compatible operating system
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64