yoricksijsling/piware-agda
Repository containing only the agda source code of the PiWare project
Public GitHub Catalog
Discovered Sep 24, 2026
yoricksijsling / MooDialog
MooDialog is a MooTools plugin to replace the native alert(), confirm() and prompt() javascript functions by more stylish ones. You can use it also for other DOM elements, create an IFrame dialog or even create an Ajax Dialog.
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.
#1081704GitHub System ID
yoricksijslingOrganization / User
PublicVisibility
ActiveCatalog Status
More from yoricksijsling
yoricksijsling/PiWare-prefixes
Parallel prefix sums in PiWare
yoricksijsling/uurooster
Public repository.
yoricksijsling/multi_fetch_fragments
Multi-fetch Fragments makes rendering and caching a collection of template partials easier and faster.