cd /news/developer-tools/is-anyone-using-microhs · home topics developer-tools article
[ARTICLE · art-36551] src=discourse.haskell.org ↗ pub= topic=developer-tools verified=true sentiment=↑ positive

Is anyone using MicroHs?

MicroHs, a Haskell compiler, is being used in practical applications including keyboard firmware and interactive notebooks, demonstrating its growing utility beyond theoretical use. Developers report success in compiling Haskell code for hardware projects and browser-based learning tools.

read1 min views5 publishedJun 23, 2026
Is anyone using MicroHs?
Image: Discourse (auto-discovered)

janus 41 Oh, thank you. I suppose we’re ready to add it to hackage-server then. I am a bit worried about OtherCompiler. I am now wondering whether it would make sense to only make recognized compilers queryable. That way, the query language could permit multiple spellings like MicroHS

and MHS

.

It will be a while yet before MicroHs can compile all the packages needed for tests.

ijouw 43 I programmed a keyboard with Haskell by compiling with MicroHs. It links with a c sdk that supports usb hid (for sending key events) and some pin io. You can find it here.

10 Likes

That’s so cool!

I’m happy to see MicroHs actually doing something.

2 Likes

Oh so cool! I’m bookmarking this.

I want to write MicroHs and/or copilot firmware for my “boxx style” Melee controller (which is basically a rp2040 keyboard that outputs gamecube inputs but with a lot of rules about legality of those inputs for fairness).

I also noticed MicroHS being used to run Sabela interactive notebooks in the browser:

https://www.reddit.com/r/haskell/comments/1ucbg92/learn_you_a_haskell_live_notebook/

4 Likes

── more in #developer-tools 4 stories · sorted by recency
── more on @microhs 3 stories trending now
sponsored brought to you by zahid.host 4,200+ EU-deployed projects
reading about agents? ship yours in a single git push.

Run your AI side-project on zahid.host

EU-based hosting, git-push deploys, automatic HTTPS, no cold starts. Free tier with a custom domain — perfect for shipping the agent you just read about.

$git push zahid main
Live at https://your-agent.zahid.host
Get free account → Pricing
from €0/mo · no card required
LIVE [news/is-anyone-using-micr…] indexed:0 read:1min 2026-06-23 ·