liquid-fixpoint
purescript
Our great sponsors
| liquid-fixpoint | purescript | |
|---|---|---|
| - | 52 | |
| 128 | 8,452 | |
| 0.0% | 0.4% | |
| 8.9 | 6.6 | |
| 17 days ago | 3 days ago | |
| Haskell | Haskell | |
| BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License |
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.
liquid-fixpoint
We haven't tracked posts mentioning liquid-fixpoint yet.
Tracking mentions began in Dec 2020.
purescript
- 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.
- (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?
lens-toml-parser - Lenses for toml-parser
fp-ts - Functional programming in TypeScript
language-python - A parser for Python 2.x and 3.x written in Haskell
reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Nomyx - The Nomyx game
elm-reactor
haskell-tools-ast - Developer tools for Haskell
Elm - Compiler for Elm, a functional language for reliable webapps.
haskell-exp-parser - Simple parser parser from Haskell to TemplateHaskell expressions
rescript-compiler - The compiler for ReScript.
liquidhaskell - Liquid Types For Haskell
Idris2 - A purely functional programming language with first class types