dschoepe/fmis-agda
Agda implementations of some security concepts taught here: http://www.mais.informatik.tu-darmstadt.de/fmis2012
Public GitHub Catalog
Discovered Oct 1, 2026
dschoepe / vt
Command-line västtrafik client
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.
#21747604GitHub System ID
dschoepeOrganization / User
PublicVisibility
ActiveCatalog Status
More from dschoepe
dschoepe/bibfetch
Scripts for fetching BibTeX entries (from Google Scholar and DBLP)
dschoepe/pdfPres
Dual head PDF presenter: Current slide with context + current slide in fullscreen (Linux, BSD).
dschoepe/newsbeuter
Newsbeuter is an open-source RSS/Atom feed reader for text terminals.