am-kantox / cure-langLinks
Cure language compiling to BEAM with FSM primitives and Dependent types
☆84Updated 3 weeks ago
Alternatives and similar repositories for cure-lang
Users that are interested in cure-lang are comparing it to the libraries listed below
Sorting:
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆68Updated 4 years ago
- Session Types in Elixir☆47Updated 2 years ago
- Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.☆47Updated 3 years ago
- Tree-sitter Grammar for Erlang☆92Updated 2 months ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆35Updated 3 years ago
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆38Updated 3 years ago
- ReVault is a peer-to-peer self-hosted file synchronization project.☆57Updated 3 months ago
- Static typechecker for Erlang☆58Updated last week
- BEAM Jupyter Kernels Tool☆33Updated 11 months ago
- A simple, terminal-based Erlang dashboard written in Rust☆163Updated last year
- ☆33Updated 2 years ago
- Very Simple Erlang Spell Checker☆63Updated 3 years ago
- 🌉 Elixir Pods enables communication with external programs using stdin and stdout☆12Updated last year
- WebAssembly compiler and runtime for BEAM languages☆33Updated 6 years ago
- Choreographic programming in Elixir☆27Updated 3 months ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- simplified query engine based on logic programming paradigm☆155Updated 6 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆114Updated 3 years ago
- ☆31Updated 3 years ago
- Erlang Design by Contract☆23Updated 7 years ago
- Erlang code generator for Idris 2☆142Updated 2 years ago
- An Erlang/Elixir interpreter that runs in the browser☆17Updated 5 years ago
- Demonstration project for getting using gleam inside a mix/elixir project☆30Updated 4 years ago
- First-class effects for Elixir☆16Updated 6 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆68Updated 6 years ago
- A relational programming language in Elixir, based on micro/miniKanren.☆18Updated 2 years ago
- A tool for rapid profiling of Erlang and Elixir applications☆39Updated 4 years ago
- A blazing fast JSON parser and generator in pure Erlang.☆168Updated last year
- High-performance, concurrent, and mutable Cuckoo Filter for Erlang and Elixir☆48Updated last year
- 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