Search Results petersen

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 rawhide : x86_64

petersen/idris2

Idris 2 is a purely functional programming language with first class types. https://www.idris-lang.org/

• Epel for CentOS 8 : x86_64
• Fedora 32 : x86_64
• Fedora 33 : x86_64
• Fedora 34 : x86_64
• Fedora rawhide : x86_64

petersen/rhbzquery

rhbzquery is now packaged in Fedora

• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora 34 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/broot

New file manager written in rust

• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora 34 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/dhall-f32

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.

• Fedora 32 : x86_64

petersen/fbrnch

A tool to help Fedora Packagers Note this is still beta software. While it is generally working well for me (the author) please use at your own risk. Bug reports and feedback are welcome.

• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora 34 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/fedora-tools

Various tools for Fedora developers pdc client

• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora 34 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

petersen/stack-2.3

This is obsolete since Fedora 33

• Fedora 32 : aarch64, x86_64

petersen/stack-1.9

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.

• Epel for CentOS 6 : i386, x86_64
• Epel for CentOS 7 : x86_64

petersen/urweb

Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically typed, and strict. Ur supports a powerful kind of metaprogramming based on row types. Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports construction of dynamic web applications backed by SQL databases. The signature of the standard library is such that well-typed Ur/Web programs "don't go wrong" in a very broad sense.

• Epel for CentOS 7 : x86_64
• Fedora 32 : aarch64, x86_64
• Fedora 33 : aarch64, x86_64
• Fedora 34 : aarch64, x86_64
• Fedora rawhide : aarch64, x86_64

Published:

Author:

0 Build Batches 0 Importing 0 Pending 0 Starting 32 Running Running tasks during last 24 hours: