why3
Haskell support for the Why3 input format (by GaloisInc)
purescript
A strongly-typed language that compiles to JavaScript (by purescript)
Our great sponsors
why3 | purescript | |
---|---|---|
- | 52 | |
4 | 8,458 | |
- | 0.5% | |
0.0 | 6.6 | |
over 8 years 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.
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.
why3
Posts with mentions or reviews of why3.
We have used some of these posts to build our list of alternatives
and similar projects.
We haven't tracked posts mentioning why3 yet.
Tracking mentions began in Dec 2020.
purescript
Posts with mentions or reviews of purescript.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-02-29.
- Learning Elm by porting a medium-sized web front end from React (2019)
- Ask HN: Interest in a Rust-Inspired Language Compiling to JavaScript?
-
Building React Components Using Unions in TypeScript
Naturally I’d recommend using a better language such as ReScript or Elm or PureScript or F#‘s Fable + Elmish, but “React” is the king right now and people perceive TypeScript as “less risky” for jobs/hiring, so here we are.
-
Is there a better way to do read-only types
Unless you want to switch to https://www.purescript.org/.
-
Why I'm Leaving Elm
PureScript[1][2] seems pretty alive these days. From my relatively small, self-contained experiments, it's a lot more flexible and expressive than Elm at the expense of (maybe?) being a bit harder to learn up-front.
[1]: https://www.purescript.org/
[2]:https://github.com/purescript/purescript
- (strongly typed) functional language compilers running in browser
-
purescript VS purs-eval - a user suggested alternative
2 projects | 2 Mar 2023
- Por que Elm é uma linguagem tão deliciosa?
-
I will die on this hill (curve)
*cough* I mean Purescript.
-
My main beef with Haskell/JS
Assuming this is a PS knock, fwiw this went away a good bit ago: https://github.com/purescript/purescript/releases/tag/v0.14.2
What are some alternatives?
When comparing why3 and purescript you can also consider the following projects:
z3-encoding
fp-ts - Functional programming in TypeScript
peggy - The Parser Generator for Haskell
reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
language-javascript - Parser for JavaScript, in Haskell
elm-reactor
liquidhaskell - Liquid Types For Haskell
Elm - Compiler for Elm, a functional language for reliable webapps.
smt-lib - Parsing and printing SMT-LIB from Haskell.
rescript-compiler - The compiler for ReScript.
LibClang - Haskell FFI to libclang
Idris2 - A purely functional programming language with first class types