am-kantox / cure-langLinks
Cure language compiling to BEAM with FSM primitives and Dependent types
☆55Updated this week
Alternatives and similar repositories for cure-lang
Users that are interested in cure-lang are comparing it to the libraries listed below
Sorting:
- Static typechecker for Erlang☆58Updated this week
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- A simple, terminal-based Erlang dashboard written in Rust☆162Updated last year
- Session Types in Elixir☆49Updated 2 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 3 years ago
- Erlang Postgres client and connection pool☆93Updated 4 months ago
- Tree-sitter Grammar for Erlang☆91Updated last month
- Erlang TOML Parser☆22Updated 2 years ago
- Adopting Erlang service discovery project☆59Updated 11 months ago
- ReVault is a peer-to-peer self-hosted file synchronization project.☆56Updated 2 months ago
- A Rust implementation of Erlang External Term Format☆69Updated 2 months ago
- Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.☆47Updated 2 years ago
- pure functional and generic programming for Erlang☆124Updated 4 months ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 4 years ago
- A blazing fast JSON parser and generator in pure Erlang.☆167Updated last year
- Erlang Benchmarking Suite. Simpler way to say "this code is faster".☆136Updated last year
- BEAM VM telemetry collector☆72Updated 5 months ago
- Very Simple Erlang Spell Checker☆63Updated 3 years ago
- The core of an Erlang linter☆72Updated 2 weeks ago
- Adopting Erlang is an ongoing effort to gather all the resources that will help you use Erlang in a business☆125Updated 6 months ago
- ☆33Updated 6 months ago
- A weed is a plant considered undesirable in a particular situation, "a plant in the wrong place". Taxonomically, the term "weed" has no b…☆49Updated 2 years ago
- Erlang Formatter for Rebar3☆113Updated 5 months ago
- Project for tracking the work of the Observability Working Group☆63Updated 3 years ago
- Install and control active BEAM languages and components☆58Updated 8 months ago
- BEAM Jupyter Kernels Tool☆33Updated 10 months ago
- Core runtime of Erlscripten - ERTS emulation☆16Updated 3 years ago
- Scalable Process Groups☆91Updated last year
- A tool for rapid profiling of Erlang and Elixir applications☆39Updated 3 years ago
- A list of companies currently using Erlang in production.☆72Updated last year