sile/erlls external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sile/erlls

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sile/erlls)

Close

sile / erllsView on GitHubMore

• External links
• Readme badge

Erlang language server

☆25Mar 2, 2026Updated last week

Alternatives and similar repositories for erlls

Users that are interested in erlls are comparing it to the libraries listed below

• sile / efmt

  View on GitHub
  Erlang code formatter
  ☆75Feb 13, 2026Updated 3 weeks ago
• janestreet / sexp_pretty

  View on GitHub
  S-expression pretty-printer
  ☆22Jan 15, 2026Updated last month
• blntk / sfpl

  View on GitHub
  A simple functional programming language.
  ☆22Jun 3, 2021Updated 4 years ago
• ymyzk / lambda-dti

  View on GitHub
  Interpreter of the ITGL with dynamic type inference
  ☆22Feb 24, 2025Updated last year
• konn / qualified_do

  View on GitHub
  ☆22Jan 23, 2025Updated last year
• mb64 / poly

  View on GitHub
  A WIP compiler for a functional language. Very incomplete!
  ☆16Nov 6, 2021Updated 4 years ago
• uhyo / css-grid-quiz

  View on GitHub
  ☆11Jan 26, 2022Updated 4 years ago
• tydeu / lean4-partax

  View on GitHub
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Dec 10, 2023Updated 2 years ago
• phadej / cabal-sat

  View on GitHub
  Using cabal-install as SAT solver
  ☆13Aug 29, 2023Updated 2 years ago
• alexhumphreys / hello-idris2

  View on GitHub
  A template for idris projects
  ☆11Jun 27, 2021Updated 4 years ago
• jclark / semtype

  View on GitHub
  Semantic subtype for the Ballerina programming language, implemented in Ballerina.
  ☆11May 27, 2021Updated 4 years ago
• filmor / exerl

  View on GitHub
  exerl
  ☆16Feb 12, 2025Updated last year
• f-f / spaghetto

  View on GitHub
  ☆15Sep 28, 2022Updated 3 years ago
• robrix / silkscreen

  View on GitHub
  Prettyprinting transformers for rainbow parens, precedence, etc.
  ☆16Feb 27, 2022Updated 4 years ago
• michallepicki / suber

  View on GitHub
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆10Oct 13, 2021Updated 4 years ago
• haskell-spec / haskell-spec

  View on GitHub
  Formal specification of the Haskell Language Report
  ☆32Updated this week
• mitsuchi / ron

  View on GitHub
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆17Nov 17, 2025Updated 3 months ago
• ekmett / parsnip

  View on GitHub
  ☆18Mar 24, 2021Updated 4 years ago
• AbstractMachinesLab / mix_caramel

  View on GitHub
  A Mix plugin to use Caramel
  ☆15Oct 24, 2021Updated 4 years ago
• TheMatten / hask

  View on GitHub
  Funny little Haskell impl
  ☆18Oct 28, 2020Updated 5 years ago
• re-xyr / speff

  View on GitHub
  Fast, experimental effect handlers with delimited control
  ☆21Jan 1, 2024Updated 2 years ago
• kolmodin / herl

  View on GitHub
  Erlang BEAM emulator in Haskell
  ☆48Jun 14, 2014Updated 11 years ago
• SimonJF / mbcheck

  View on GitHub
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆20Jan 15, 2026Updated last month
• sile / nojson

  View on GitHub
  A flexible Rust JSON library with no dependencies and no macros
  ☆41Updated this week
• UlfNorell / agda-bench

  View on GitHub
  Benchmarking tool for compile-time performance of Agda programs
  ☆19Jan 26, 2022Updated 4 years ago
• michalmuskala / xref.rs

  View on GitHub
  Rust reimplementation of subset of Erlang's xref
  ☆15Nov 28, 2021Updated 4 years ago
• samskivert / bidir-scala

  View on GitHub
  A simple bidirectional type checker
  ☆18Feb 27, 2019Updated 7 years ago
• pnwamk / sst-tutorial

  View on GitHub
  ☆18Nov 23, 2021Updated 4 years ago
• wrengr / bytestring-trie

  View on GitHub
  An efficient finite map from (byte)strings to values.
  ☆20May 1, 2025Updated 10 months ago
• gfngfn / game_tianjiupai

  View on GitHub
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆16Oct 8, 2023Updated 2 years ago
• dalance / sdcx

  View on GitHub
  ☆21Feb 20, 2026Updated 2 weeks ago
• lpil / nerf

  View on GitHub
  Gleam bindings to gun, the Erlang HTTP/1.1, HTTP/2 and Websocket client
  ☆17Mar 20, 2024Updated last year
• k32 / Lee

  View on GitHub
  THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang
  ☆19Nov 15, 2025Updated 3 months ago
• midas-framework / erlang_library_runtime

  View on GitHub
  A lightweight erlang runtime
  ☆21Feb 13, 2021Updated 5 years ago
• WhatsApp / tree-sitter-erlang

  View on GitHub
  Tree-sitter Grammar for Erlang
  ☆94Dec 22, 2025Updated 2 months ago
• typedbyte / effet

  View on GitHub
  An effect system based on type classes, written in Haskell.
  ☆45Nov 10, 2021Updated 4 years ago
• 4y8 / ski-in-asm

  View on GitHub
  A SKI combinators interpreter written in assembly
  ☆20Jul 25, 2020Updated 5 years ago
• Kyorai / cuttlefish

  View on GitHub
  Erlang library to read sysctl-like configuration files
  ☆22Oct 29, 2025Updated 4 months ago
• pabloariasal / protofmt

  View on GitHub
  Formatter for Protocol Buffer files
  ☆29Jul 14, 2022Updated 3 years ago