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 27, 2026
LeifWarner / swagger-core
Examples and server integrations for generating the Swagger API Specification, which enables easy access to your REST API
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.
#10376237GitHub 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/finatra-redis-example
Example non-blocking webapp using Finagle's http server & redis client combined with Futures.