acutis
caramel
acutis | caramel | |
---|---|---|
1 | 8 | |
20 | 1,036 | |
- | 0.4% | |
8.4 | 0.0 | |
7 days ago | 7 months ago | |
OCaml | OCaml | |
Mozilla Public License 2.0 | Apache License 2.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.
acutis
-
Non-empty arrays and lists in ReScript
That being said, this was the type I ended up using in my project. The downsides weren’t relevant to my use case. This is partially because I was mostly using custom functions already, so I could optimize them myself.
caramel
-
Gleam
Caramel is a very similar language (ML dialect) that builds for BEAM.
https://caramel.run/
- I hereby officially announce the Elixir type system effort is into development
-
ML Dialects and Haskell: SML, OCaml, F#, Haskell
I’m guessing you’ve referring to what https://caramel.run/ could’ve been?
I think Gleam is pretty good enough to get that typed feel on the BEAM.
-
Is there a language like Erlang with a stricter type system?
Take a look at Gleam and Caramel
-
Why Erlang?
Somewhat related: https://caramel.run/
Ocaml on the Erlang VM!
- Caramel - an OCaml for the Erlang VM
-
Crystal Lang 1.0 Release
Then Caramel just might end your search!
https://caramel.run/
-
Caramel: An OCaml for the Erlang VM
Good points! I've made 3 issues to make sure we get this done.
https://github.com/AbstractMachinesLab/caramel/issues/73
What are some alternatives?
scriban - A fast, powerful, safe and lightweight scripting language and engine for .NET
gleam - ⭐️ A friendly language for building type-safe, scalable systems!
coq-of-ocaml - Formal verification for OCaml
awesome-crystal - :gem: A collection of awesome Crystal libraries, tools, frameworks and software
otp - Erlang/OTP
php-spx - A simple & straight-to-the-point PHP profiling extension with its built-in web UI
Arrow Meta - Functional companion to Kotlin's Compiler
athena - An ecosystem of reusable, independent components
entendrepreneur - program for generating funny portmanteaus and rhymes
nx - Multi-dimensional arrays (tensors) and numerical definitions for Elixir
Elixir - Elixir is a dynamic, functional language for building scalable and maintainable applications
FrameworkBenchmarks - Source for the TechEmpower Framework Benchmarks project