[Haskell-cafe] Retro/indie Haskell to appreciate

Rishiyur Nikhil nikhil at acm.org
Mon Mar 21 20:54:37 UTC 2022

>    I’m looking to appreciate “retro” Haskell projects, things from before
stabilization/company use.
>    Such as:
>    ...
>    BlueSpec compiler https://github.com/B-Lang-org/bsc

Note, the Bluespec compiler, though written in "retro" Haskell,
remains in daily production use (as it has been, for 2 decades).

Another project, written a few years ago but in totally "retro" style
is Forvis, a complete executable spec for the RISC-V instruction set:


Covers RV32 and RV64; unprivileged and privileged:
  unprivileged ISA:
      I (basic integer)
      M (integer multiply/divide)
      A (atomics)
      F, D (single and double precision floating point)
      C (compressed)
  privileged ISA:
      M (machine), S (supervisor) and U (user modes)
      Sv32, Sv39 and Sv48 virtual memory
and has successfully booted a Linux kernel.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20220321/2ba0b36d/attachment.html>

More information about the Haskell-Cafe mailing list