jameshaydon/idris-elixir
A code-generator for Idris that targets Elixir
Compiles Idris code to readable Elixir via the `LDecl` intermediate representation, enabling dependent types and compile-time safety guarantees for distributed systems. Provides a `Beh` monad for type-safe actor programming with message type guarantees, preventing actors from receiving incompatible messages. Includes FFI bindings for Elixir/OTP integration and support for polymorphic message handlers through Idris's type system.
No commits in the last 6 months.
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...
hyperpolymath/anvomidaviser
Convert ISU notation to formal figure skating programs via Anvomidav