Jens Petersen's repositories
stack-clean-old
Tool for cleaning away old Haskell Stack build artifacts
rpmbuild-order
Sorts source rpm package spec files by build dependency order
configuration
dotfiles and misc scripts
copr-api-hs
Copr API client libary
ostree-pin
Tool to pin current ostree deployment
content-resolver-input
Configuration files for Feedback Pipeline
Language:Python000
fedora-composes
Check the current status of latest Fedora composes
filepath
Haskell FilePath core library
BSD-3-Clause000
hid-examples
Examples to accompany the book "Haskell in Depth"
nix-fedora
An experimental nix package for Fedora
000
ollama
Get up and running with Llama 2, Mistral, Gemma, and other large language models.
MIT000
primitive-unlifted
the PrimUnlifted typeclass, an interface arrays of unlifted values
Language:HaskellBSD-3-Clause000
shellcheck
ShellCheck, a static analysis tool for shell scripts
NOASSERTION000
termux-fedora
A script to install a Fedora chroot into Termux
Language:Shell000
theorem_proving_in_lean4
Theorem Proving in Lean 4
Apache-2.0000