u/bathtub-01in r/haskell • Recommends
…is a graph reduction processor with automatic fine-grained threading and garbage collection implemented in hardware. For this demo, I added a simple IO interface based on AXI4-Lite, so Haskell programs can perform IO directly without a software runtime or host OS.
**Blog post:** https://bathtub-01.github.io/technical/ouros-demo/
**Demo video:** [video
There are still quite a few limitations as discussed in the blog post; currently it should still be seen as a toy. But I think having Haskell as a bare-metal programming language could be an interesting platform for further experiments.
The hardware implementation, compiler, simulator, and Vivado project are all open-source, with links an…