Erlang Backend for Idris Compiler
☆186Jul 1, 2017Updated 9 years ago
Alternatives and similar repositories for idris-erlang
Users that are interested in idris-erlang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆99Dec 25, 2014Updated 11 years ago
- A small strongly typed language that compiles to Erlang (not JavaScript)☆202Feb 10, 2020Updated 6 years ago
- Prototype implementation of Lasp in Erlang.☆892Mar 2, 2021Updated 5 years ago
- [UNMAINTAINED] The Concurrent Schemer☆120Sep 25, 2015Updated 11 years ago
- Monads in LFE☆15Apr 27, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Functional programming inspired by ML for the Erlang VM☆1,469Jun 13, 2020Updated 6 years ago
- 🧊 Чиста система з всесвітами☆147May 29, 2026Updated 4 months ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Mar 11, 2024Updated 2 years ago
- Idris LLVM codegen factored out☆81Jul 28, 2017Updated 9 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆52Nov 2, 2017Updated 8 years ago
- Learning project by a group of people interested in learning the Idris language☆50Feb 18, 2015Updated 11 years ago
- Erlang flavored by Some ML☆36Jan 14, 2012Updated 14 years ago
- Js libraries for idris☆49Feb 2, 2020Updated 6 years ago
- Erlang VM timer wheel analyzer☆18Nov 13, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- an experimental programming language for the erlang vm that is actually useful☆29Aug 23, 2019Updated 7 years ago
- Partial application of Erlang functions☆28Jan 22, 2020Updated 6 years ago
- Verification Framework for Actor Systems on Coq☆30Jul 2, 2018Updated 8 years ago
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 6 years ago
- A simple XML module for Idris.☆12May 22, 2020Updated 6 years ago
- Metaprogramming in Erlang☆76Jun 30, 2015Updated 11 years ago
- Make rpc:calls from erlang to haskell☆17Mar 30, 2015Updated 11 years ago
- Erlang on Xen☆826Apr 17, 2022Updated 4 years ago
- Experimental Malfunction backend for Idris☆80Jun 20, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆39Jan 15, 2018Updated 8 years ago
- Because eunit's output sucks. Let's make it better.☆71Apr 19, 2025Updated last year
- A concolic testing tool for the Erlang functional programming language.☆210Jun 24, 2026Updated 4 months ago
- A prototype successor to Idris☆539Jul 8, 2019Updated 7 years ago
- Erlang Docs in the Shell predating EEP-48 and shell_docs☆120Nov 23, 2023Updated 2 years ago
- ☆15Jan 17, 2015Updated 11 years ago
- A secure web framework, built in the Idris language.☆109Feb 3, 2014Updated 12 years ago
- Yes, it is what you think it is☆33Jan 20, 2016Updated 10 years ago
- Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX☆107Jun 23, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Yes, really...☆176Aug 4, 2017Updated 9 years ago
- Erlang VM for microcontrollers☆30Mar 16, 2015Updated 11 years ago
- A Gradual type system for Erlang☆619Mar 24, 2026Updated 7 months ago
- BEAM guts inspector☆11Nov 19, 2014Updated 11 years ago
- Common Test hooks for more readable logs☆49Feb 28, 2025Updated last year
- A Dependently Typed Functional Programming Language☆3,477Feb 17, 2025Updated last year
- Erlang stdlib extensions.☆68Jul 23, 2024Updated 2 years ago