1. Home
  2. petersen

Petersen's Projects

petersen/koji-tool

Deprecated repo : koji-tool is packaged in fedora now. A CLI tool to query, track and install koji tasks See the readme for details and the changelog for news.
  • Fedora 38 : aarch64, ppc64le, x86_64

petersen/jacinda

Functional, expression-oriented data processing language - inspired by awk/apl/J
  • EPEL 9 : ppc64le, s390x, x86_64
  • Fedora 38 : aarch64, ppc64le, s390x, x86_64
  • Fedora 39 : aarch64, ppc64le, s390x, x86_64
  • Fedora 40 : aarch64, ppc64le, s390x, x86_64
  • Fedora rawhide : aarch64, ppc64le, s390x, x86_64

petersen/haskell-language-server

Haskell LSP server built for Fedora ghc packages.
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 38 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/podenv

A declarative podman wrapper
  • Fedora 38 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/racket

racket 8.2
  • EPEL 8 : aarch64, x86_64
  • EPEL 9 : aarch64, x86_64
  • Fedora 38 : aarch64, x86_64
  • Fedora 39 : aarch64, x86_64
  • Fedora 40 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/nim

A statically typed compiled systems programming language, that looks a little like Python. Based on the retired Fedora package (without docs and tests). Though the docs should build in copr with network.
  • EPEL 8 : aarch64, x86_64
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 38 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/souffle

Soufflé is a logic programming language inspired by Datalog.
  • EPEL 8 : aarch64, x86_64
  • Fedora 38 : aarch64, x86_64
  • Fedora 39 : aarch64, x86_64
  • Fedora 40 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/ion-shell

https://github.com/redox-os/ion "Ion is a modern system shell that features a simple, yet powerful, syntax. It is written entirely in Rust, which greatly increases the overall quality and security of the shell. It also offers a level of performance that exceeds that of Dash, when taking advantage of Ion's features. While it is developed alongside, and primarily for, RedoxOS, it is a fully capable on other *nix platforms."
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

petersen/idris2

Idris 2 is a purely functional programming language with first class types. https://www.idris-lang.org/
  • EPEL 8 : aarch64, ppc64le, x86_64
  • Fedora 38 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/broot

New file manager written in rust
  • Fedora 38 : aarch64, x86_64
  • Fedora 39 : aarch64, x86_64
  • Fedora 40 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

News - Read All

Task Queue

28 Build Batches 1 Importing 21 Pending 4 Starting 160 Running

Recent Builds - View All

python-listparser

Project: ksurma/sphinx-7.3.7

Build: 7374813

State: succeeded

Finished: a minute ago

python-libpysal

Project: ksurma/sphinx-7.3.7

Build: 7374808

State: succeeded

Finished: a minute ago

broot

Project: faramirza/al2023

Build: 7375848

State: succeeded

Finished: 2 minutes ago

python-license-expression

Project: ksurma/sphinx-7.3.7

Build: 7374810

State: succeeded

Finished: 2 minutes ago