MirageOS is a library operating system that constructs unikernels
EdulibreOS is an operating system based on Ubuntu GNU/Linux
Structure parameter inference approach for endocrine feedback control
OviOS Linux
A text editor that works like you'd expect
The Simple Intelligent and Modular Programming Language & Environment
Multiplatform data-driven test automation execution services
SPA: a short peptide assembler for metagenomic data
USB Drive Writable Linux Distribution
dependently typed functional programming language
although fully functional, this is a pre-framework that you can extend