lenary/idris-erlang
Erlang Backend for Idris Compiler
Public GitHub Catalog
Discovered Sep 24, 2026
lenary / chrovember
A chrome extension a day throughout november
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.
#1046015GitHub 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