samuelgruetter/agda-summer-school
Summer school on programming in Agda
Public GitHub Catalog
Discovered Sep 28, 2026
samuelgruetter / RxJava
RxJava - a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
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.
#12638535GitHub System ID
samuelgruetterOrganization / User
PublicVisibility
ActiveCatalog Status
More from samuelgruetter
samuelgruetter/typesafety-proofs-spring14
semester project
samuelgruetter/dotty
Research platform for new language concepts and compiler technologies for Scala.
samuelgruetter/scala
The Scala programming language