Alternatives and similar repositories for Idris2-Erlang

Users that are interested in Idris2-Erlang are comparing it to the libraries listed below

• MarcelineVQ / idris2-elab-deriving

  View on GitHub
  implementation deriving for idris2
  ☆12Feb 21, 2021Updated 4 years ago
• Russoul / Idris2-Lua

  View on GitHub
  Lua backend for Idris 2
  ☆28Aug 14, 2022Updated 3 years ago
• hydrolarus / toml-idr

  View on GitHub
  A TOML parser for Idris 2
  ☆17Jun 27, 2024Updated last year
• Russoul / Idris2-Effect

  View on GitHub
  Experimental effects library for Idris 2
  ☆43May 13, 2022Updated 3 years ago
• Z-snails / Idris2-Grin

  View on GitHub
  GRIN backend for Idris2
  ☆33Jul 3, 2022Updated 3 years ago
• christian-public / typedtext.io

  View on GitHub
  ☆10Sep 28, 2020Updated 5 years ago
• thaterikperson / erie

  View on GitHub
  A statically-typed lisp for the BEAM
  ☆12Aug 28, 2021Updated 4 years ago
• DoctorRainer / sae

  View on GitHub
  An Idris 2 build tool and a package manager
  ☆28Jan 28, 2023Updated 3 years ago
• edwinb / idris2-clibs

  View on GitHub
  Idris 2 bindings to various C libraries
  ☆15Jun 28, 2021Updated 4 years ago
• leostera / caramel

  View on GitHub
  a functional language for building type-safe, scalable, and maintainable applications
  ☆1,097Sep 25, 2023Updated 2 years ago
• alexhumphreys / hello-idris2

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

  View on GitHub
  ☆21May 19, 2025Updated 8 months ago
• kcsmnt0 / quotient

  View on GitHub
  quotient types in cubical Agda
  ☆24Feb 4, 2019Updated 7 years ago
• midas-framework / erlang_library_runtime

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

  View on GitHub
  Haskell-style functional programming language running on Erlang VM.
  ☆1,032Feb 3, 2022Updated 4 years ago
• bigs / idris2-libgit2

  View on GitHub
  Libgit2 bindings for Idris 2
  ☆13Sep 10, 2020Updated 5 years ago
• alexhumphreys / idrall

  View on GitHub
  Dhall bindings for Idris
  ☆41Aug 14, 2025Updated 6 months ago
• madman-bob / idris2-table

  View on GitHub
  A table library for Idris 2
  ☆15Oct 25, 2022Updated 3 years ago
• ohad / collie

  View on GitHub
  Command line interface library in Idris
  ☆33Jul 26, 2024Updated last year
• WhatsApp / erlt

  View on GitHub
  Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
  ☆127May 14, 2021Updated 4 years ago
• purerl / purerl

  View on GitHub
  Erlang backend for the PureScript compiler
  ☆350Sep 4, 2025Updated 5 months ago
• MarcelineVQ / idris2-curl

  View on GitHub
  libcurl bindings for idris2
  ☆15Feb 21, 2021Updated 4 years ago
• idris-community / idris2-lsp

  View on GitHub
  Language Server for Idris2
  ☆187Dec 28, 2025Updated last month
• marianoguerra / efe

  View on GitHub
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆68Aug 4, 2021Updated 4 years ago
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• aeternity / aebytecode

  View on GitHub
  Aeternity virtual machines byte code modules
  ☆14Apr 26, 2024Updated last year
• ExpressApp / ecto_crdt_types

  View on GitHub
  Basic support for crdt types in ecto
  ☆11Oct 29, 2020Updated 5 years ago
• eirproject / eir

  View on GitHub
  Erlang ecosystem common IR
  ☆252Feb 13, 2021Updated 5 years ago
• farhadi / cuckoo_cache

  View on GitHub
  A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir
  ☆23Nov 19, 2021Updated 4 years ago
• raptazure / mauve

  View on GitHub
  🍎 Play Bad Apple! with Haskell
  ☆15Jul 22, 2022Updated 3 years ago
• mattpolzin / pg-idris

  View on GitHub
  Beginnings of a Postgres client for Idris 2
  ☆18Dec 9, 2025Updated 2 months ago
• owo-lang / voile-rs

  View on GitHub
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆99Sep 21, 2020Updated 5 years ago
• idris-community / inigo

  View on GitHub
  Inigo: A Package Manager for Idris2
  ☆62Oct 30, 2022Updated 3 years ago
• bamboo / idris2dart

  View on GitHub
  The Dart backend for Idris 2.
  ☆48Jul 4, 2021Updated 4 years ago
• stefan-hoeck / idris2-rhone-js

  View on GitHub
  Experimental JS bindings for idris2-rhone
  ☆21Oct 22, 2023Updated 2 years ago
• mattpolzin / ncurses-idris

  View on GitHub
  A hobby implementation of an ncurses binding for Idris 2
  ☆16Dec 9, 2024Updated last year
• MarcelineVQ / idris2-streaming

  View on GitHub
  Effectful Streaming for Idris
  ☆15Dec 13, 2020Updated 5 years ago
• tanguyl / numerl

  View on GitHub
  Small matrix library for Erlang.
  ☆24Aug 15, 2023Updated 2 years ago
• idris-lang / Idris2

  View on GitHub
  A purely functional programming language with first class types
  ☆2,867Updated this week