adegroote/gladys
The Graph Library for Autonomous and DYnamic Systems
Public GitHub Catalog
Discovered Sep 26, 2026
adegroote / LinearLogic
A simple development of linear logic in Coq.
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.
#5626187GitHub System ID
adegrooteOrganization / User
PublicVisibility
ActiveCatalog Status
More from adegroote
adegroote/core
Jane Street Capital's standard library overlay
adegroote/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
adegroote/dwc_otg
NetBSD driver for dwc_otg usb controller