Search:
Search Results
Results: 1 - 5 of 5
Page:
1
dev-haskell/zlib
Compression and decompression in the gzip and zlib formats
www-client/firefox
Firefox Web Browser, with SUSE patchset, to provide better KDE integration
dev-lang/idris
Functional Programming Language with Dependent Types
sci-mathematics/agda-stdlib
Agda standard library
dev-haskell/log-domain
Log-domain arithmetic
Results: 1 - 5 of 5
Page:
1