Search Results petersen

petersen/roc

A fast, friendly, functional language.
  • Fedora 40 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/mdbook

Markdown book generator written in rust Upstream: https://github.com/rust-lang/mdBook
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/duc

Caching disk usage tool https://github.com/zevv/duc
  • EPEL 7 : x86_64
  • EPEL 8 : x86_64
  • EPEL 9 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

petersen/hush

A modern shell scripting language written in Rust https://github.com/hush-shell/hush
  • EPEL 9 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

petersen/lean4

A functional programming language and theorem prover See https://lean-lang.org/
  • EPEL 9 : aarch64, ppc64le, x86_64
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/elm

A functional programming language which compiles to javascript See https://elm-lang.org/
  • Fedora 39 : aarch64, ppc64le, x86_64
  • Fedora 40 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

petersen/MicroHs

Builds of MicroHs (Micro Haskell) releases
  • EPEL 8 : aarch64, ppc64le, s390x, x86_64
  • EPEL 9 : 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/ostree-pin

Tool to update ostree deployment pin
  • Fedora 39 : aarch64, x86_64
  • Fedora 40 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

petersen/mdsh

Markdown shell pre-processor
  • Centos-stream 8 : x86_64
  • Centos-stream 9 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

petersen/gren

A functional programming language that compiles to JS.
  • EPEL 9 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64