Janno/agda-summer-school
Summer school on programming in Agda
Public GitHub Catalog
Discovered Sep 25, 2026
Janno / supernice
a small bash daemon to monitor cpu time usage by users and renice/ionice their processes accordingly
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.
#3957291GitHub System ID
JannoOrganization / User
PublicVisibility
ActiveCatalog Status
More from Janno
Janno/agda-reglang
A formalization of regular languages in agda with a focus on making use of dependent types
Janno/flup-py3.3
A Python 3.3 compatible clone of http://hg.saddi.com/flup-py3.0
Janno/schema
Schema validation just got Pythonic