Heather/agda-stdlib
The Agda standard library
Public GitHub Catalog
Discovered Oct 2, 2026
Heather / radegast
Lightweight client for connecting to Second Life and OpenSim based virtual worlds
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.
#25248764GitHub System ID
HeatherOrganization / User
PublicVisibility
ActiveCatalog Status
More from Heather
Heather/nemerle
Nemerle language. Main repository.
Heather/libopenmetaverse
LibOpenMetaverse is a collection of .NET libraries written in c# for interacting with 3d virtual world simulators. The core library implements the protocol, networking and client functionality.
Heather/Salsa
A .NET Bridge for Haskell