Alternatives and similar repositories for idris-erlang

Users that are interested in idris-erlang are comparing it to the libraries listed below

• poor-a / erlang-ffi

  View on GitHub
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆68Mar 11, 2024Updated last year
• groupoid / henk

  View on GitHub
  🧊 Чиста система з всесвітами
  ☆148Jan 8, 2026Updated last month
• lasp-lang / lasp

  View on GitHub
  Prototype implementation of Lasp in Erlang.
  ☆891Mar 2, 2021Updated 4 years ago
• alpaca-lang / alpaca

  View on GitHub
  Functional programming inspired by ML for the Erlang VM
  ☆1,459Jun 13, 2020Updated 5 years ago
• purerl / purescript

  View on GitHub
  A small strongly typed language that compiles to Erlang (not JavaScript)
  ☆202Feb 10, 2020Updated 6 years ago
• marianoguerra / interfix

  View on GitHub
  an experimental programming language for the erlang vm that is actually useful
  ☆29Aug 23, 2019Updated 6 years ago
• etnt / eml

  View on GitHub
  Erlang flavored by Some ML
  ☆36Jan 14, 2012Updated 14 years ago
• kjnilsson / fez

  View on GitHub
  F# to core erlang compiler experiment
  ☆283May 16, 2019Updated 6 years ago
• jlouis / erlangnode

  View on GitHub
  Run an OCaml program as an erlang node
  ☆29Mar 25, 2016Updated 9 years ago
• szktty / bran

  View on GitHub
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Dec 25, 2014Updated 11 years ago
• amutake / actario

  View on GitHub
  Verification Framework for Actor Systems on Coq
  ☆29Jul 2, 2018Updated 7 years ago
• rbarreiro / idrisjs

  View on GitHub
  Js libraries for idris
  ☆49Feb 2, 2020Updated 6 years ago
• jfdm / idris-containers

  View on GitHub
  Various data structures for use in the Idris Language.
  ☆94May 22, 2020Updated 5 years ago
• 0xYUANTI / stdlib2

  View on GitHub
  Erlang stdlib extensions.
  ☆69Jul 23, 2024Updated last year
• erszcz / pa

  View on GitHub
  Partial application of Erlang functions
  ☆27Jan 22, 2020Updated 6 years ago
• jfdm / idris-xml

  View on GitHub
  A simple XML module for Idris.
  ☆13May 22, 2020Updated 5 years ago
• aphyr / skewbinheap

  View on GitHub
  A Skew Binomial Heap for Erlang.
  ☆15Jun 22, 2011Updated 14 years ago
• efene / efene

  View on GitHub
  Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX
  ☆105Jun 4, 2019Updated 6 years ago
• armon / erl-rstar

  View on GitHub
  An Erlang implementation of the R*-tree spacial data structure
  ☆58Jul 11, 2018Updated 7 years ago
• tov / alms

  View on GitHub
  The Alms Programming Language
  ☆44Aug 29, 2018Updated 7 years ago
• idris-hackers / idris-llvm

  View on GitHub
  Idris LLVM codegen factored out
  ☆82Jul 28, 2017Updated 8 years ago
• feeley / etos

  View on GitHub
  Erlang to Scheme compiler
  ☆39Mar 28, 2012Updated 13 years ago
• idris-hackers / software-foundations

  View on GitHub
  Software Foundations in Idris
  ☆457May 15, 2019Updated 6 years ago
• idris-lang / idris-emptycg

  View on GitHub
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Nov 2, 2017Updated 8 years ago
• cuter-testing / cuter

  View on GitHub
  A concolic testing tool for the Erlang functional programming language.
  ☆211Feb 5, 2026Updated last week
• mxswd / editable

  View on GitHub
  Derive editors for data types.
  ☆28Oct 5, 2014Updated 11 years ago
• vmchale / recursion_schemes

  View on GitHub
  Recursion schemes for Idris
  ☆64Aug 23, 2018Updated 7 years ago
• rvirding / erlog

  View on GitHub
  Prolog interpreter in and for Erlang
  ☆383Feb 25, 2024Updated last year
• llaisdy / beam_languages

  View on GitHub
  Languages, and about languages, on the BEAM
  ☆781Dec 11, 2025Updated 2 months ago
• jmitchell / idris-elixir

  View on GitHub
  Idris backend targeting Elixir (Work in progress)
  ☆18Jan 26, 2017Updated 9 years ago
• ziman / idris-py

  View on GitHub
  Python backend for Idris (generates Python source, not bytecode).
  ☆125Oct 23, 2017Updated 8 years ago
• kvakvs / ErlangRT

  View on GitHub
  Erlang Replacement Therapy. Another attempt to make Erlang runtime (BEAM emulator) in Rust. Good news: I know what to do. Bad news: I hav…
  ☆601Feb 4, 2026Updated last week
• ferd / cth_readable

  View on GitHub
  Common Test hooks for more readable logs
  ☆49Feb 28, 2025Updated 11 months ago
• lindenbaum / hinterface

  View on GitHub
  Haskell / Erlang interoperability library
  ☆30Jan 29, 2023Updated 3 years ago
• edwinb / idris-php

  View on GitHub
  Yes, really...
  ☆175Aug 4, 2017Updated 8 years ago
• tmcgilchrist / airship

  View on GitHub
  Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.
  ☆244Mar 1, 2023Updated 2 years ago
• stedolan / idris-malfunction

  View on GitHub
  Experimental Malfunction backend for Idris
  ☆82Jun 20, 2018Updated 7 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• japesinator / tarts

  View on GitHub
  Timing attack resistant type systems
  ☆24May 13, 2015Updated 10 years ago