copumpkin/scala-notebook
Interactive Scala REPL in a browser
Public GitHub Catalog
Discovered Sep 24, 2026
copumpkin / bitvector
Sequences of bits and common operations on them
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.
#923004GitHub System ID
copumpkinOrganization / User
PublicVisibility
ActiveCatalog Status
More from copumpkin
copumpkin/primes
Experiments with primality in Agda
copumpkin/fingertree
Public repository.
copumpkin/rational
Rational numbers for Agda