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 / finatra-redis-example
Example non-blocking webapp using Finagle's http server & redis client combined with Futures.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#8617980GitHub 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