am-kantox / cure-langLinks
Cure language compiling to BEAM with FSM primitives and Dependent types
☆80Updated 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:
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 3 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 4 years ago
- Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.☆47Updated 2 years ago
- Session Types in Elixir☆47Updated 2 years ago
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆38Updated 3 years ago
- Static typechecker for Erlang☆58Updated this week
- Tree-sitter Grammar for Erlang☆91Updated last month
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- ReVault is a peer-to-peer self-hosted file synchronization project.☆56Updated 3 months ago
- Erlang code generator for Idris 2☆142Updated 2 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆114Updated 3 years ago
- Choreographic programming in Elixir☆27Updated 2 months ago
- Erlang Design by Contract☆23Updated 7 years ago
- Tree-sitter Grammar for Erlang☆33Updated 3 years ago
- simplified query engine based on logic programming paradigm☆154Updated 6 years ago
- Core runtime of Erlscripten - ERTS emulation☆16Updated 3 years ago
- WebAssembly compiler and runtime for BEAM languages☆33Updated 6 years ago
- A lightweight Erlang VM for Android☆33Updated 5 years ago
- A simple, terminal-based Erlang dashboard written in Rust☆163Updated last year
- Erlang AST to Elixir AST☆20Updated 6 months ago
- A WxErlang application to generate slidesets.☆40Updated last year
- Erlang Postgres client and connection pool☆94Updated 4 months ago
- pure functional and generic programming for Erlang☆125Updated 4 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
- ☆31Updated 3 years ago
- The next-generation debugger for Erlang.☆55Updated 2 weeks ago
- A tool for rapid profiling of Erlang and Elixir applications☆39Updated 3 years ago
- Very Simple Erlang Spell Checker☆63Updated 3 years ago
- Erlang Language Specification (Draft)☆46Updated last year
- ☆33Updated 2 years ago