Heather/agda-stdlib
The Agda standard library
Public GitHub Catalog
Discovered Sep 29, 2026
Heather / quartznet
Quartz Enterprise Scheduler .NET
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.
#13983045GitHub 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/radegast
Lightweight client for connecting to Second Life and OpenSim based virtual worlds