dasuxullebt/vst.nix
Quick and Dirty Nix Packages for the Verified Software Toolkit
Public GitHub Catalog
Discovered Sep 27, 2026
dasuxullebt / cl-ya-bmp
(Yet another) simple (and slow) library for reading and manipulating BMP-Files.
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.
#9030679GitHub System ID
dasuxullebtOrganization / User
PublicVisibility
ActiveCatalog Status
More from dasuxullebt
dasuxullebt/Pheap.v
Implementation of a Pairing Heap in Coq
dasuxullebt/nixpkgs
Nix Packages collection
dasuxullebt/SirTET
An Inverse Tetris