Melvar/idris-utils
Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.
Public GitHub Catalog
Discovered Sep 24, 2026
Melvar / lambda-eval
An evaluator for λ-calculus expressions
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.
#1016541GitHub System ID
MelvarOrganization / User
PublicVisibility
ActiveCatalog Status
More from Melvar
Melvar/SimpleIRC
IRC Library for Haskell
Melvar/madn
Mensch ärgere dich nicht
Melvar/language-java
Java parser and printer for haskell