Erlang code generator for Idris 2

In plain words

This tool generates Erlang code from Idris 2 programs, enabling developers to compile Idris applications to the Erlang virtual machine. It allows programmers working with the Idris 2 language to target Erlang's distributed runtime environment. The generator bridges the functional programming language Idris 2 with Erlang's ecosystem, making it useful for developers seeking to leverage Idris's type system while deploying to established Erlang infrastructure.

written from the facts on this page · September 2026

• 
  Codec-beam – Generate Erlang VM byte code from Haskell2018 · github.com · ▲53

  Generate Erlang VM byte code from Haskell. Contribute to kofigumbs/codec-beam development by creating an account on GitHub.

• 
  Visual flow-based programming for Erlang, inspired by Node-RED2025 · github.com · ▲243

  Hi There, Erlang-RED has been my project for the last couple of months and I would love to get some feedback from the HN community. The idea is to take advantage of Erlangs message passing and low overhead processes to have true concurrency in Node-RED flows. Plus also to bring low-code visual flow-based programming to Erlang.

• 
  Compile Erlang to WASM and run as HTTP/incoming-handler2024 · github.com · ▲32

  Hello! This is the most useless thing I did in quite some time, but it was fun. Compile erlang (actually BEAM) to wasm, statically link with a small http wrapper and run as a request handler under wasmtime. This is not very practical as of now and you better just compile atomvm and statically link it with erlang payload if you really need to run erlang on the edge node (you don't). When (if) typed continuations become a thing, this should also allow for erlang actor model.

• 
  Erlang REST framework2017 · github.com · ▲96

  Erlang REST framework. Contribute to fbeline/rooster development by creating an account on GitHub.

• 
  My Attempt to Organize the World of AI Dev Tools2025 · aicode.danvoronov.com · ▲101

  I've been exploring the (not so=) amazing potential of AI in coding and have compiled a list of tools. From AI-powered IDEs to code generators, this resource is my contribution to the community. I'm still on the fence about including txt2sql projects, as their functionality seems too basic to me. And I'm personally maintaining this, so your feedback is wellcome.

• 
  Programmatically Generate Diagrams for GitHub Readmes2019 · github.com · ▲220

  🧜‍♀️ RESTful rendering pipeline for generating sequence and UML diagrams using Mermaid for Markdown docs (Diagrams as a Service) - Schachte/Mermrender

• 
  /dev/null▲482

  a social network for devs

  Dev tools · 2d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 25d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 22d ago · openbot.run

• 
  Talanoa▲343

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 20d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 28d ago · corespeed.io

• 
  Synthesia▲943

  Generate professional-looking AI videos from text in minutes

  AI · 2020 · synthesia.io

• 
  IdeasAI▲801

  OpenAI-powered startup idea generator

  AI · 2020 · ideasai.com

• 
  Tables by Google▲783

  Tables helps teams easily track & automate tasks

  Work · 2020 · tables.area120.google.com

• LS
  Linux sysadmin course, eight years on▲780

  Almost eight years ago I launched an online “Linux sysadmin course for newbies” here at HN. It was a side-project that went well, but never generated enough money to allow me to fully commit to leaving the Day Job. After surviving the Big C, and getting made redundant I thought I might improve and relaunch it commercially – but my doctors are a pessimistic bunch, so it looked like I didn’t have the time. Instead, I rejigged/relaunched it via a Reddit forum this February as free and open - and have now gathered a team of helpers to ensure that it keeps going each month even after I can’t…

  Commerce · 2020

• 
  Poolside FM for iPhone▲642

  A pool party in your pocket

  Life & fun · 2020 · cellular.poolside.fm

• 
  MakeHub 2.0▲600

  65 solo founders making $370,000/mo

  Life & fun · 2020