Pinned Loading
-
turing1936
turing1936 PublicTuring machines implemented directly from Turing's 1936 paper
-
church1936
church1936 PublicLambda calculus implemented directly from Alonzo Church's 1936 paper
Haskell 12
-
IncludeOS
IncludeOS PublicForked from includeos/IncludeOS
A minimal, resource efficient unikernel for cloud services
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.