non/psp-view
alternate view/collection implementation for scala
Public GitHub Catalog
Discovered Sep 29, 2026
non / Idris-dev
A Dependently Typed Functional Programming Language
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.
#15557820GitHub System ID
nonOrganization / User
PublicVisibility
ActiveCatalog Status
More from non
non/scalacheck
Property-based testing for Scala
non/pureimage
puts the "fun" in "functional raster image processing"
non/miniboxing-plugin
Miniboxing is a lightweight approach to specializing generic classes in the Scala compiler. It revisits the current specialization transformation, but makes different choices aimed at reducing the bytecode without sacrificing execution speed. If you have questions, feel free to contact me at vlad dot ureche at epfl dot ch.