About | FAQ | Backlog
FOSSfind.com
Open Source projects, categorized.
add filters by typing...
...or clicking
matrioshka
[0 users on Ohloh]
Tags: os haskell
A kernel design that makes use of mathematical rigor and advanced type systems to provide stability & security.