Pinned Loading

1. turing1936 turing1936 Public

   Turing machines implemented directly from Turing's 1936 paper

   Haskell 4 1

2. church1936 church1936 Public

   Lambda calculus implemented directly from Alonzo Church's 1936 paper

   Haskell 12

3. IncludeOS IncludeOS Public

   Forked from includeos/IncludeOS

   A minimal, resource efficient unikernel for cloud services

   C++ 4 1