dasuxullebt/nixpkgs
Nix Packages collection
Public GitHub Catalog
Discovered Oct 1, 2026
dasuxullebt / DampFnudeL
Deflate in Coq
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.
#21425150GitHub System ID
dasuxullebtOrganization / User
PublicVisibility
ActiveCatalog Status
More from dasuxullebt
dasuxullebt/SirTET
An Inverse Tetris
dasuxullebt/quicksort.v
Quicksort in Coq
dasuxullebt/collatzfs
Collatz File System