-
termux-fedora Public
Forked from nmilosev/termux-fedoraA script to install a Fedora chroot into Termux
Shell UpdatedJun 14, 2025 -
lean4-devconf.cz-2025-ws Public
Workshop at Devconf.CZ introducing Lean4 programming
Lean UpdatedJun 12, 2025 -
all-cabal-tool Public
Forked from commercialhaskell/all-cabal-toolUpdate the various all-cabal-* repos
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 9, 2025 -
-
fbrnch Public
Tool to update fedora packages branches
-
-
select-rpms Public
https://hackage.haskell.org/package/select-rpms
-
fedora-releases Public
Fedora release versions library (formerly fedora-dists)
-
-
koji-tool Public
Koji buildsystem CLI tool to query tasks, install build rpms, and check buildlog sizes
-
-
toolbox Public
Forked from containers/toolboxUnprivileged development environment
Shell Apache License 2.0 UpdatedJun 2, 2025 -
elan Public
Forked from leanprover/elanThe Lean version manager
Rust Apache License 2.0 UpdatedMay 26, 2025 -
stack-all Public
build Haskell projects over Stackage LTS major versions
-
-
-
stackage-server Public
Forked from commercialhaskell/stackage-serverServer for stable, curated Haskell package sets
Haskell MIT License UpdatedMay 24, 2025 -
hkgr Public
Hackager tool for releasing Haskell packages to Hackage
-
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 UpdatedMay 9, 2025 -
-
termonad Public
Forked from cdepillabout/termonadTerminal emulator configurable in Haskell.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 2, 2025 -
rpmostree-tool Public
Experimental rpm-ostree wrapper
-
-
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 UpdatedApr 10, 2025 -
dl-fedora Public
Tool for downloading Fedora images
-
copr-api-hs Public
Copr API client libary
-
fedora-krb Public
Fedora kerberos Haskell library
Haskell GNU General Public License v2.0 UpdatedMar 5, 2025 -
lean4-devconf.in-2025 Public
demo code from dependent types intro at DevConf India 2025
Lean UpdatedMar 1, 2025 -
cabal-rpm Public
Haskell Cabal RPM packaging tool
-
MemoTrie Public
Forked from conal/MemoTrieTrie-based memo functions
Haskell Other UpdatedFeb 12, 2025
{{ message }}