bf
A Brainf*ck interpreter built in the TypeScript type system. (by sno2)
gradient
Gradient is a static typechecker for Elixir (by esl)
SurveyJS - Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App
With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
surveyjs.io
featured
bf | gradient | |
---|---|---|
1 | 4 | |
70 | 428 | |
- | 0.5% | |
1.2 | 5.4 | |
about 1 year ago | 10 months ago | |
TypeScript | Elixir | |
MIT License | Apache License 2.0 |
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.
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
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.
What are some alternatives?
When comparing bf and gradient you can also consider the following projects:
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
eqwalizer - A type-checker for Erlang
ts-sql - A SQL database implemented purely in TypeScript type annotations.
otp - Erlang/OTP
curriculum
Gradualizer - A Gradual type system for Erlang
Prisma - Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB
githut - Github Language Statistics