Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
- Costa Mesa, CA
-
14:54
(UTC -08:00)
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.