Ericson2314/nixos-configuration
Much better than a .dotfiles repo
Public GitHub Catalog
Discovered Sep 29, 2026
Ericson2314 / agda-scratchpad
Messing with Agda
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#14215452GitHub System ID
Ericson2314Organization / User
PublicVisibility
ActiveCatalog Status
More from Ericson2314
Ericson2314/core-region
A very small toy langauge, but it has regions
Ericson2314/clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
Ericson2314/wl-pprint-text-class
A Simple Class for Pretty Printing with wl-pprint-text, Analogous to Show