davnils/static-analysis
Explorations into static analysis on assembly type DSL
Public GitHub Catalog
Discovered Sep 26, 2026
davnils / formal-fft
Formally verified FFT and DFT implementation
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.
#7231160GitHub System ID
davnilsOrganization / User
PublicVisibility
ActiveCatalog Status
More from davnils
davnils/spoty
Spotify web API in Haskell
davnils/complexity
Report on parameterized complexity theory and subgraph counting
davnils/regexp-automata
Regexp simulation using finite automata.