gradient
Gradient is a static typechecker for Elixir (by esl)
bf
A Brainf*ck interpreter built in the TypeScript type system. (by sno2)
Our great sponsors
gradient | bf | |
---|---|---|
4 | 1 | |
427 | 70 | |
0.7% | - | |
5.4 | 1.2 | |
10 months ago | about 1 year ago | |
Elixir | TypeScript | |
Apache License 2.0 | MIT 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.
gradient
Posts with mentions or reviews of gradient.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-13.
- Gradient: A Gradual Typechecker for Elixir
-
How to Sell Elixir Again (2023)
If you're into trying out static typing in Elixir, please check out https://github.com/esl/gradient. It's still experimental, but already functional. We're happy to get any feedback or, better yet, contributions.
-
[New] How do you verify program correctness in Elixir?
If you're looking for compile-time (or actually check-time) feedback you might be interested in Gradient, a gradual type checker for Elixir and a frontend to Gradualizer. These tools, while experimental, allow for applying "making illegal states unrepresentable" principle thanks to exhaustiveness checking. In general, they are more akin to the ML-style type checking than Dialyzer is.
bf
Posts with mentions or reviews of bf.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-13.
-
How to Sell Elixir Again (2023)
for the BF programming language, written entirely using TypeScript type annotations [1].
> There's a lot of prior art described in literature as well as practical programming implementations with much crazier, yet successfully working type inference.
Has any of this been demonstrated in Elixir?
[1] https://github.com/sno2/bf
What are some alternatives?
When comparing gradient and bf you can also consider the following projects:
eqwalizer - A type-checker for Erlang
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
otp - Erlang/OTP
ts-sql - A SQL database implemented purely in TypeScript type annotations.
Gradualizer - A Gradual type system for Erlang
curriculum
Prisma - Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB
githut - Github Language Statistics