codygman/dyre
A Dynamic Reconfiguration Library for Haskell Programs
Public GitHub Catalog
Discovered Nov 1, 2026
codygman / FStar
An ML-like language with a type system for program verification
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.
#46096497GitHub System ID
codygmanOrganization / User
PublicVisibility
ActiveCatalog Status
More from codygman
codygman/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
codygman/haskell-mode
Emacs mode for Haskell
codygman/spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!