GitHub repository: AdrienChampion/safeIdx
Primary language: Lean
Description: Type-safe indexing library.