L8D/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 5, 2026
L8D / cido-api
Haskell REST API for Cido
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.
#30103130GitHub System ID
L8DOrganization / User
PublicVisibility
ActiveCatalog Status
More from L8D
L8D/streem
prototype of stream based programming language
L8D/whip-hs
Experimental LISP interpreter in Haskell
L8D/core
Elm's core libraries