teg/SN-LPAR
Strong Normalisation of Typed Atomic Lambda Calculus
Public GitHub Catalog
Discovered Sep 24, 2026
teg / bootchart
merge of bootchart-collector and pybootchartgui
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.
#2215536GitHub System ID
tegOrganization / User
PublicVisibility
ActiveCatalog Status
More from teg
teg/systemd-units
systemd units that are not yet included in their respective upstreams
teg/libsystemd-qt
Qt-only wrapper for Systemd API
teg/AtomicLambda2
The Atomic Lambda Calculus Part Two