jbclements/rtmidi
Racket bindings for RtMidi
Public GitHub Catalog
Discovered Sep 26, 2026
jbclements / rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
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.
#7826958GitHub System ID
jbclementsOrganization / User
PublicVisibility
ActiveCatalog Status
More from jbclements
jbclements/test-repo
Public repository.
jbclements/pyret-lang
The Pyret language.
jbclements/while-loop
while loop for Racket