Recent Projects

philipmather/stellar-core

stellar-core is the backbone of the Stellar network. It maintains a local copy of the ledger, communicating and staying in sync with other instances of stellar-core on the network. Optionally, stellar-core can store historical records of the ledger and participate in consensus.
  • EPEL 7 : x86_64
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

denysp/rtpengine-sipwise

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • EPEL 7 : x86_64

mgrabovs/lean3

Lean is at the same time a modern interactive theorem prover/proof assistant for higher-order intuitionistic logic and a dependently typed purely functional programming language. This is the 3.x branch of Lean which is now officially end-of-life. It is nonetheless packaged since the 4.x branch is still under development and not yet public. For the community-maintained fork, see mgrabovs/lean3-community.
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

worralph/test-kernel

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

leiwang/fox

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • EPEL 7 : x86_64

jesonlay/sway-copr

Sway 1.1 build(s) Sway is tiling Wayland compositor and a drop-in replacement for the i3 window manager for X11. It works with your existing i3 configuration and supports most of i3's features, plus a few extras. Also includes other recommended tools (grim, slurp, swaylock, swayidle, mako, etc.) swayidle -> https://github.com/swaywm/swayidle swaylock -> https://github.com/swaywm/swaylock grim -> https://github.com/emersion/grim slurp -> https://github.com/emersion/slurp rofi -> https://github.com/davatorium/rofi waybar -> https://github.com/Alexays/Waybar/
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

rpraab/Polybar

Polybar is a fast and easy to use tool for creating status bars. Polybar aims to help users build beautiful and highly customizable status bars for their desktop environment, without the need of having a black belt in shell scripting. The source code for the package is hosted at Github/polybar. The spec file for the build is hosted at Github/raabrp.

rcritten/certmonger

certmonger with patches to use JSON for IPA RPC (0.79.11) patch for release NSS resources (0.79.12-2)
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

r3pek/idevicerestore

Repository with tools to work with your iOS device(s) in boot/recovery mode
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

cqi/python-nitrate-tcms

Nitrate is a new test plan, test run and test case management system, which is written in Python_ and Django_ web framework. It has a lot of great features, such as: Easy to use to create and manage testing life cycle with plans, cases and runs. Multiple and configurable authentication backend, e.g. Bugzilla and Kerberos. Fast search for plans, cases and runs. powerful access control for each plan, run and case Ready-to-use and extensible issue tracker that allows to track external issues with test cases and test case runs. Accessible with XMLRPC APIs. Nitrate works with: Python: 3.6 and 3.7. Django: 2.x. Following database versions are tested with: MariaDB: 10.2.21. MySQL: 5.7. PostgreSQL: 10.6. Full documentation: https://nitrate.readthedocs.io/en/latest/
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64