Haskell (GHC at least) has lightweight user-level threads, similar to Erlang.