jameshaydon/idris-elixir
A code-generator for Idris that targets Elixir
This project helps Elixir developers create safer, more robust distributed systems. It translates Idris code, known for its strong type system and dependent types, into Elixir. This allows you to define complex behaviors and data structures in Idris, ensuring correctness and safety, and then run them as standard Elixir applications.
No commits in the last 6 months.
Use this if you are an Elixir developer building distributed applications and want to leverage advanced type-checking to prevent common errors like sending the wrong messages between processes.
Not ideal if you are not already familiar with Idris or if your project does not require the strict safety guarantees provided by dependent types.
Stars
63
Forks
1
Language
Haskell
License
—
Category
Last pushed
Jan 11, 2018
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/jameshaydon/idris-elixir"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
ash-project/igniter
A code generation and project patching framework.
IntelLabs/encrypted-computing-sdk
Intel’s HERACLES accelerator introduces a new set of fundamental instructions, the Polynomial...
hypergol/hypergol
Hypergol is a Data Science/Machine Learning productivity toolkit to accelerate any projects into...
d-led/gen_server_virtual_time
virtual time-based extension to the GenServer behavior that allows testing time-based processes...
agra-uni-bremen/formal-iss
Generate an ISS for riscv-vp from a formal LibRISCV ISA model