copumpkin/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Public GitHub Catalog
Discovered Sep 30, 2026
copumpkin / matrices
Fun with matrices in Agda
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.
#17042373GitHub System ID
copumpkinOrganization / User
PublicVisibility
ActiveCatalog Status
More from copumpkin
copumpkin/java
A Haskell library for manipulating Java class files
copumpkin/opcodes
A simple Haskell interface to the GNU binutils libopcodes library
copumpkin/scala-notebook
Interactive Scala REPL in a browser