A code-generator for Idris that targets Elixir
☆63Jan 11, 2018Updated 8 years ago
Alternatives and similar repositories for idris-elixir
Users that are interested in idris-elixir are comparing it to the libraries listed below
Sorting:
- Conway's Game of Life implemented in Elm☆11Sep 30, 2024Updated last year
- ☆13Feb 15, 2019Updated 7 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 4 months ago
- Utilities for making your applications more debuggable.☆16Dec 4, 2024Updated last year
- Language support for Pony in Atom.☆15Mar 31, 2017Updated 8 years ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆19Aug 12, 2021Updated 4 years ago
- Idris backend targeting Elixir (Work in progress)☆18Jan 26, 2017Updated 9 years ago
- A Macro-based approach to ease working with ok/error tuples in Elixir☆17Aug 17, 2020Updated 5 years ago
- ☆21Jul 16, 2025Updated 7 months ago
- A repo gathering up the project for one of my tutorial blog posts.☆18Jul 7, 2019Updated 6 years ago
- A Generic implementation of data-has.☆22May 15, 2020Updated 5 years ago
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Jul 19, 2018Updated 7 years ago
- Query Interface to Mnesia, ETS, Dets, etc☆21Jul 17, 2022Updated 3 years ago
- Call and consume GraphQL APIs with type safe queries and responses☆24Jun 17, 2025Updated 8 months ago
- ☆23Oct 15, 2023Updated 2 years ago
- koneko - a concatenative not-quite-lisp for kittens☆25Aug 30, 2024Updated last year
- Framework for artificial life and other evolutionary algorithms.☆31Sep 5, 2022Updated 3 years ago
- An Elixir-library that helps you to keep track of when hotfixes can be removed by showing compile-time warnings when issues (in your proj…☆30Jun 25, 2020Updated 5 years ago
- Constraint programming solver☆63Feb 25, 2026Updated last week
- Elixir macro for extracting or transforming values inside a pipe flow.☆29Jul 15, 2025Updated 7 months ago
- guards notation defined in user space☆23Nov 22, 2016Updated 9 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆25Nov 12, 2018Updated 7 years ago
- NIF, in Elixir, for Elixir☆35Nov 26, 2025Updated 3 months ago
- Check and transform Lisp code with Comby (beta)☆28Jan 18, 2025Updated last year
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated 10 months ago
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- This project aims at designing an easy self-made ultrasound imaging device. It mainly consists of "Phased-array transducer", "Pulse-contr…☆14Jun 28, 2023Updated 2 years ago
- Haskell FFI bindings to the FoundationDB C API☆36Nov 12, 2023Updated 2 years ago
- ☆41Dec 27, 2025Updated 2 months ago
- Erlang public_key cryptography wrapper for Elixir☆36Nov 21, 2019Updated 6 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Encoding the WASM binary format.☆133Feb 22, 2019Updated 7 years ago
- Dart backend for Ceylon☆28Dec 4, 2017Updated 8 years ago
- My personal site.☆10Feb 23, 2026Updated last week
- A type checker for Elixir☆34Mar 24, 2023Updated 2 years ago
- Safe printf-like formatting in purescript☆37Nov 18, 2019Updated 6 years ago
- An embedded, distributed key-value store with guarantees beyond ACID.☆73Jan 22, 2026Updated last month