Erlang Backend for Idris Compiler
☆187Jul 1, 2017Updated 8 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 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
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Dec 25, 2014Updated 11 years ago
- Functional programming inspired by ML for the Erlang VM☆1,460Jun 13, 2020Updated 5 years ago
- Erlang flavored by Some ML☆36Jan 14, 2012Updated 14 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🧊 Чиста система з всесвітами☆147Mar 16, 2026Updated last week
- Prototype implementation of Lasp in Erlang.☆891Mar 2, 2021Updated 5 years ago
- Js libraries for idris☆49Feb 2, 2020Updated 6 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 7 years ago
- Partial application of Erlang functions☆27Jan 22, 2020Updated 6 years ago
- A simple XML module for Idris.☆13May 22, 2020Updated 5 years ago
- 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☆284May 16, 2019Updated 6 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Aug 23, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Idris LLVM codegen factored out☆82Jul 28, 2017Updated 8 years ago
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 5 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- ☆19May 12, 2017Updated 8 years ago
- Erlang to Scheme compiler☆39Mar 28, 2012Updated 14 years ago
- Erlang VM timer wheel analyzer☆18Nov 13, 2015Updated 10 years ago
- A Skew Binomial Heap for Erlang.☆15Jun 22, 2011Updated 14 years ago
- Derive editors for data types.☆29Oct 5, 2014Updated 11 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Common Test hooks for more readable logs☆49Feb 28, 2025Updated last year
- Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.☆244Mar 1, 2023Updated 3 years ago
- Run an OCaml program as an erlang node☆29Mar 25, 2016Updated 10 years ago
- Languages, and about languages, on the BEAM☆782Dec 11, 2025Updated 3 months ago
- Experimental Malfunction backend for Idris☆82Jun 20, 2018Updated 7 years ago
- Epidemic Broadcast Trees☆194Dec 20, 2017Updated 8 years ago
- Yes, really...☆176Aug 4, 2017Updated 8 years ago
- Software Foundations in Idris☆457May 15, 2019Updated 6 years ago
- An idris backend compiling to chez scheme☆48Sep 30, 2017Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Streams in Erlang☆51May 10, 2016Updated 9 years ago
- A prototype successor to Idris☆541Jul 8, 2019Updated 6 years ago
- An Erlang library for generating adversarial network conditions for QAing distributed applications/systems on a single Linux box.☆147Feb 11, 2015Updated 11 years ago
- A concolic testing tool for the Erlang functional programming language.☆210Feb 5, 2026Updated last month
- An Erlang implementation of the R*-tree spacial data structure☆58Jul 11, 2018Updated 7 years ago
- GNU bash backend for Idris☆52Feb 14, 2019Updated 7 years ago
- Erlang stdlib extensions.☆69Jul 23, 2024Updated last year