am-kantox / cure-langLinks
Cure language compiling to BEAM with FSM primitives and Dependent types
☆87Updated 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:
- simplified query engine based on logic programming paradigm☆155Updated 6 years ago
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆39Updated 3 years ago
- Session Types in Elixir☆48Updated 2 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆35Updated 3 years ago
- Erlang AST to Elixir AST☆20Updated 7 months ago
- Core runtime of Erlscripten - ERTS emulation☆16Updated 3 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆68Updated 4 years ago
- Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.☆47Updated 3 years ago
- ReVault is a peer-to-peer self-hosted file synchronization project.☆57Updated 4 months ago
- Tree-sitter Grammar for Erlang☆94Updated 2 weeks ago
- Very Simple Erlang Spell Checker☆63Updated 3 years ago
- 🔥 NITRO: Nitrogen Web Framework RFC 6455☆56Updated last year
- A WxErlang application to generate slidesets.☆40Updated last year
- Static typechecker for Erlang☆58Updated 3 weeks ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- The core of an Erlang linter☆72Updated 2 months ago
- WebAssembly compiler and runtime for BEAM languages☆33Updated 6 years ago
- A lightweight Erlang VM for Android☆32Updated 5 years ago
- Erlang code generator for Idris 2☆143Updated 2 years ago
- ☆31Updated 3 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆114Updated 3 years ago
- BEAM Jupyter Kernels Tool☆33Updated last year
- A simple, terminal-based Erlang dashboard written in Rust☆163Updated last year
- pure functional and generic programming for Erlang☆126Updated 6 months ago
- Choreographic programming in Elixir☆28Updated 3 months ago
- An (accurate) list of awesome Erlang resources☆70Updated last month
- ☆33Updated 2 years ago
- A blazing fast JSON parser and generator in pure Erlang.☆168Updated last year
- Math expression parser and evaluator☆23Updated 7 years ago
- A lightweight erlang runtime☆21Updated 4 years ago