Hacker News Reader

"Ivory" is a Haskell embedded domain specific language for writing safe C programs. One (very loose) way of thinking of it is that it compiles a restricted subset of Haskell to low level C.

http://ivorylang.org/

There is also 'Atom' which is an embedded DSL in Haskell for writing real-time embedded systems: http://en.wikipedia.org/wiki/Atom_(programming_language)

You might consider Mirage OS (http://www.openmirage.org/) to be systems programming.

It's hard to tell what you mean by "low-level operations." A lot of systems programming, particularly the GNU suite, just deals with manipulating files, sockets, and so on, and Haskell can do that just fine.

Example: http://www.haskell.org/haskellwiki/Simple_Unix_tools

Maybe you could have a look at "Unix system programming in OCaml"?

http://ocamlunix.forge.ocamlcore.org/