lmarburger/eckner
Implementing timeseries analysis functions from the Eckner paper.
Public GitHub Catalog
Discovered Oct 2, 2026
lmarburger / gol
Game of Life in Idris
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.
#25206769GitHub System ID
lmarburgerOrganization / User
PublicVisibility
ActiveCatalog Status
More from lmarburger
lmarburger/idris-vim
Idris mode for vim
lmarburger/vim-stencil
simple template loading plugin for VIM
lmarburger/morning-edition-feed
Podcast feed for NRP's Morning Edition