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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Idris GraphQL☆17Dec 16, 2017Updated 8 years ago
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Jan 26, 2017Updated 9 years ago
- A port of the gloss library from Haskell to Idris☆23Jul 9, 2018Updated 8 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Jul 28, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆26Nov 12, 2018Updated 7 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 8 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Query Interface to Mnesia, ETS, Dets, etc☆22Jul 17, 2022Updated 4 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 7 years ago
- Swagger based document driven development for ExUnit☆17Oct 16, 2016Updated 10 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.
- Erlang Backend for Idris Compiler☆186Jul 1, 2017Updated 9 years ago
- A small strongly typed language that compiles to Erlang (not JavaScript)☆202Feb 10, 2020Updated 6 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 8 years ago
- Provides a type-safe way of working with permutations in Idris☆38Oct 3, 2021Updated 5 years ago
- GRIN backend for Idris☆50Apr 11, 2020Updated 6 years ago
- Idris tactics for (commutative) monoids☆20May 24, 2020Updated 6 years ago
- Category Theory☆19Oct 24, 2018Updated 8 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Llama-architecture models (SmolLM2 135M, 360M, 1.7B) in Bend 2, token for token against PyTorch, with the shapes in the types☆16Updated this week
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- Python backend for Idris (generates Python source, not bytecode).☆124Oct 23, 2017Updated 9 years ago
- Proof theory seminar☆35Apr 6, 2021Updated 5 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆81Jun 26, 2018Updated 8 years ago
- Haskell driver for ClickHouse☆17Nov 16, 2020Updated 5 years ago
- A test framework for Idris☆55Mar 21, 2019Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 7 years ago
- Idris Todo web application example☆41Jan 30, 2023Updated 3 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.
- Js libraries for idris☆49Feb 2, 2020Updated 6 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- Generic regular expression library for Scala using Spire☆19Sep 16, 2014Updated 12 years ago
- Petrinet.org interactive playground website☆16Oct 17, 2019Updated 7 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 5 years ago
- Automatically generate run time type checkers in Elixir☆20Nov 14, 2020Updated 5 years ago