Erlang Backend for Idris Compiler
☆187Jul 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.☆100Dec 25, 2014Updated 11 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Mar 11, 2024Updated 2 years ago
- A small strongly typed language that compiles to Erlang (not JavaScript)☆202Feb 10, 2020Updated 6 years ago
- Monads in LFE☆15Apr 27, 2016Updated 10 years ago
- Functional programming inspired by ML for the Erlang VM☆1,466Jun 13, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🧊 Чиста система з всесвітами☆147May 29, 2026Updated 2 months ago
- Prototype implementation of Lasp in Erlang.☆895Mar 2, 2021Updated 5 years ago
- Js libraries for idris☆49Feb 2, 2020Updated 6 years ago
- Erlang flavored by Some ML☆36Jan 14, 2012Updated 14 years ago
- [UNMAINTAINED] The Concurrent Schemer☆120Sep 25, 2015Updated 10 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 8 years ago
- Implementation of cryptographic primitives using Idris☆122May 5, 2018Updated 8 years ago
- Partial application of Erlang functions☆28Jan 22, 2020Updated 6 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Aug 23, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An empty code generator, to be used as a starting point for any new back ends.☆52Nov 2, 2017Updated 8 years ago
- F# to core erlang compiler experiment☆286May 16, 2019Updated 7 years ago
- A simple XML module for Idris.☆13May 22, 2020Updated 6 years ago
- Idris LLVM codegen factored out☆81Jul 28, 2017Updated 9 years ago
- Erlang to Scheme compiler☆39Mar 28, 2012Updated 14 years ago
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 6 years ago
- A secure web framework, built in the Idris language.☆110Feb 3, 2014Updated 12 years ago
- The Alms Programming Language☆43Aug 29, 2018Updated 7 years ago
- Because eunit's output sucks. Let's make it better.☆71Apr 19, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Skew Binomial Heap for Erlang.☆15Jun 22, 2011Updated 15 years ago
- Erlang VM timer wheel analyzer☆18Nov 13, 2015Updated 10 years ago
- ☆19May 12, 2017Updated 9 years ago
- Erlang on Xen☆824Apr 17, 2022Updated 4 years ago
- SDL bindings package for idris☆47Feb 26, 2020Updated 6 years ago
- A public book on testing Erlang☆285Jul 25, 2020Updated 6 years ago
- Common Test hooks for more readable logs☆49Feb 28, 2025Updated last year
- Run an OCaml program as an erlang node☆30Mar 25, 2016Updated 10 years ago
- Languages, and about languages, on the BEAM☆787Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Experimental Malfunction backend for Idris☆81Jun 20, 2018Updated 8 years ago
- ☆114May 27, 2015Updated 11 years ago
- An idris backend compiling to chez scheme☆47Sep 30, 2017Updated 8 years ago
- Software Foundations in Idris☆459May 15, 2019Updated 7 years ago
- Yes, really...☆176Aug 4, 2017Updated 9 years ago
- Alice ML implementation☆17Nov 25, 2022Updated 3 years ago
- Streams in Erlang☆51May 10, 2016Updated 10 years ago