idris-elm
roc
| idris-elm | roc | |
|---|---|---|
| 1 | 23 | |
| 13 | 3,584 | |
| - | 4.0% | |
| 10.0 | 10.0 | |
| about 5 years ago | 2 days ago | |
| Idris | Rust | |
| - | Universal Permissive License v1.0 |
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.
idris-elm
-
Is there an Elm like framework for cross-platform apps?
Then there's Idris, with idris-elm, and Idris targets quite a lot of languages. I don't use it myself, so I'm not sure how idris-elm would adapt outside Web applications.
roc
- Roc a fast, friendly, functional language
-
Roc – A fast, friendly, functional language
Their FAQ is an eminently reasonable breakdown of their choices:
https://github.com/roc-lang/roc/blob/main/FAQ.md
I don't fully agree with all of the reasoning, but it's a reasonable position to stake.
-
DreamBerd is a perfect programming language
If you forget what parametrisation and functions are, then Roc's modules look like they actually do that.
-
What If? Driven Development
Reminds me of: https://github.com/roc-lang/roc/blob/main/FAQ.md#why-doesnt-...
-
Current Issues with the Qt Project – From the Outside Looking In
> How would a user interface written in a functional language look?
Maybe you're not aware of Elm?
https://elm-lang.org
Elm is really functional, unlike the likes of React that are just partially, kind of functional.
There's an attempt at bringing Elm to the desktop, the Roc language... here's an UI example written in Roc:
https://github.com/roc-lang/roc/blob/main/examples/gui/hello...
-
Why and How We Retired Elm at Culture Amp
What are your thoughts on the direct descendant, Roc? [0] I know it's pre v0.1 so maybe you don't have any, but as a fellow Elm lover it seems pretty compelling on the surface albeit less directly frontend-dev focused.
[0] https://github.com/roc-lang/roc
-
The Spinnaker Programming Language
I might be misunderstanding something, but, for example, look at this "host"/platform: https://github.com/roc-lang/roc/blob/main/examples/cli/tui-platform/host.zig
- Roc's standard library was briefly written in Rust, but was soon rewritten in Zig.
-
When Zig is safer and faster than Rust
You are not alone. The other day I was checking out a new programming language and the author rewrote the unsafe rust part to zig: https://github.com/roc-lang/roc/blob/main/FAQ.md#why-does-ro...
-
Ask HN: What Happened to Elm?
Check out Roc[0][1] by Richard Feldman; it's early-stages (perhaps earlier stages than Elm?) but from everything I've seen it looks a bit like a spiritual successor to Elm, though focused more on native applications (but still seems to have its sights set on webassembly support too)
[0] https://www.roc-lang.org
[1] https://github.com/roc-lang/roc
What are some alternatives?
purescript-flame - Fast & simple framework for building web applications
lean4 - Lean 4 programming language and theorem prover
purescript-elmish - A PureScript implementation of The Elm Architecture
articles - Miscellaneous articles. The readme is the table of contents.
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
purescript - A strongly-typed language that compiles to JavaScript
create-react-app - Set up a modern web app by running one command.
iced - A cross-platform GUI library for Rust, inspired by Elm
package.elm-lang.org - website for browsing packages and exploring documentation
purescript-cookbook - An unofficial Cookbook for PureScript