jrslepak/Remora
Dependently-typed language with Iverson-style implicit lifting
Public GitHub Catalog
Discovered Sep 30, 2026
jrslepak / racket
The Racket repository
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.
#19539756GitHub System ID
jrslepakOrganization / User
PublicVisibility
ActiveCatalog Status
More from jrslepak
jrslepak/murmur3
Racket FFI binding for MurmurHash3
jrslepak/F3TermHack
Handles Fallout 3's terminal hacking puzzles
jrslepak/LinLambda
Demonstration of PLT Redex -- STLC with linear types