Ericson2314/nixos-configuration
Much better than a .dotfiles repo
Public GitHub Catalog
Discovered Oct 1, 2026
Ericson2314 / rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
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.
#21249810GitHub 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