sile / erlls
Erlang language server
☆24Updated last month
Alternatives and similar repositories for erlls:
Users that are interested in erlls are comparing it to the libraries listed below
- Erlang code formatter☆71Updated last month
- Prolog interpreter/compiler☆33Updated 4 years ago
- A Mix plugin to use Caramel☆16Updated 3 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆15Updated last year
- Erlang RPC Client for Rust☆22Updated last year
- 🧪 This is not real code☆12Updated 2 years ago
- [WIP] Yet another Erlang implementation in Rust☆33Updated 6 years ago
- Type providers (Code generation) for Gleam programs that use Mix.☆11Updated 4 years ago
- A lightweight erlang runtime☆21Updated 4 years ago
- ONE-SHOT Algebraic Effects for Ruby!☆22Updated 4 years ago
- OCaml plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]☆31Updated last month
- [WIP] Faster Implementation of Dialyzer☆56Updated last year
- A tiny library for processing Erlang BEAM file in Rust☆21Updated last year
- ⚗️ A Rust client for the Hex package manager☆24Updated last month
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆11Updated 3 years ago
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆34Updated 4 years ago
- An Erlang source code tokenizer written in Rust.☆12Updated 2 months ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated last month
- Structurally-typed strict functional core language☆19Updated 5 months ago
- An opinionated OTP framework wrapper☆26Updated 2 months ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Updated 5 years ago
- benchmarks for mist, and other webservers☆19Updated last year
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- A home automation lib that works with Home Assistant. Created in and for Gleam Lang.☆12Updated last week
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆22Updated 4 years ago
- ☆14Updated last week
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- Experimental NIF-based HTTP Server for the BEAM☆25Updated 5 years ago
- A test runner for Gleam and Erlang.☆13Updated 4 years ago
- Logic programming with µKanren☆11Updated 4 years ago