-
dl-fedora Public
Tool for downloading Fedora images
-
-
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedDec 1, 2025 -
fhcontainer Public
Fedora (Haskell) container tool
-
-
-
-
integration Public
Forked from ekmett/integrationFast quadrature techniques
Haskell Other UpdatedNov 14, 2025 -
rpmbuild-order Public
Sorts source rpm package spec files by build dependency order
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedNov 4, 2025 -
haskell-language-server Public
Forked from haskell/haskell-language-serverIntegration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Haskell Apache License 2.0 UpdatedOct 16, 2025 -
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
-
hackage-server Public
Forked from haskell/hackage-serverHackage-Server: A Haskell Package Repository
Haskell Other UpdatedSep 28, 2025 -
-
hkgr Public
Hackager tool for releasing Haskell packages to Hackage
-
simple-cabal Public
See README for more info
-
select-rpms Public
https://hackage.haskell.org/package/select-rpms
-
rhbzquery Public
Red Hat Bugzilla cli query url tool
-
lean4-devconf.cz-2025-ws Public
Workshop at Devconf.CZ introducing Lean4 programming
Lean UpdatedAug 15, 2025 -
hsbugzilla Public
Forked from sethfowler/hsbugzillaA Haskell interface to the Bugzilla native REST API
-
crypton-certificate Public
Forked from kazu-yamamoto/crypton-certificateCertificate and Key Reader/Writer in haskell
Haskell UpdatedAug 12, 2025 -
http-streams Public
Forked from aesiniath/http-streamsHaskell HTTP client library for use with io-streams
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 11, 2025 -
stack-all Public
build Haskell projects over Stackage LTS major versions
-
bodhi Public
Forked from fedora-infra/bodhiBodhi is a web-system that facilitates the process of publishing updates for a Fedora-based software distribution.
Python GNU General Public License v2.0 UpdatedAug 3, 2025 -
toolbox Public
Forked from containers/toolboxUnprivileged development environment
Shell Apache License 2.0 UpdatedAug 1, 2025 -
shellcheck Public
Forked from koalaman/shellcheckShellCheck, a static analysis tool for shell scripts
Haskell Other UpdatedJul 20, 2025 -
servant Public
Forked from haskell-servant/servantServant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Haskell UpdatedJul 18, 2025 -
-
nix-upstream-rpm Public
An rpm package off the nix upstream binary tarball
Apache License 2.0 UpdatedJul 7, 2025 -
fbrnch Public
Tool to update fedora packages branches
{{ message }}