lenary/idris-erlang
Erlang Backend for Idris Compiler
Public GitHub Catalog
Discovered Sep 25, 2026
lenary / BashoBanjo
Experiment using Riak Core to play distributed music.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3570205GitHub System ID
lenaryOrganization / User
PublicVisibility
ActiveCatalog Status
More from lenary
lenary/animated-wookie
Tagged Reliable Causal Broadcast Prototype
lenary/cs4414-project
An Implementation of Raft in Rust
lenary/cs4414-ps4
http://rust-class.org/pages/ps4.html