LeifWarner/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 25, 2026
LeifWarner / openid4java
OpenID for Java
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.
#5530652GitHub System ID
LeifWarnerOrganization / User
PublicVisibility
ActiveCatalog Status
More from LeifWarner
LeifWarner/tut
Tutorials
LeifWarner/sbt-git-info
Embeds info about the last git commit into your jar (on the classpath) as a .properties file
LeifWarner/swagger-core
Examples and server integrations for generating the Swagger API Specification, which enables easy access to your REST API