sile / erllsLinks
Erlang language server
☆25Updated 2 months ago
Alternatives and similar repositories for erlls
Users that are interested in erlls are comparing it to the libraries listed below
Sorting:
- Erlang code formatter☆75Updated 2 months ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Updated 2 years ago
- Erlang RPC Client for Rust☆24Updated last year
- Erlang source code parser written in Rust☆10Updated 4 years ago
- An ML-like statically-typed Erlang☆157Updated 2 years ago
- [WIP] Yet another Erlang implementation in Rust☆33Updated 6 years ago
- [WIP] Faster Implementation of Dialyzer☆56Updated last year
- Master thesis on developing a static type checker for Erlang☆27Updated 7 years ago
- 🧪 This is not real code☆13Updated 3 years ago
- ⚗️ A Rust client for the Hex package manager☆29Updated 2 months ago
- ONE-SHOT Algebraic Effects for Ruby!☆24Updated last week
- A tiny library for processing Erlang BEAM file in Rust☆23Updated 2 years ago
- Prolog interpreter/compiler☆33Updated 5 years ago
- Gleam bindings to gun, the Erlang HTTP/1.1, HTTP/2 and Websocket client☆17Updated last year
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆16Updated 2 months ago
- A Mix plugin to use Caramel☆15Updated 4 years ago
- OCaml plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]☆31Updated 2 months ago
- ONE-SHOT Algebraic Effects for Lua!☆49Updated 11 months ago
- A lightweight erlang runtime☆21Updated 4 years ago
- ☆46Updated 3 years ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Updated 6 years ago
- Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.☆48Updated 3 years ago
- refinement types for Elm☆16Updated 2 years ago
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆36Updated 5 years ago
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- A simple interpreted language written in Elixir☆26Updated 8 years ago
- A Rust implementation of Erlang External Term Format☆69Updated 5 months ago
- Verification Framework for Actor Systems on Coq☆29Updated 7 years ago
- functional programming language and its compiler☆18Updated 6 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated 11 months ago