Jens Petersen (juhp)

juhp

Geek Repo

Company:Red Hat

Location:Singapore

Twitter:@juhp

Github PK Tool:Github PK Tool


Organizations
fedora-haskell
HaXml

Jens Petersen's repositories

stack-clean-old

Tool for cleaning away old Haskell Stack build artifacts

Language:HaskellLicense:NOASSERTIONStargazers:35Issues:5Issues:15

cabal-rpm

Haskell Cabal RPM packaging tool

Language:HaskellLicense:GPL-3.0Stargazers:25Issues:7Issues:42

fbrnch

Tool to update fedora packages branches

Language:HaskellLicense:GPL-2.0Stargazers:23Issues:7Issues:39

dnf-repo

DNF wrapper for simpler handling of extra repos

Language:HaskellLicense:GPL-3.0Stargazers:8Issues:2Issues:0

rpmbuild-order

Sorts source rpm package spec files by build dependency order

Language:HaskellLicense:NOASSERTIONStargazers:7Issues:6Issues:4

stack-all

build Haskell projects over Stackage LTS major versions

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:3Issues:0
Language:HaskellLicense:GPL-3.0Stargazers:3Issues:3Issues:1
Language:HaskellLicense:NOASSERTIONStargazers:3Issues:2Issues:0

lsfrom

Tool to list files in a directory starting from a particular file

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:4Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:3Issues:0

configuration

dotfiles and misc scripts

Language:Emacs LispStargazers:1Issues:3Issues:0

copr-api-hs

Copr API client libary

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:3Issues:0

copr-tool

copr CLI for query Fedora Copr repos

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:1Issues:0

df-simple

Simplified df output

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

dl-fedora

Tool for downloading Fedora images

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:3Issues:2

ostree-pin

Tool to pin current ostree deployment

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:4Issues:0

sys-rpms

record installed rpms in system or container

Language:HaskellLicense:MITStargazers:1Issues:4Issues:0

content-resolver-input

Configuration files for Feedback Pipeline

Language:PythonStargazers:0Issues:0Issues:0
Language:MakefileStargazers:0Issues:2Issues:0

fedora-composes

Check the current status of latest Fedora composes

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

filepath

Haskell FilePath core library

License:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

hid-examples

Examples to accompany the book "Haskell in Depth"

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

nix-fedora

An experimental nix package for Fedora

Stargazers:0Issues:0Issues:0

ollama

Get up and running with Llama 2, Mistral, Gemma, and other large language models.

License:MITStargazers:0Issues:0Issues:0

primitive-unlifted

the PrimUnlifted typeclass, an interface arrays of unlifted values

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

shellcheck

ShellCheck, a static analysis tool for shell scripts

License:NOASSERTIONStargazers:0Issues:0Issues:0

termux-fedora

A script to install a Fedora chroot into Termux

Language:ShellStargazers:0Issues:0Issues:0

theorem_proving_in_lean4

Theorem Proving in Lean 4

License:Apache-2.0Stargazers:0Issues:0Issues:0

toolbox

Unprivileged development environment

Language:GoLicense:Apache-2.0Stargazers:0Issues:2Issues:0