ellbur/shapelaysson
Shapelaysson = Shapeless + Play-Json
Public GitHub Catalog
Discovered Sep 30, 2026
ellbur / agda-server
A TCP server wrapper for the Agda interpreter
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.
#16879686GitHub System ID
ellburOrganization / User
PublicVisibility
ActiveCatalog Status
More from ellbur
ellbur/sherpa
Sherpa - A serialization toolkit for Scala with macro-oriented case classes mapping
ellbur/Vundle.vim
Vundle, the plug-in manager for Vim
ellbur/aeson-pretty
JSON pretty-printing library and command-line tool.