-
optparse-applicative Public
Applicative option parser
-
-
pledger Public
Command line accounting tool and python library
-
bacon Public
Forked from Canop/baconbackground rust code check
Rust GNU Affero General Public License v3.0 UpdatedAug 9, 2024 -
-
-
-
agda-base Public
Base library for HoTT in Agda
-
-
-
dbus-qq Public archive
Haskell quasi-quoter for DBus functions
-
pipes-core Public archive
Forked from Gabriella439/pipesCompositional pipelines
-
pipes-network Public archive
Pipe utilities to deal with sockets.
-
pipes-extra Public archive
Pipe utilities
-
pipes-zlib Public archive
Pipes to deal with zipped data
-
pipes-attoparsec Public archive
Utilities to convert a parser into a pipe
-
pipes-conduit Public archive
Conduit adapters for pipes
-
kaya Public archive
KDE Board Game Suite
-
rui Public archive
GUI abstraction library for ruby
-
-
{{ message }}