penrose VS miso

Compare penrose vs miso and see what are their differences.


Haskell to JavaScript compiler, based on GHC (by ghcjs)
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
penrose miso
16 18
2,591 2,133
0.0% -
0.0 6.0
about 1 year ago 12 days ago
Haskell Haskell
MIT License BSD 3-clause "New" or "Revised" License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.


Posts with mentions or reviews of penrose. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-03-10.
  • Secretly introduced rust in my company, now they love it!
    2 projects | /r/rust | 10 Mar 2023
    There is a fork that compiles to js compiler, and I believe the official glasgow compiler is working towards also supporting js/wasm (although I don't think they are supported as of yet).
  • Resurrection/modernization of an old Haskell+Haste project (boardgame Yinsh)
    8 projects | /r/haskell | 8 Feb 2023
    I don't know anything about Haste, but you can get GHCJS 8.6 (or 8.10 with a bloated executable) via nix fairly easily or alternatively wait until the JS target recently merged into mainline ghc gets production ready:
  • How does GHC built from source set header search path?
    2 projects | /r/haskell | 22 Jan 2023
    Ah GHCJS does have this header:
  • Haskell, JS, and WebDev?
    3 projects | /r/haskell | 12 Jan 2023
  • GHCJS or Asterius
    2 projects | /r/haskell | 3 Oct 2022
    About the FFI: GHCJS extended the FFI to support inlined JS, named arguments, etc. See For now the JS backend only implements FFI calls similarly to native FFI. The rest will be open to discussion later (e.g. in a ghc-proposal) and should take into account the Wasm backend so that the same user code compiles with both backends as much as possible.
  • Memory from finished thread is not getting reclaimed
    7 projects | /r/haskell | 9 Sep 2021
    I know, but I'm using GHCJS so I'm pretty much stuck with it (and using different compiler versions for development builds (which are native executables) and production doesn't seem like a good idea). There is hope though
    7 projects | /r/haskell | 9 Sep 2021
    Other than that, I ran into a GHCJS and Miso bug, but they weren't too hard to solve.
  • GHC Pluggable Backend?
    4 projects | /r/haskell | 4 May 2021
    There are a bunch of open branches. And yes, there is ghcjs support in haskell.nix, see this comment.
  • Is GHCJS stuck on GHC 8.6.5?
    3 projects | /r/haskell | 17 Apr 2021
    Default branch on ghcjs github is 8.6. 8.10 is a wip with commit from around a month ago.
    3 projects | /r/haskell | 17 Apr 2021
    When I compile the ghc-8.8 branch locally, I get a number of test failures from the test suite. I'm not sure exactly how to fix them and they aren't currently my highest hobby priority.


Posts with mentions or reviews of miso. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-06-08.

What are some alternatives?

When comparing penrose and miso you can also consider the following projects:

ihp - 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

graphite - Haskell graphs and networks library

ascii-art-to-unicode - Small program to convert ASCII box art to Unicode box drawings.

hevm - Dapp, Seth, Hevm, and more

adjunctions - Simple adjunctions

helf - Haskell implementation of the Edinburgh Logical Framework

Agda - Agda is a dependently typed programming language / interactive theorem prover.

containers - Assorted concrete container types

obelisk - Functional reactive web and mobile applications, with batteries included.

psqueues - Priority Search Queues in three different flavors for Haskell

distributive - Dual Traversable