mlitchard/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Sep 30, 2026
mlitchard / ShoeApi
Here's a Shoe 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.
#17700923GitHub System ID
mlitchardOrganization / User
PublicVisibility
ActiveCatalog Status
More from mlitchard
mlitchard/fastirc
Fast IRC protocol implementation
mlitchard/haskell-tcp-json
An example of working with TCP and JSON in Haskell
mlitchard/sodium
Sodium - Reactive Programming Library for Java, Haskell and C++ (FRP)