From Fedora Project Wiki

(→‎A-D: +Angie)
 
Line 1: Line 1:
{{Admon/important | Before submitting a wishlist package, read [[ForbiddenItems]] to understand what cannot be included.}}
{{Admon/important | Before submitting a wishlist package, read [[ForbiddenItems]] to understand what cannot be included.}}
{{Admon/note || It's fine to put packages here, but please be aware that the Fedora package collection is maintained by volunteers, and there's no guarnatee that anyone will pick up a package, even if many people agree that it's a great suggestion. There isn't a mechanism for voting for other people to do work, in other words. The best way to get something you're personally interested in included is to [https://docs.fedoraproject.org/en-US/package-maintainers/Joining_the_Package_Maintainers/ join the Package Maintainers]. If you're new to Fedora in general, or if that process seems intimidating, take a look at [https://docs.fedoraproject.org/en-US/fedora-join/index.html Join Fedora] — we have a group of helpful and friendly folks who will help you get started.}}


== Orphaned Packages ==
== Orphaned Packages ==


Refer to the list or [[PackageMaintainers/OrphanedPackages|unmaintained and orphaned packages]] . This would be a good place to bring back into Fedora repositories packages where the original maintainer has moved on.
Refer to the list or [[PackageMaintainers/OrphanedPackages|unmaintained and orphaned packages]] . This would be a good place to bring back into Fedora repositories packages where the original maintainer has moved on.
== Packaging Survey May 2009 ==
* https://fedoraproject.org/wiki/Packaging_Survey_May_2009


== General Fedora Packages WishList ==
== General Fedora Packages WishList ==
Line 9: Line 16:
As a current contributor, if you know of projects that would be appropriate in Fedora package collection but are unable to maintain yourself just drop them with a line here.  This list can be used to give other contributors ideas on what to package next. Please be aware however that the number of high quality, well maintained packages that Fedora repository provides scales with the number of active contributors. It is just as important to encourage new contributors as it is to desire new packages.  If you are not yet a contributor to the Fedora packaging process, please look over this list and see if there are any projects you would be willing to maintain for the Fedora community.
As a current contributor, if you know of projects that would be appropriate in Fedora package collection but are unable to maintain yourself just drop them with a line here.  This list can be used to give other contributors ideas on what to package next. Please be aware however that the number of high quality, well maintained packages that Fedora repository provides scales with the number of active contributors. It is just as important to encourage new contributors as it is to desire new packages.  If you are not yet a contributor to the Fedora packaging process, please look over this list and see if there are any projects you would be willing to maintain for the Fedora community.


If are interested in contributing to Fedora package collection, take a look at [[PackageMaintainers]]  
If are interested in contributing to Fedora package collection, take a look at [[PackageMaintainers]]
 
=== 0-9 ===
* [https://7-zip.org/ 7zip] - A configurable file archiver with support for many formats and algorithms.


* [http://www.cs.wustl.edu/~schmidt/ACE.html ACE]  - An OO network programming toolkit in C++ ([https://bugzilla.redhat.com/show_bug.cgi?id=450164 Review Request])
=== A-D ===
* [http://afuse.sourceforge.net/ afuse] - Afuse is an automounting file system implemented in user-space using FUSE.
* [http://aarddict.org/ aarddict] - Offline wikipedia and dictionary viewer
* [http://www.goron.de/~froese/ AleVT] Teletext/Videotext browser for bttv tv cards
* [http://code.google.com/p/ailurus/ Ailurus] - "Install software" + "Configure Linux" + "Study Linux skills" ([https://bugzilla.redhat.com/show_bug.cgi?id=553615 Review Request])
* [http://antsp2p.sourceforge.net/ Antsp2p] - Client for the MUTE peer-to-peer anonymous network
* [http://www.cs.wustl.edu/~schmidt/ACE.html ACE]  - An OO network programming toolkit in C++ ([https://bugzilla.redhat.com/show_bug.cgi?id=450164 Review Request, dropped for licensing issues])
* [http://opensource.adobe.com/wiki/display/cmap/CMap+Resources Adobe CMap and AGLFN data] - Adobe reference ID tables. If we don't use them many documents (PDFs…) won't display correctly (see [http://bonedaddy.net/pabs3/log/2009/09/24/adobe-data-freed/ this announce] and [http://lwn.net/Articles/354360/ this lwn.net article]
** NOTE: this is already included in poppler-data-0.3.0 (in F-12)
* [http://al.chemy.org/download/ Alchemy] - chaos generation tool, good for artists and sketchers - good creativity aid
* [http://www.alfresco.com/ Alfresco]  Enterprise content management system
* [http://www.alfresco.com/ Alfresco]  Enterprise content management system
* [https://en.angie.software/angie/ Angie], a powerful and scalable web server evolving the ideas of nginx.
* [http://apertium.sf.net/ Apertium]  Toolbox to build shallow-transfer machine translation systems(contact #apertium channel in freenode network).
* [http://apertium.sf.net/ Apertium]  Toolbox to build shallow-transfer machine translation systems(contact #apertium channel in freenode network).
* [http://www.r-fx.org/apf.php APF (Advanced Policy Firewall)]  - iptables(netfilter) based firewall system
* [http://www.r-fx.org/apf.php APF (Advanced Policy Firewall)]  - iptables(netfilter) based firewall system
* [http://directory.apache.org/studio/ Apache Directory Studio ] - An LDAP Directory Browser/Editor built on Eclipse RCP
* [https://github.com/arduino/arduino-cli Arduino CLI] - A compiler and uploader for arduino devices.
* [http://www.catb.org/~esr/ascii/ ascii] Command line tool for information on ASCII. (<strike>[https://bugzilla.redhat.com/show_bug.cgi?id=501353 Review Request dropped]</strike> [https://bugzilla.redhat.com/show_bug.cgi?id=523799 Review Request])
* [http://www.asterisknow.org/install-related Asterisk GUI]  GUI for managing Asterisk servers.
* [http://www.asterisknow.org/install-related Asterisk GUI]  GUI for managing Asterisk servers.
* [http://awesome.naquadah.org/ awesome] Highly configurable, next generation framework window manager for X.
* [http://wiki.axiom-developer.org/FrontPage Axiom]  - general purpose system for symbolic calculations.
* [http://wiki.axiom-developer.org/FrontPage Axiom]  - general purpose system for symbolic calculations.
* [http://www.blogbridge.com/ Blogbridge]  - Blog and rss reader (in Java)
* <strike>[http://www.blogbridge.com/ Blogbridge]  - Blog and rss reader (in Java)</strike> - usage of proprietary libraries
* [http://sourceforge.net/projects/bltk/ bltk]  - Battery Life Tool Kit is a set of scripts and programs to monitor and log power consumption of Linux laptops/notebooks under different workloads (HuzaifaSidhpurwala is working on it)
* <strike>[http://sourceforge.net/projects/bltk/ bltk]  - Battery Life Tool Kit is a set of scripts and programs to monitor and log power consumption of Linux laptops/notebooks under different workloads (HuzaifaSidhpurwala is working on it)</strike>
* [http://bongo-project.org/Main_Page Bongo]  - Bongo is an easy-to-use mail and calendar system. Fork of Hula.  ([https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=428925 Review Request]  (Dropped))
* [http://bongo-project.org/Main_Page Bongo]  - Bongo is an easy-to-use mail and calendar system. Fork of Hula.  ([https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=428925 Review Request]  (Dropped))
* [http://broffice.org BrOffice.org]  - BrOffice.org is the official brazilian release of [http://openoffice.org OpenOffice.org] .
* [https://github.com/Netflix/bpftop bpftop] - provides a dynamic real-time view of running eBPF programs.
* <strike> [http://broffice.org BrOffice.org]  - BrOffice.org is the official brazilian release of [http://openoffice.org OpenOffice.org] </strike> [https://fedoraproject.org/wiki/BrOffice.org_Spin BrOffice Spin]
* [http://www.campware.org/en/camp/campcaster_news/ CampCaster] A free open-source automation system for radio stations. It provides a web and GUI based interface for the queuing of music into an automated schedule.
* [http://wiki.creativecommons.org/CcHost CcHost]  - Creative Commons CMS that powers ccMixter
* [http://wiki.creativecommons.org/CcHost CcHost]  - Creative Commons CMS that powers ccMixter
* [http://chestnut-dialer.sourceforge.net/about.html chesnut-dialer]  A feature-rich Point-to-Point Protocol (PPP) dialer written in Python ([https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=243211 Review Request] )
* [http://chestnut-dialer.sourceforge.net/about.html chesnut-dialer]  A feature-rich Point-to-Point Protocol (PPP) dialer written in Python (Dropped <s>[https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=243211 Review Request]</s> )
* [http://sourceforge.net/projects/cmotech-tools cmotech-tools] Tools for using C-motech hardware with Linux (wireless broadband)
* [http://schlueters.de/colorgcc.html colorgcc] A tool to colorize the terminal output of GCC so error messages can be found within longer compiler outputs.
* [http://conkeror.org Conkeror] Conkeror is a keyboard-oriented, highly-customizable, highly-extensible web browser based on Mozilla XULRunner, written mainly in JavaScript, and inspired by exceptional software such as Emacs and vi.
* [http://www.craftychess.com/ Crafty] Crafty is a free, open-source computer chess program, generally more powerful than GNUchess.
* [http://www.cspace.in/ CSpace]  - Secure, decentralized Peer-to-Peer instant messaging ([https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=201636 Review request (dropped)] )
* [http://www.cspace.in/ CSpace]  - Secure, decentralized Peer-to-Peer instant messaging ([https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=201636 Review request (dropped)] )
* [http://clonezilla.sourceforge.net/ clonezilla]  - opensource clone system
* [http://www.clonezilla.org/ clonezilla]  - opensource clone system
* [http://dansguardian.org/ DansGuardian] - Web content filter solution (not a free-enough software - [http://dansguardian.org/?page=copyright2] ??)
* <strike> [http://forums.creative.com/creativelabs/board/message?board.id=soundblaster&thread.id=132288 Creative Sound Blaster X-Fi driver] - the driver for popular series of sound cards by Creative. It was recently released under GPLv2 licence, needs to go to Rawhide first.</strike> This driver will be included in the linux kernel in a while, probably in 2.6.31 [[http://mailman.alsa-project.org/pipermail/alsa-devel/2009-May/017332.html]]
* [http://dub.washington.edu:2007/projects/denim/ Denim] - UI sketching tool. BSD license. Created by the University of Washington.
* [http://ditaa.sourceforge.net/ Ditaa] - Convert Ansii Art to PNG-Giagrams; Java; commandline
* [http://www.dimdim.com/ dimdim]  - open source web meeting product with features like Application, Desktop and Presentation sharing with A/V streaming and chat
* [http://www.dimdim.com/ dimdim]  - open source web meeting product with features like Application, Desktop and Presentation sharing with A/V streaming and chat
* [http://enigmail.mozdev.org Enigmail] - OpenPGP/GnuPG extension for Mozilla Thunderbird and Seamonkey
* [http://http://cr.yp.to/djbdns.html djbdns] - a simple and security-aware DNS implementation created by Daniel J. Bernstein due to his frustrations with repeated BIND security holes. [https://bugzilla.redhat.com/show_bug.cgi?id=480724 Review request]
* [http://entertainer-project.com Entertainer]  Is a clutter based media center
* [http://live.gnome.org/DVBDaemon DVB Deamon] - is a daemon written in Vala to setup your DVB devices, record and watch TV shows and browse EPG. It can be controlled by any application via its D-Bus interface.
 
=== E-G ===
* [http://svn.enlightenment.org/ e17-svn] - Enlightenment window manager DR17 from the new svn repository
* [http://code.google.com/p/itask-module/wiki/Stuff Ecomorph] - OpenGL compositing manager that runs all the compiz plugins
* [http://executequery.org Executequery] - Execute Query is an operating system independent database utility written entirely in Java.
* <strike>[http://electricsheep.org/ electric sheep] - Best open source evolving screensaver in existence.</strike> <b>Cannot include in Fedora, has built in MPEG decoder</b>
* <strike>[http://entertainer-project.com Entertainer]  Is a clutter based media center (working on it)</strike> in f12
* [http://code.enthought.com/ Enthought framework] - python framework for building scientific data visualization applications
* [http://code.enthought.com/ Enthought framework] - python framework for building scientific data visualization applications
* [http://open-ils.org/ Evergreen ILS]  - open source Integrated Library System (ILS)
* [http://open-ils.org/ Evergreen ILS]  - open source Integrated Library System (ILS)
* [http://freemind.sourceforge.net/wiki/index.php/Main_Page FreeMind]  - Free mind-mapping software.  JPackage SRPM available:  http://sourceforge.net/project/showfiles.php?group_id=7118&package_id=161830&release_id=574721 .  jcalendar only required dependency we don't yet have.
* [http://flyback-project.org/ Flyback] - GUI for archiving similar to Apple's Time Machine.
* [http://software.opensuse.org/download/Compiz-Quinn/standard/repodata/repoview/gcompizthemer-0-0.9-8.1.html gcompizthemer]
* [http://sourceforge.net/projects/fntsample fntsample] - A program for making font samples that show Unicode coverage of the font and are similar in appearance to Unicode charts.
* [http://fondu.sourceforge.net/ fondu] - A set of programs to interconvert between mac font formats and pfb, ttf, otf and bdf files on unix.
* [http://code.google.com/p/font-manager/ font manager] - A simple GNOME application to manage fonts
* [https://freedombox.org FreedomBox] - private digital services server for non-experts.
* [http://freemat.sourceforge.net/ Freemat] - Open source engineering and data processing application. Can be used as a free alternative to Matlab. GPL
* [http://freemind.sourceforge.net/wiki/index.php/Main_Page FreeMind]  - Free mind-mapping software.  JPackage SRPM available:  http://sourceforge.net/project/showfiles.php?group_id=7118&package_id=161830&release_id=574721 .  <strike>jcalendar only required dependency we don't yet have</strike> jcalendar now available on Fedora.
* [https://freenginx.org freenginx] - community supported nginx fork.
* [http://cvsgui.sourceforge.net/ gcvs]  - Graphical frontend to cvs (Last release 2003 -- though other clones WinCVS & MacCVS where released more recently)
* [http://cvsgui.sourceforge.net/ gcvs]  - Graphical frontend to cvs (Last release 2003 -- though other clones WinCVS & MacCVS where released more recently)
* <strike>[https://github.com/dundee/gdu gdu]  - Pretty fast disk usage analyzer written in Go. MIT License.</strike> [https://src.fedoraproject.org/rpms/gdu Available] since 2024-11 for +F40 and EPEL9
* [http://geonext.uni-bayreuth.de/ GEONExT]  - dynamic mathematics software for teaching and learning mathematics. Written in Java, licensed under GPLv2. Source code can be obtained at source@geonext.de
* [http://geonext.uni-bayreuth.de/ GEONExT]  - dynamic mathematics software for teaching and learning mathematics. Written in Java, licensed under GPLv2. Source code can be obtained at source@geonext.de
* [http://www.geogebra.org/cms/index.php?lang=en GeoGebra]  - free and multi-platform dynamic mathematics software for schools that joins geometry, algebra and calculus. Program released under GPL, documentation under some CC non commercial license so we can't ship the documentation.
* [http://www.geogebra.org/cms/index.php?lang=en GeoGebra]  - free and multi-platform dynamic mathematics software for schools that joins geometry, algebra and calculus. Program released under GPL, documentation under some CC non commercial license so we can't ship the documentation.
* [http://projects.reichbier.de/gestikk/ gestikk] - Mouse Gesture Recognition
* <strike>[https://github.com/cli/cli gh] - gh is GitHub on the command line (github-cli). It brings pull requests, issues, and other GitHub concepts to the terminal next to where you are already working with git and your code. </strike> Available since 2021-12 for +F35
* [https://github.com/GitCredentialManager/git-credential-manager git-credential-manager] - Secure, cross-platform Git credential storage with authentication to GitHub, Azure Repos, and other popular Git hosting services.
* [http://g15tools.sourceforge.net/ g15tools]  - linux support to the g15 keyboard
* [http://g15tools.sourceforge.net/ g15tools]  - linux support to the g15 keyboard
* [http://gforge.org/ GForge]  - GForge is a software for collaborative development for the software community ([https://bugzilla.redhat.com/show_bug.cgi?id=449135 Review Request])
* [http://gforge.org/ GForge]  - GForge is a software for collaborative development for the software community (Dropped <s>[https://bugzilla.redhat.com/show_bug.cgi?id=449135 Review Request]</s>)
* [http://eagain.net/gitweb/?p=gitosis.git;a=blob;f=README.rst gitosis] - Manage ``git`` repositories, provide access to them over SSH, with tight access control and not needing shell accounts. Currently only lives in developers git repository, thus no project website (yet?).
* [http://www.gimpshop.com/ GimpShop] - GimpShop is a fork of gimp for more compatibility with a commercial image editing program.
* [http://gimpshopdotnet.blogspot.com/ GimpShop] - GimpShop is a fork of gimp for more compatibility with a commercial image editing program. [http://www.gimpshop.com/ This] one is correct link.
* [https://github.com/hickford/git-credential-oauth git-credential-oauth] - A Git credential helper that securely authenticates to GitHub, GitLab, BitBucket and other forges using OAuth.
* [http://www.nongnu.org/gksu/ gksu & gksudo]  Sudo (superuser do) allows a system administrator to give certain users (or groups of users) the ability to run some (or all) commands as root or another user while logging the commands and arguments.
* <strike>[http://code.google.com/p/giver/ Giver] - File sharing program ([http://news.opensuse.org/?p=341], uses gnome-sharp) (([https://bugzilla.redhat.com/show_bug.cgi?id=474412 Review Request])</strike> in f12
* [http://www.nongnu.org/gksu/ gksu & gksudo]  Sudo (superuser do) allows a system administrator to give certain users (or groups of users) the ability to run some (or all) commands as root or another user while logging the commands and arguments. [https://bugzilla.redhat.com/show_bug.cgi?id=468466 Review Request (libgksu)] & [https://bugzilla.redhat.com/show_bug.cgi?id=468467 Review Request (gksu & gksudo)]
* [http://glparchis.sourceforge.net/ glParchis]  -- Parcheesi
* [http://glparchis.sourceforge.net/ glParchis]  -- Parcheesi
* [http://www.glscube.org/ Gnu Linux Semantics Storage System]  - A storage solution that distances you from thinking about Where you store your data to What your data is.
* [http://www.glscube.org/ Gnu Linux Semantics Storage System]  - A storage solution that distances you from thinking about Where you store your data to What your data is.
* [http://live.gnome.org/media-applet GNOME Media Applet] . Media applet is an application to easily manage disks and devices on your system.
* [http://www.gnome-look.org/content/show.php?content=31033 Gnome Menu Extended] . Show KDE menu in GNOME. Complimentary to kmenu-gnome. ([https://bugzilla.redhat.com/show_bug.cgi?id=426026 Review Request])
* [http://www.gnome-look.org/content/show.php?content=31033 Gnome Menu Extended] . Show KDE menu in GNOME. Complimentary to kmenu-gnome. ([https://bugzilla.redhat.com/show_bug.cgi?id=426026 Review Request])
* [http://www.gns3.net/ GNS3]  - GNS3 is a graphical network simulator that allows you to design complex network topologies and to launch simulations on them.
* [http://www.gnutelephony.org/index.php/GNU_Bayonne GNU Bayonne 1 and 2] - Telephony servers
* [http://wiki.gnutelephony.org/index.php/GNU_Bayonne GNU Bayonne 1 and 2] - Telephony servers
* [http://www.gprsec.hu/modules/index/ GPRS Easy Connect]  - GUI for GPRS connecting and supports 704 phones and 269 providers (2008-07-28 The project is closed).
* [http://www.gprsec.hu/modules/index/ GPRS Easy Connect]  - GUI for GPRS connecting and supports 704 phones and 269 providers (2008-07-28 The project is closed).
* [http://www.etherboot.org] gPXE - x86 Option ROM creator with great features.
* [http://linuxbrit.co.uk/gozer/ gozer] - gozer is a commandline text rendering utility for creating images from arbitrary text in antialiased truetype fonts using optional fontstyles, wordwrapping and layout control.
* [https://github.com/Granulate gProfiler], a system-wide profiler, combining multiple sampling profilers to produce unified visualization of what your CPU is spending time on.
* [http://packages.debian.org/en/gwaterfall gwaterfall] - This program facilitates comparison of various font and font rendering parameters.
* <strike>[http://www.etherboot.org] gPXE - x86 Option ROM creator with great features.</strike> in F12
* [http://gnusound.sourceforge.net/ Gnusound]  - audio editor.
* [http://gnusound.sourceforge.net/ Gnusound]  - audio editor.
* [http://www.gnomefiles.org/app.php?soft_id=506 gomponent]  
* [http://www.gnomefiles.org/app.php?soft_id=506 gomponent]  
* [http://www.phrozensmoke.com/projects/pyvoicechat/index_gyache.php Gyache Enhanced]  - A full-featured Yahoo client for LINUX with voice chat and webcam support
* [http://guppy.nongnu.org/ guppy]  is an application to download videos from the Topfield TF5000PVRt.
* [http://guppy.nongnu.org/ guppy]  is an application to download videos from the Topfield TF5000PVRt.
* [http://gwyddion.net/ Gwyddion] Free SPM (AFM, SNOM/NSOM, STM, MFM, …) data analysis software
* [http://goldendict.berlios.de/ Goldendict] A dictionary lookup program. that supports multiple dictionary file formats, like stardict and dictd formats and supports mediawiki lookup too.
* [https://www.eurovamarketing.com/ EurovaMarketing] A website that provides free edited videos for learners and beginners. To improve their talent to edit their own videos.
=== H-K ===
* [http://habariproject.org/en/ Habari ] - Next Generation Blogging Platform.
* [http://hardware4linux.info/ hardware4linux.info] is '''Debian's official hardware profiler'''. Functional '''.rpm packages for Fedora already exist''' (.src and binary), but this should be better integrated with smolt (please see [https://bugzilla.redhat.com/show_bug.cgi?id=433105 Fedora bug #433105])
* [http://gertjan.freezope.org/replicator/ http_replicator]  a smart caching proxy ideal for use with apt/yum
* [http://gertjan.freezope.org/replicator/ http_replicator]  a smart caching proxy ideal for use with apt/yum
* [http://sourceforge.net/projects/hyperic-hq/ Hyperic HQ]  - an advanced system and application management platform
* [http://sourceforge.net/projects/hyperic-hq/ Hyperic HQ]  - an advanced system and application management platform
* [http://sigar.hyperic.com/ Hyperic SIGAR] - System Information Gatherer And Reporter
* [http://www.datenfreihafen.org/projects/iec16022.html iec16022] - Generate ISO/IEC 16022 2D barcodes ([http://cachalot.mine.nu/11/SRPMS/ srpm here])
* [http://www.ifolder.com/index.php/Main_Page iFolder]  - requires simias ([https://bugzilla.redhat.com/show_bug.cgi?id=285801 Review Request] )
* [http://www.ifolder.com/index.php/Main_Page iFolder]  - requires simias ([https://bugzilla.redhat.com/show_bug.cgi?id=285801 Review Request] )
* [http://imdbpy.sourceforge.net/?page=main IMDbPy] - do IMDB searches in Python, RPM package available in the downloads. ([https://bugzilla.redhat.com/show_bug.cgi?id=431154 Review Request])
* [http://www.imule.i2p.tin0.de/ Imule] - Anonymous version of Emule, through the I2p protocol. [http://www.imule.i2p.tin0.de/download.php sources and binaries here]
* [https://linuxcontainers.org/incus/ Incus] - a fork of LXD, is a next generation system container and virtual machine manager.
* [http://www.indefero.net/ indefero] - Indefero Software Forge - Beautiful simplicity in bug tracking and code review.
* [http://cdsware.cern.ch/indico/ Indico] - A Python-based event organizer web application (GPL).
* [https://github.com/input-leap/input-leap input-leap] - Open source KVM software (actively maintained Barrier fork)
* [http://installjammer.com/ InstallJammer]  - InstallJammer is a multiplatform GUI installer designed to be completely cross-platform
* [http://installjammer.com/ InstallJammer]  - InstallJammer is a multiplatform GUI installer designed to be completely cross-platform
* [http://iptrack.sourceforge.net/ ipplan]  - ipplan is a web-based application for managing IP address allocations
* <strike>[http://iptrack.sourceforge.net/ ipplan]  - ipplan is a web-based application for managing IP address allocations ([https://bugzilla.redhat.com/show_bug.cgi?id=510943 Review request])</strike> in F12
* [http://irrlicht.sourceforge.net/ Irrlicht]  - lightning fast realtime 3D engine.
* [http://italc.sourceforge.net/ ''iTalc''] - Interactive Tool for teachers, OpenSource classroom-management, GPL
* [http://code.google.com/p/itask-module/wiki/ItaskNG iTask-NG] - A taskbar and app-launcher dock based on engage, which makes use of composite, but can also be used without.
* [http://www.hforge.org/itools/ itools] - A python library that includes several useful tools, such as an ODF anonymizer that can be used to sanitize confidential documents before attaching them tp bug reports
* [http://www.shrew.net/ ike ] - a free IPsec VPN Client for FreeBSD, NetBSD, Linux and Windows operating systems
* [http://jahshaka.org/ Jahshaka] - is an powerful opensource video editing and creating tool
* [http://olivier.sessink.nl/jailkit/ jailkit] - chroot jail utilities ([https://bugzilla.redhat.com/show_bug.cgi?id=479546 Review Request])
* [http://www.thaiopensource.com/relaxng/jing.html Jing]  - Jing is James Clarks' RELAX-NG XML schema validator. Example RPMs at authors site, works with gcj.
* [http://www.thaiopensource.com/relaxng/jing.html Jing]  - Jing is James Clarks' RELAX-NG XML schema validator. Example RPMs at authors site, works with gcj.
* [http://josm.openstreetmap.de/ JOSM] - JOSM is the "Java Open Street Map Editor"
* [http://jmemorize.org/ jMemorize] - Java application that manages flashcards by the famous Leitner system
* [http://www.kbfx.org/ kbfx]  - kbfx is an alternative to the classical K-Menu button and it's menu.
* [http://josm.openstreetmap.de/ JOSM] - the Java Open Street Map Editor. [https://bugzilla.redhat.com/show_bug.cgi?id=508351 Review Request].
* [http://http://svn.netlabs.org/kbuild kBuild] - Build Enviroment, needed for VirtualBox ([https://bugzilla.redhat.com/show_bug.cgi?id=435276 Review Request] )
* [http://koan.studentenweb.org/software/jpeg2pdf.html JPEG2PDF] - Creates a PDF out of a directory of JPEG/JPG-images. Very fast and stable; should be easy to package.(The homepage is dead, anyone knows whether the project is still alive?)
* [http://www.kbfx.org/ kbfx]  - kbfx is an alternative to the classical K-Menu button and it's menu. (The page is dead)
* [http://www.kdevelop.org/ KDevelop4] - Major rewrite based on Qt4/KDE4 with a powerful language architecture. Under heavy development and currently in Beta phase, recommended for C++ or PHP development with CMake or custom Makefiles as their build system. Recommended for Linux (all other OS might work, but are not tested yet).
* [http://linux.softpedia.com/get/Office/Groupware/KForge-8892.shtml KForge]  - For managing software and knowledge projects.
* [http://linux.softpedia.com/get/Office/Groupware/KForge-8892.shtml KForge]  - For managing software and knowledge projects.
* [http://www.a-rostin.de/klogic/index.html KLogic]  - KLogic is an application for building and simulating digital circuits easily
* [http://www.a-rostin.de/klogic/index.html KLogic]  - KLogic is an application for building and simulating digital circuits easily
* [http://www.kmyfirewall.org/ KMyFirewall] - an IPTables based firewall configuration tool
* <strike>[http://www.knowledgetree.com/ Knowledge Tree] - Community edition: a PHP based GPL V3 Content Managements System</strike> (No free access to source code, you need to register to access source code)
* [http://l7-filter.sourceforge.net/ l7-filter]  - L7-filter is a classifier for Linux's Netfilter that identifies packets based on application layer data.
* [http://kommute.sourceforge.net/ Kommute] - Linux client for the MUTE anonymous P2P network
* [http://www.activestate.com/komodo_edit/ Komodo Edit ] - Free and Open source multi-language editor
 
=== L-M ===
* [http://l7-filter.sourceforge.net/ l7-filter]  - L7-filter is a classifier for Linux's Netfilter that identifies packets based on application layer data. ([https://bugzilla.redhat.com/show_bug.cgi?id=526265 Review Request])
* [http://kprayertime.sourceforge.net/ KPrayertime] - Islamic Prayer Times Applet
* [http://kprayertime.sourceforge.net/ KPrayertime] - Islamic Prayer Times Applet
* [http://latex2rtf.sourceforge.net/ LaTeX2rtf] - Translator program to translate a LaTeX document into the RTF format
* [http://www.lessfs.com/ lessfs] - A high performance inline data deduplicating filesystem for Linux. ([https://bugzilla.redhat.com/show_bug.cgi?id=530473 Review Request])
* [http://www.cabextract.org.uk/libmspack/ libmspack] - A library for Microsoft compression formats. If this library is accepted cabextract should link against it.
* [http://www.liaison-project.org/ Liaison] - Liaison is a software tool combining some well known open source software tools like MoinMoin, Subversion and Bugzilla to help software developers to collaborate.
* <strike>[http://www.cabextract.org.uk/libmspack/ libmspack] - A library for Microsoft compression formats.</strike> In F12, cabextract should link against it.
* [http://packages.debian.org/search?searchon=sourcenames&keywords=poldi libpam-poldi] PAM module allowing authentication using a OpenPGP smartcard. This PAM module will allow you to login, screenlock and validate to services using your GnuPG smartcard. (sorry for cross-distro reference but i googled for so long without finding any other good source.)
* [http://sbml.org/Software/libSBML libSBML] Programming library to read, write, manipulate, translate, and validate SBML files and data streams.
* [http://www.liferay.com/web/guest/home liferay] - An open source Java based portal application.
* [http://www.liferay.com/web/guest/home liferay] - An open source Java based portal application.
* [http://www.gnomefiles.org/app.php?soft_id=486 linsmith]
* [http://www.nongnu.org/lingot/ Lingot] - LINGOT is a musical instrument tuner. It's accurate, easy to use, and highly configurable. Originally conceived to tune electric guitars, its configurability gives it a more general character. Free software, with GPL.
* [http://livebackup.sourceforge.net/ livebackup]  - LiveBackup is a framework to create live-cd's from installed Linux systems
* [http://livebackup.sourceforge.net/ livebackup]  - LiveBackup is a framework to create live-cd's from installed Linux systems
* <strike> [http://lives.sourceforge.net/ lives] - Video Editing System. It is designed to be simple to use, yet powerful (foreign f9 package exists on SourceForge) </strike> Cannot be included in Fedora due to dependency on ffmpeg.
* [http://lprof.sourceforge.net/ lprof] - ICC Color Profiler. This will help the Fedora Design team produce for-print artwork.
* [https://trac.luffy.cx/lldpd/ lldpd] - 802.1ab (LLDP) implementation, .spec [http://cgit.luffy.cx/lldpd/tree/redhat/ here]
* [http://www.magentocommerce.com/ Magento]  - Magento is a new professional open-source eCommerce solution offering unprecedented flexibility and control.
* [http://www.magentocommerce.com/ Magento]  - Magento is a new professional open-source eCommerce solution offering unprecedented flexibility and control.
* [http://mapguide.osgeo.org/ MapGuide]  - web-based platform for developing and deployment web mapping applications and geospatial web services.
* [http://mapguide.osgeo.org/ MapGuide]  - web-based platform for developing and deployment web mapping applications and geospatial web services.
* [http://batleth.sapienti-sat.org/projects/mb2md/ mb2md]  - Perl script for converting Unix mailboxes to Maildir format
* [http://mdp-toolkit.sourceforge.net/ mdp-toolkit] - Modular toolkit for Data Processing (MDP) is a Python data processing framework.
* [http://mdp-toolkit.sourceforge.net/ mdp-toolkit] - Modular toolkit for Data Processing (MDP) is a Python data processing framework.
* [http://www.vectrace.com/mercurialeclipse/ Mercurial Eclipse]  - hg Eclipse plugin
* [http://www.vectrace.com/mercurialeclipse/ Mercurial Eclipse]  - hg Eclipse plugin
*<strike>[http://mesk.nicfit.net/ Mesk] - A PyGtk+ audio player</strike> <b>Cannot include in Fedora, has built in MPEG decoder</b>
* [http://towo.net/mined/ mined]  Unicode text editor
* [http://towo.net/mined/ mined]  Unicode text editor
* [https://launchpad.net/mintmenu MintMenu] - A modern python-coded menu applet that shares the same hotlinks to software as the Gnome main menu. [http://packages.linuxmint.com/pool/main/m/mintmenu/ Source code]
* [http://mixmaster.sf.net mixmaster]  Anonymous remailer client and server
* [http://mixmaster.sf.net mixmaster]  Anonymous remailer client and server
* [http://www.mondorescue.org Mondo Rescue]  inclusion - [https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=187318 Review Request]  
* [http://www.mondorescue.org Mondo Rescue]  inclusion - [https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=187318 Review Request]  
* [http://www.misfitcode.com/misfitmodel3d/ Misfitmodel3d] - Misfit Model 3D is an OpenGL-based 3D model editor that works with triangle-based models - [https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=453713 Review Request]
* [http://www.mongodb.org/ MongoDB] - high-performance, open source, schema-free document-oriented database.  
* [http://www.musicpd.org/ mpd] mpc is available, just mpd is missing. NOTE : mpd can't be included as-is in Fedora, because it needs libmad (the MP3 decoding library). The tarball even contains a copy of the libmad code.
* [http://www.mtasc.org/ mtasc] - ActionScript 2 compiler generating flash [http://www.environnement.ens.fr/perso/dumas/fc-srpms/mtasc-1.13-0.1.cvs04062008.fc10.src.rpm srpm here]
* [http://www.mplayerhq.hu/ MPlayer]  - MPlayer media player. [http://people.debian.org/~mjr --/legal/mplayer.html legal analysis]
* [http://mumble.sourceforge.net/ mumble] - a VoIP application, primary used by gamers
* [http://mythtv.org/ MythTV] is a homebrew PVR project
* [http://moblock.berlios.de/ MoBlock]  - A Peerguardian compatible connection blocker
* [http://moblock.berlios.de/ MoBlock]  - A Peerguardian compatible connection blocker
* [http://monotorrent.blogspot.com/2008/04/monotorrent-0.html Monsoon]  - A MonoTorrent based GTK# BitTorrent client
* <strike>[http://monotorrent.blogspot.com/2008/04/monotorrent-0.html Monsoon]  - A MonoTorrent based GTK# BitTorrent client</strike> in F12
 
=== N-O ===
* [http://www.nagiosexchange.org/NagiosGrapher.84.0.html NagiosGrapher]  - Nagios Stats graphing.
* [http://www.nagiosexchange.org/NagiosGrapher.84.0.html NagiosGrapher]  - Nagios Stats graphing.
* [http://lucastomicki.net/naptd.php NAT-PT]  - Network Address Translation, Protocol Translation IPv4/IPv6 - allows IPv6-only networks to connect to IPv4-only networks (based on RFC 2766)
* [http://lucastomicki.net/naptd.php NAT-PT]  - Network Address Translation, Protocol Translation IPv4/IPv6 - allows IPv6-only networks to connect to IPv4-only networks (based on RFC 2766).  Per [http://blog.go6.net/?p=210 this go6.net blog post], NAT-PT is dead.
* [http://www.padl.com/OSS/nss_updatedb.html nss_updatedb]  - Maintains a local cache of network directory user and group information.
* [http://code.google.com/p/nautilussvn/ nautilussvn]  - Subversion commands integrated into the GNOME Nautilus file manager.
* [http://www.ntop.org ntop]  inclusion ([https://bugzilla.redhat.com/show_bug.cgi?id=448397 Review Request] )
* [http://www.ncbi.nlm.nih.gov/IEB/ToolBox/index.cgi ncbi] - NCBI libraries and tools for biology applications [http://www.environnement.ens.fr/perso/dumas/fc-srpms/ncbi-6.1.20081116a-1.fc10.src.rpm srpm here]
* [http://noteedit.berlios.de/ noteedit]  - Free music score editor
* [http://www.padl.com/OSS/nss_updatedb.html nss_updatedb]  - Maintains a local cache of network directory user and group information. ([https://bugzilla.redhat.com/show_bug.cgi?id=524437 review request])
* [http://sourceforge.net/projects/nvram-wakeup nvram-wakeup] - Reads and writes the wakeup time in the BIOS
* [http://noteedit.berlios.de/ noteedit]  - Free music score editor. NOTE: seems to be dead - last version in 2006. Also requires TSE3 which also has been dead for some years.
* [https://launchpad.net/onboard onBoard]  - onscreen virtual keyboard
* [http://obm.org/ OBM] OBM is enterprise-class messaging and collaboration platform for workgroup or enterprises with many thousands users. OBM includes Groupware, messaging server, CRM, LDAP, Windows Domain, smartphone and PDA synchronization… Note: Uses stock services and ,hence, makes it less invasive. License:GPL
* [http://johan.svedberg.com/projects/coding/ontv/ OnTV]  - A TV scheduler using XMLTV backends
* [http://johan.svedberg.com/projects/coding/ontv/ OnTV]  - A TV scheduler using XMLTV backends
* [http://www.opengroupware.org/ OpenGroupware]  - Groupware software
* [http://www.opengroupware.org/ OpenGroupware]  - Groupware software
* [http://openlp.org/ openlp.org] - Display words for songs, for use in churches
* <strike>[http://www.openshotvideo.com/ OpenShot]  - An non linear easy-to-use video editor. Python based, pure GPL 3. </strike> -> Uses MLT framework. Package only at rpmfusion later.
* [http://extensions.services.openoffice.org/project/PresentationMinimizer OpenOffice Presentation Minimizer] - reduces the size of ooimpress documents, requires java
* [http://sourceforge.net/projects/openproj/ OpenProj]  - A desktop replacement of Microsoft Project
* [http://sourceforge.net/projects/openproj/ OpenProj]  - A desktop replacement of Microsoft Project
* [http://www.openwsman.org/ OpenWSMan] - Web Services Management specification (WS-Management)
* [http://openstego.sourceforge.net/ OpenStego] - the free Steganography solution
* [http://projects.o-hand.com/oprofileui oprofileui] - An excellent GTK GUI for the oprofile system profiler
* [http://projects.o-hand.com/oprofileui oprofileui] - An excellent GTK GUI for the oprofile system profiler ([https://bugzilla.redhat.com/show_bug.cgi?id=442233 review request])
* [http://home.kabelfoon.nl/~slam/fonts/otcomp.html otcomp] - OpenType layout compiler, needed to build some FLOSS fonts
 
=== P ===
* [http://paida.sourceforge.net/ PAIDA] - PAIDA is pure Python scientific analysis package
* [http://paida.sourceforge.net/ PAIDA] - PAIDA is pure Python scientific analysis package
* [http://www.blueskyonmars.com/projects/paver/ Paver] - Paver is a Python-based build/distribution/deployment scripting tool along the lines of Make or Rake.  
* [https://panel.holoviz.org/] - The Powerful Data Exploration & Web App Framework for Python
* [http://code.google.com/p/paint-mono/ paint-mono]  - An unofficial effort to port Paint.NET 3.0 to Linux using Mono
* [https://passt.top passt] - Unprivileged user-mode network connectivity for virtual machines and containers
* [http://www.openidenabled.com/openid/libraries/php PHP openid library]  
* [https://launchpad.net/pastebinit Pastebinit] - A tool to "pastebin" text on several paste websites. Really useful in chat (but not only chat) help. I strongly reccommend that all the distro would use this and configure it to use the bin of choice. fpaste in this case. Beside i think is useless to make different packages (which are just scripts really) for such a simple thing when there could be one customizable for every choice.
* <strike>[http://code.google.com/p/paint-mono/ paint-mono]  - An unofficial effort to port Paint.NET 3.0 to Linux using Mono </strike> - <b> Cannot be included since Paint is partly licensed under a non-commercial license</b>
* [http://pear.php.net/package/HTML_Template_Flexy PEAR HTML_Template_Flexy] - An extremely powerful Tokenizer driven Template engine
* [http://pear.php.net/package/HTML_Javascript PEAR HTML_Javascript] - Provides an interface for creating simple JS scripts ([https://bugzilla.redhat.com/show_bug.cgi?id=508075 Review Request])
* [http://pear.php.net/package/MDB2_Driver_mysqli PEAR MDB2_Driver_mysqli] - PEAR mysqli MDB2 driver
* [http://pear.php.net/package/Auth_HTTP PEAR Auth_HTTP] - PEAR HTTP authentication ([https://bugzilla.redhat.com/show_bug.cgi?id=508082 Review Request])
* [http://www.evolus.vn/Pencil/ Pencil] - A UI design / sketching tool, Mozilla-based
* [http://search.cpan.org/dist/CDDB_get/ perl-CDDB_get] - Read the CDDB entry for an audio CD in your drive [http://www.environnement.ens.fr/perso/dumas/fc-srpms/perl-CDDB_get-2.27-1.fc10.src.rpm srpm here]
* [http://search.cpan.org/search?query=qt4&mode=all perl-Qt4] - perl binding for Qt4 it's two perl modules [http://search.cpan.org/~vadiml/QtGui-4.004/lib/QtGui.pm QtGui] and [http://search.cpan.org/~vadiml/QtCore-4.004/lib/QtCore.pm QtCore]
* [http://opensource.eyemg.com/index.php/Petit petit] An interactive command-line log-file summarizer ([[User:Red|red]] is working with upstream to make this packaging-friendlier and get it into Fedora)
* [http://www.photofilmstrip.org/home.html PhotoFilmStrip] Create slideshow movies from photos
* [http://pecl.php.net/package/syck php-pecl-syck], [http://blog.milkfarmsoft.com/?p=36 php-pecl-syck] php-pecl-syck
* [http://www.opensc-project.org/engine_pkcs11/ PKCS #11 engine] , [http://www.opensc-project.org/libp11/ PKCS #11 library]  OpenSC addons
* [http://www.opensc-project.org/engine_pkcs11/ PKCS #11 engine] , [http://www.opensc-project.org/libp11/ PKCS #11 library]  OpenSC addons
* [http://www.pligg.com/ pligg]  is a digg like CMS that uses PHP and MySQL.
* [http://www.pligg.com/ pligg]  is a digg like CMS that uses PHP and MySQL.
* [http://pluf.org/ pluf] - a php webapp framework
* [http://ftp.kernel.org/pub/linux/kernel/people/lenb/acpi/utils/ pmtools]  Tools for examining kernel ACPI tables
* [http://ftp.kernel.org/pub/linux/kernel/people/lenb/acpi/utils/ pmtools]  Tools for examining kernel ACPI tables
* [http://pngnq.sourceforge.net/ pngnq] is a tool for quantizing PNG images in RGBA format.
* <strike>[http://pptpclient.sourceforge.net/howto-fedora-core-6.phtml PPTP-Config]  - PPTP - config program part of the pptp. Already has FC6 packages.</strike> <b>This is depreciated the author recommends networkmanager use.</b>
* [http://pptpclient.sourceforge.net/howto-fedora-core-6.phtml PPTP-Config]  - PPTP - config program part of the pptp. Already has FC6 packages.
* [http://www.nzdl.org/html/prescript.html prescript] - Utility for extracting text from PostScript files [http://www.environnement.ens.fr/perso/dumas/fc-srpms/prescript-2.2-1.fc10.src.rpm srpm here]
* [http://kim.tensta.gannert.se/projects/pretty-am/ Prettify Automake]  - pretty automake output
* [http://kim.tensta.gannert.se/projects/pretty-am/ Prettify Automake]  - pretty automake output
* [http://pype.sourceforge.net/ PyPE]  PyPE (Python Programmers' Editor) is an editor written in Python with the wxPython GUI toolkit.
* <strike>[http://pxe-kexec.berlios.de/ PXE-Kexec] - kexec boot from a PXE server.  This has been added </strike>
* [http://www.codestyle.org/css/font-family/ PyTraffic]  - A free implementation of the Rush Hour puzzle.
* [http://pyjs.org/ Pyjamas] - web tookit for python
* [http://pype.sourceforge.net/ PyPE]  PyPE (Python Programmers' Editor) is an editor written in Python with the wxPython GUI toolkit. ([https://bugzilla.redhat.com/show_bug.cgi?id=517743 Review Request])
* [http://pydap.org/ python-dap] - Data Access Protocol (OPeNDAP) implementation in python [http://www.environnement.ens.fr/perso/dumas/fc-srpms/python-dap-2.2.6-1.fc10.src.rpm srpm here]
* [http://alpha.uhasselt.be/Research/Algebra/Members/pytraffic/ PyTraffic]  - A free implementation of the Rush Hour puzzle.
* [http://brion.inria.fr/anla/unit_info?unit=python-egenix-mxdatetime python-egenix-mxdatetime]  - date and time handling routines for Python
* [http://brion.inria.fr/anla/unit_info?unit=python-egenix-mxdatetime python-egenix-mxdatetime]  - date and time handling routines for Python
=== Q-S ===
* [http://qsfm.sourceforge.net QuickSoundFontManager] - A gui for (a)sfxload / fluidsync to quick load several SF2 soundfonts in a EMU10k chip
* [http://qsfm.sourceforge.net QuickSoundFontManager] - A gui for (a)sfxload / fluidsync to quick load several SF2 soundfonts in a EMU10k chip
* [http://remoot.sourceforge.net/ Remoot] - the pseudo-universal remote control wrapper. Wrapper around many apps.
* [http://en.wikipedia.org/wiki/Rasmol Rasmol] - RasMol is a computer program written for molecular graphics visualization intended and used primarily for the depiction and exploration of biological macromolecule structures, such as those found in the Protein Data Bank.
* [http://arje.net/rasterbator Rasterbator] - The Rasterbator is a .Net(Mono) application which creates rasterized versions of images. The rasterized images can be printed and assembled into enormous (or smaller, if you prefer) posters.
* [http://ruby-rbot.org/ Rbot] - Ruby IRC Bot framework.
* [http://remuco.sourceforge.net/index.php/Getting_Started Remuco]  - a Remote control server, for mobile phones, similar to Bemused and [http://www.salling.com/Clicker/mac/ Salling Clicker]  
* [http://remuco.sourceforge.net/index.php/Getting_Started Remuco]  - a Remote control server, for mobile phones, similar to Bemused and [http://www.salling.com/Clicker/mac/ Salling Clicker]  
* [http://www.robofab.com/ robofab] - Python library with objects that deal with data usually associated with fonts and type design. Required to convert font sources from the proprietary FontLab VFB format to UFO (that Fontforge can read)
* [http://root.cern.ch/ ROOT]  - Popular high-energy physics data analysis framework ([https://bugzilla.redhat.com/show_bug.cgi?id=451744 Review Request])
* [http://root.cern.ch/ ROOT]  - Popular high-energy physics data analysis framework ([https://bugzilla.redhat.com/show_bug.cgi?id=451744 Review Request])
* [http://www.hakubi.us/ruby-taglib/ ruby-taglib] - a simple dl-based wrapper of Taglib's C library ([https://bugzilla.redhat.com/show_bug.cgi?id=453944 Review Request])
* [http://toonyphotos.com/ rotoscope] - a free software rotoscoping application. Dead <s>[https://bugzilla.redhat.com/show_bug.cgi?id=492165 Review Request]</s>
* [http://simdock.sourceforge.net/ Simdock] - is a fast and customizable dockbar which fits well in Gnome but works on most desktop environments. Does not require Compiz nor 3D acceleration.
* [http://www.hasw.net/linux/ rovclock] - ATI Radeon over/underclocking utility ([http://cachalot.mine.nu/11/SRPMS/ srpm here])
* [http://rox.sourceforge.net/desktop/home rox-filer] - Rox file manager [http://www.environnement.ens.fr/perso/dumas/fc-srpms/rox-filer-2.8-1.fc10.src.rpm srpm here]
* [http://code.google.com/p/rubyripper rubyripper] - A secure audiodisc ripper for Linux and OS X ([http://rubyripper.googlecode.com/files/rubyripper-0.5.7.tar.bz2 New version release])
* [https://sapling-scm.com Sapling] - A Scalable, User-Friendly Source Control System
* [http://sentinella.sourceforge.net/ Sentinella] - Sentinella is a KDE4 application that watches your system activity and, in consequence, takes an action that you've chosen.
* [http://www.screenlets.org Screenlets] - Screenlets are small owner-drawn applications (written in Python) that can be described as "the virtual representation of things lying/standing around on your desk". Sticknotes, clocks, rulers, ... the possibilities are endless.
* [http://fedorahosted.org/sectool/wiki Sectool] - Sectool is a security tool that can be used both as a security audit as well as a part of an intrusion detection system.
* [http://www.songbirdnest.com/ Songbird]  - Media Player/Browser (Depends pretty heavily on mp3, flash support, ogg support appears broken, other than that some media player and browser functionality exists) ([https://bugzilla.redhat.com/show_bug.cgi?id=453422 Review Request])
* [http://www.songbirdnest.com/ Songbird]  - Media Player/Browser (Depends pretty heavily on mp3, flash support, ogg support appears broken, other than that some media player and browser functionality exists) ([https://bugzilla.redhat.com/show_bug.cgi?id=453422 Review Request])
* [http://spacenav.sourceforge.net/ spacenav] - The spacenav project provides a free, compatible alternative, to the proprietary 3Dconnexion device driver and SDK, for their 3D input devices
* [http://www.freebsoft.org/speechd speechd]  - Device-independent speech synthesis layer (perhaps useful for OLPC?)
* [http://www.freebsoft.org/speechd speechd]  - Device-independent speech synthesis layer (perhaps useful for OLPC?)
* [http://safari.iki.fi/speedcontrol.c speedcontrol]  - Small utility to limit DVD drive speed, since most DVD readers sound like lawn mowers at full speed which ruins movie playing experience
* [http://safari.iki.fi/speedcontrol.c speedcontrol]  - Small utility to limit DVD drive speed, since most DVD readers sound like lawn mowers at full speed which ruins movie playing experience
Line 131: Line 238:
* [http://gplv3.fsf.org/comments/source/ Stet]  - is a free software package for gathering comments about a text document via a webpage
* [http://gplv3.fsf.org/comments/source/ Stet]  - is a free software package for gathering comments about a text document via a webpage
* [http://stylus-toolbox.sourceforge.net/ Stylus Toolbox]  - A graphical frontend for managing the functions of Epson Ink Jet printers - including checking ink levels and print head cleaning/alignment.
* [http://stylus-toolbox.sourceforge.net/ Stylus Toolbox]  - A graphical frontend for managing the functions of Epson Ink Jet printers - including checking ink levels and print head cleaning/alignment.
* [http://www.hardened-php.net/suhosin/index.html Suhosin] - An advanced protection system for PHP installations.
* [http://swfmill.org/ swfmill] - xml2swf and swf2xml processor with import functionalities [http://www.environnement.ens.fr/perso/dumas/fc-srpms/swfmill-0.2.12.6-1.fc10.src.rpm srpm here]
* [http://www.sympa.org/ Sympa] - Mailing list server
* [http://www.synfig.com/ synfig]  - Film quality 2D vector animation now under GPL ([https://bugzilla.redhat.com/show_bug.cgi?id=428568 Review Request])
* [http://www.synfig.com/ synfig]  - Film quality 2D vector animation now under GPL ([https://bugzilla.redhat.com/show_bug.cgi?id=428568 Review Request])
* [http://www.indianoss.org/modules/wfdownloads/viewcat.php?cid=10 system-config-control]  Central control panel for system-config-* tools.
* [http://www.indianoss.org/modules/wfdownloads/viewcat.php?cid=10 system-config-control]  Central control panel for system-config-* tools.
* [http://live.gnome.org/Tasque Tasque] - A simple task manager
 
=== T-W ===
* [http://tug.org/texworks TeXworks] is a very powerful TeX-editor. There are already packages at [http://sertac.110mb.com/texworks]
* [http://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=167536]  THDL input methods for Tibetan, Dzongkha, Lhadaki
* [http://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=167536]  THDL input methods for Tibetan, Dzongkha, Lhadaki
* [http://tkabber.jabber.ru/ Tkabber]  - Free and Open Source client for the Jabber instant messaging system writen in Tcl/Tk. ([https://bugzilla.redhat.com/show_bug.cgi?id=446976 Review Request])
* [http://tkabber.jabber.ru/ Tkabber]  - Free and Open Source client for the Jabber instant messaging system writen in Tcl/Tk. (Dropped <s>[https://bugzilla.redhat.com/show_bug.cgi?id=446976 Review Request]</s>)
* [http://www.tipp10.de/index.php Tipp10] - A 10 finger write trainer
* [http://www.eclipse.org/tptp/ TPTP]  - Eclipse Test & Performance Tools Platform
* [http://www.eclipse.org/tptp/ TPTP]  - Eclipse Test & Performance Tools Platform
* [http://www.thaiopensource.com/relaxng/trang.html Trang]  - Trang is James Clark's multi-format schema converter based on RELAX-NG. Example RPMs available at authors site and has been checked with gcj.
* [http://www.thaiopensource.com/relaxng/trang.html Trang]  - Trang is James Clark's multi-format schema converter based on RELAX-NG. Example RPMs available at authors site and has been checked with gcj.
* [http://www.truecrypt.org/ TrueCrypt]  - Free open-source disk encryption software for Linux. Version 5 now includes a WxWidgets Gui and uses Fuse instead of kernel modules for the filesystem parts. Thus, inclusion to Fedora should be possible. Requires some fixing in Main/Main.make to build against Fedora's WxWidgets.
* [http://www.buzzard.me.uk/toshiba/download.html toshutils] (includes GUI) or  [http://www.schwieters.org/toshset/ toshset] (CL only) - Allows users to control Toshiba hardware
* [http://tuxshop.sourceforge.net/ TuxShop]  point of sale and retail management application. (Does not appear to be open source - cannot see evidence of OSI-approved license)
* <strike>[http://www.truecrypt.org/ TrueCrypt]  - Free open-source disk encryption software for Linux. Version 5 now includes a WxWidgets Gui and uses Fuse instead of kernel modules for the filesystem parts. Thus, inclusion to Fedora should be possible. Requires some fixing in Main/Main.make to build against Fedora's WxWidgets.</strike> Not 'free open-source', i.e. legal would block this. See spot's comments [http://lists.freedesktop.org/archives/distributions/2008-October/000273.html 1] [http://lists.freedesktop.org/archives/distributions/2008-October/000276.html 2] on TrueCrypt's version 2.5 license.  The issues mentioned with section VI.2 and VI.3 in spot's emails may have been fixed in version 2.7 of the license. The issue mentioned with section III.1.2  and III.2 does not seem to have been fixed at all. (available from RpmFusion) 
* <strike>[http://tucaneando.wordpress.com/ Tucan]  -  Is a free and open source application designed for automatic management of downloads and uploads at hosting sites like: rapidshare, megaupload, gigasize.com, mediafire, 4shared, sendspace.</strike> [https://admin.fedoraproject.org/pkgdb/packages/name/tucan official Package]
* [http://tuxshop.sourceforge.net/ TuxShop]  point of sale and retail management application.
* <strike>[http://www.twolame.org/ TwoLame] A MPEG-1 Audio Layer 2 encoder.</strike> Probably would be blocked based on Spot's comment [https://fedoraproject.org/wiki/Talk:FAQ]
* [http://packages.debian.org/sid/ufsutils ufsutils] Utilities to manage the UFS filesystem, mostly used in BSD or derived operating systems. This include FFS, UFS and UFS2.
* [http://www.unicode.org/ucd/ Unicode Character Database]  Unicode.org UNIDATA files are used by many packages (perl, gucharmap, etc) in private-copy mode. A common package would be cleaner technically and legally.
* [http://www.unicode.org/ucd/ Unicode Character Database]  Unicode.org UNIDATA files are used by many packages (perl, gucharmap, etc) in private-copy mode. A common package would be cleaner technically and legally.
* [http://vagalume.igalia.com/ Vagalume] - A Last.fm client for Gnome and Maemo. [https://bugzilla.redhat.com/show_bug.cgi?id=445036 Review Request (failed)]
* [http://vagalume.igalia.com/ Vagalume] - A Last.fm client for Gnome and Maemo. [https://bugzilla.redhat.com/show_bug.cgi?id=445036 Review Request (failed)] (available from Livna)
* [http://vigor.sourceforge.net/ Vigor]  - XMMS plugin that acts like Clippy. Fun!
* [http://vigor.sourceforge.net/ Vigor]  - XMMS plugin that acts like Clippy. Fun!
* [http://www.virtualbox.org/ VirtualBox]  - Free Virtual Machine suite from InnoTek ([[TillMaas/Virtualbox|  Collaboration webpage]] )
* [http://vpython.org/ Visual Python]  - a Python module that offers real-time 3D output, and is easily usable by novice programmers
* [http://vpython.org/ Visual Python]  - a Python module that offers real-time 3D output, and is easily usable by novice programmers
* [http://www.eclipse.org/webtools/ WTP]  - Eclipse Webtools Project (JSP, HTML, JavaScript, XML, etc.)
* [http://www.eclipse.org/webtools/ WTP]  - Eclipse Webtools Project (JSP, HTML, JavaScript, XML, etc.) (Effort to build this package are [https://bugzilla.redhat.com/show_bug.cgi?id=486369 ongoing])
* [http://www.wine-doors.org/ Wine-doors]  - an application designed to make installing windows software on Linux ([https://bugzilla.redhat.com/show_bug.cgi?id=449339 Review Request (dropped)])
* [http://www.wine-doors.org/ Wine-doors]  - an application designed to make installing windows software on Linux ([https://bugzilla.redhat.com/show_bug.cgi?id=449339 Review Request (dropped)])
* [http://webmin.com Webmin]  (web-front end to shorewall) - [https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=184080 Review Request (dropped)]  (NB: Webmin had a rather doubtful security record in the past -- NilsPhilippsen)
* [http://webmin.com Webmin]  (web-front end to shorewall) - [https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=184080 Review Request (dropped)]  (NB: Webmin had a rather doubtful security record in the past -- NilsPhilippsen)
* [http://www.widestudio.org/ WideStudio]  an open source, Integrated Development Environment for desktop applications
* [http://www.widestudio.org/ WideStudio]  an open source, Integrated Development Environment for desktop applications
* [http://www.wikidot.org/ Wikidot] an open source wiki server/wiki farm.
* [http://www.wikidot.org/ Wikidot] an open source wiki server/wiki farm.
* [http://nwalsh.com/java/xjparse/ xjparse] - an XML/XSD validator
* [http://www.marcforrest.com/2007/11/15/garmin-nuvi-200-track-hack/ wNutrak] (downloadable from http://www.anpo.republika.pl/download.html) is an UNIQUE tool for downloading data from some modern Garmin GPSes (such as Garmin nuvi 760) and converting it from proprietary .bin format to standard .gpx format. This tool is critical for the free [http://www.openstreetmap.org OpenstreetMap] project, in order to collect GPS traces from project's contributors.
 
=== X-Z ===
* [http://www.environnement.ens.fr/perso/dumas/xdm-xsessions.html xdm-xsessions] - Xdm session related utilities [http://www.environnement.ens.fr/perso/dumas/fc-srpms/xdm-xsessions-0.0.4-1.fc10.src.rpm srpm here]
* [http://www.xmind.net XMIND] - EPL/LGPL Licensed MindMap Software.
* [http://francois.gannaz.free.fr/Littre/horsligne.php xmlittre] - Authoritative 19th century French dictionnary, in stardict format
* [http://francois.gannaz.free.fr/Littre/horsligne.php xmlittre] - Authoritative 19th century French dictionnary, in stardict format
* [http://xpad.sourceforge.net/about XPad] - Sticky note app - [https://bugzilla.redhat.com/193499 Review request (dropped)] [https://bugzilla.redhat.com/show_bug.cgi?id=455069 Review request (new in progress)]
* [http://sourceforge.net/projects/xprocess/ xProcess], for project management and process improvement.
* [http://www.zenoss.com/ zenoss] - Open Source Monitoring Tool
* [http://www.percona.com/docs/wiki/percona-xtrabackup:start xtrabackup] - Online backup tool for MySQL/InnoDB ([http://cachalot.mine.nu/11/SRPMS/ srpm here])
* [http://projects.robinbowes.com/yum-grouppackagetypes/ yum-grouppackagetype] - A plugin for yum to specify which package types within a package group should be installed when using yum groupinstall (useful for web walkthroughs)
* [http://www.zenoss.com/  zenoss] - Open Source Monitoring Tool. Dead <s>[https://bugzilla.redhat.com/show_bug.cgi?id=435470 Review Request]</s>.
* [http://www.xach.com/lisp/zpb-ttf/ zpb-ttf] - ZPB-TTF is a TrueType file parser that provides an interface for reading typographic metrics, glyph outlines, and other information.


== Fedora Extra Packages for Enterprise Linux (EPEL) WishList ==
== Fedora Extra Packages for Enterprise Linux (EPEL) WishList ==


* [[EPEL/WishList]]
* [[EPEL Package Wish List]]


== OLPC Wishlist ==
This list is now being maintained at [[OLPC/Packages_for_F11]].


== Fedora Font Packages WishList ==
== Fedora Font Packages WishList ==
Line 170: Line 294:
== Fedora Perl Packages Wishlist ==
== Fedora Perl Packages Wishlist ==


Edit at the [[SIGs/Perl/Wishlist| Perl SIG wishlist page]].
Edit at [[Perl Wishlist]].


{{:SIGs/Perl/Wishlist}}
{{:Perl Wishlist}}


== Fedora Games Packages WishList ==
== Fedora Games Packages WishList ==
Line 202: Line 326:
"[http://www.dwheeler.com/essays/high-assurance-floss.html High Assurance (for Security or Safety) and Free-Libre / Open Source Software (FLOSS)... with Lots on Formal Methods]" by David A. Wheeler lists lots of tools that can help
"[http://www.dwheeler.com/essays/high-assurance-floss.html High Assurance (for Security or Safety) and Free-Libre / Open Source Software (FLOSS)... with Lots on Formal Methods]" by David A. Wheeler lists lots of tools that can help
develop "high assurance" software, particularly "formal methods" tools.
develop "high assurance" software, particularly "formal methods" tools.
Wheeler is working with several people to package some of these
A related site, [http://www.openproofs.org Open Proofs], maintains a
for Fedora, but the more the merrier!
[http://www.openproofs.org/wiki/Packaging_status list of promising FLOSS formal methods tools and their packaging status].  Help would be greatly appreciated.


Some of these tools include:
Some of these tools include:
* Prover9/Mace4
 
* Coq
* Why / Caduceus / Krakatoa
* Alloy (from MIT)
* Alloy (from MIT)
* ACL2
* ACL2
Line 220: Line 342:
* DiVinE
* DiVinE
* KeY
* KeY
* fuzz (the type checker for Z, not the random-input fuzzer; this may need a new name)


Additional CAS tools, like Axiom, Yacas, and SAGE would be helpful too.
Additional CAS tools, like Axiom, Yacas, and SAGE would be helpful too.


See the Wheeler paper (above) for project URLs, license info, what they do, etc.
A number have already been done, including Coq, Why / Caduceus / Krakatoa, tex-zfuzz, and minisat2.
 
== OLPC Wishlist ==
 
Please notify devel@lists.laptop.org if you decide to assist OLPC by packaging any of the following software in Fedora!


=== Hard ===
See the Wheeler paper (above) and the [http://www.openproofs.org Open Proofs site] for project URLs, license info, what they do, etc.


* [http://dev.laptop.org/git/users/cscott/olpcrd-rootskel olpcrd] - See our [http://wiki.laptop.org/go/Building_initramfsen "building initramfsen"] for hints on why this might be challenging.
== Fedora KDE Packages WishList ==


=== Medium ===
* [[SIGs/KDE/Packaging/Requests|KDE Package Wish List]]
 
* [http://dev.laptop.org/git/olpc-2.6 kernel]
* [http://wiki.laptop.org/go/Rainbow rainbow] - (This is a really a "help port Rainbow to F-9" since it's already maintained in Fedora CVS).
 
* Squeak and EToys
** Here are some existing RPMs: http://math.ifi.uzh.ch/fedora/9/i386/SRPMS.gemi/squeak-image-3.8.6665-2.fc9.src.rpm http://math.ifi.uzh.ch/fedora/9/i386/SRPMS.gemi/squeak-sources-3.9-1.fc9.src.rpm http://math.ifi.uzh.ch/fedora/9/i386/SRPMS.gemi/squeak-vm-3.10-1.2.fc9.src.rpm
** [http://www.squeak.org/SqueakLicense/ Licensing]: Original license was not OSS, but Apple has re-released its portion under Apache 2.0.  Is it releaseable now?
*** Unfortunately, there are still 100 contributors who didn't agree to a relicensing yet. Some have only initials listed, so they're hard to track down. --[[User:Kkofler|Kkofler]] 04:20, 9 July 2008 (UTC)
**** Citation? --[[User:Mstone|Mstone]] 21:40, 9 July 2008 (UTC)
***** [http://www.squeak.org/SqueakLicense/ The very link] already given above, resp. [http://netjam.org/squeak/contributors/ the link on that page]! --[[User:Kkofler|Kkofler]] 00:59, 24 July 2008 (UTC)
*** According to [http://dev.laptop.org/git?p=projects/etoys;a=blob;f=NOTICE;hb=HEAD the EToys COPYING file], EToys is available under Apache 2.0 and something that looks distinctly MIT-like. This package depends on the 'squeak-vm' package from http://squeakvm.org/unix/ (or http://dev.laptop.org/~bert/public_rpms/joyride/) which claims to be MIT-licensed. According to Bert Freudenberg, licensing questions should be directed to Kim Rose, of VPRI. The contact email is info [at] vpri [dot] org. --[[User:Mstone|Mstone]] 21:40, 9 July 2008 (UTC)
** --[[User:Gavin|Gavin]] 19:11, 12 August 2008 (UTC) (in hopes that the licensing issues will be resolved) I've been working on creating Fedora and OLPC acceptable RPMs for Squeak and EToys.  Please review what I've got so far.  See [http://code.google.com/p/squeak-fedora/] for .spec files and a Makefile to download the upstream source and package it up for you.
 
** [[User:rnorwood|rnorwood]] August 12, 2008 - Discussion with Kim Rose ongoing.  They are working hard to fix any remaining issues.  Kim gets back from vacation on August 18, and we'll know more then.
 
** Adding Squeak would allow packaging of [http://scratch.mit.edu/ Scratch] (MIT license)!!
 
=== Easy ===
 
XS:
 
* [https://dev.laptop.org/query?status=assigned&status=new&status=reopened&group=milestone&component=school+server&order=priority&col=id&col=summary&col=status&col=priority&keywords=~fedoradev Open XS/Fedora issues]
 
XO:
 
* bootfw
** Where are the release tarballs for this?
*** SRPMs: http://xs-dev.laptop.org/~cscott/repos/joyride/
* bootanim
** Where are the release tarballs for this?
*** SRPMs: http://xs-dev.laptop.org/~cscott/repos/joyride/
* olpc-library-common
** Where are the release tarballs for this?
*** SRPM: http://people.redhat.com/rnorwood/rpms/olpc-library-common-1-26.fc9.src.rpm
* olpc-library-core
** Where are the release tarballs for this?
*** SRPMs: http://xs-dev.laptop.org/~cscott/repos/joyride/
**** I'm not sure if this is a good package for fedora - it seems to just include several activities, which should probably just be packaged separately.  If there are a core set of activities, we can use a metapackage. [[User:Rnorwood|Robin Norwood]] - 7/30/2008
* olpc-licences
** Where are the release tarballs for this?
*** SRPMs: http://xs-dev.laptop.org/~cscott/repos/joyride/
****I'm not sure if this qualifies as a proper package for Fedora - one of the packaging rules is 'code, not content', and this is all content. [[User:Rnorwood|Robin Norwood]] - 7/31/2008
* olpc-logos
** Where are the release tarballs for this?
* [http://wiki.laptop.org/go/Olpc-contents olpc-contents]
** Preliminary SRPM and spec available [http://people.redhat.com/rnorwood/rpms here]
*** However, that srpm fails to build in [http://koji.fedoraproject.org/koji/taskinfo?taskID=748054 Koji] - [[User:Rnorwood|Robin Norwood]] - 7/30/2008
* [http://wiki.laptop.org/go/Olpc-update olpc-update]
** Preliminary SRPM and spec available [http://people.redhat.com/rnorwood/rpms here]
*** olpc-update requires olcp-contents, so it can't be accepted by Fedora until olpc-contents is - [[User:Rnorwood|Robin Norwood]] - 7/30/2008
* [http://wiki.laptop.org/go/Olpc-netutils olpc-netutils] - Package review filed
** https://bugzilla.redhat.com/show_bug.cgi?id=457142
* [http://wiki.laptop.org/go/Cerebro Cerebro] - Package review filed
** https://bugzilla.redhat.com/show_bug.cgi?id=457279
 
Build:
 
* [http://wiki.laptop.org/go/Puritan puritan] - Package review filed
** https://bugzilla.redhat.com/show_bug.cgi?id=457083
* [http://dev.laptop.org/git/users/mstone/crcimg crcimg] - Package review filed
** https://bugzilla.redhat.com/show_bug.cgi?id=457116
 
=== Activities ===
 
OLPC Activities can now be packaged in Fedora for use with the Sugar desktop according to the [[Packaging/SugarActivityGuidelines|packaging guidelines]].
 
See http://wiki.laptop.org/go/Activities for a list of interesting activities.  http://sugarlabs.org/go/ReleaseTeam/Roadmap#Glucose_Modules has the list of modules in the roadmap for the Sugar releases
 
Some of the activity sources tarballs (along with the sources for Sugar) can be found at http://dev.laptop.org/pub/sugar/sources/
 
{|
! Activity Name !! Who's Working on It !! Review Bug !! Done?/Notes
|-
| Terminal || JeremyKatz || 457247 ||
|-
|  Chat    || JeremyKatz || TBD ||
|-
| Calculate || JeremyKatz || TBD ||
|-
| Web (Browse) || ??? || ??? || Depends on xulrunner/pyxpcom to be worked out RHBZ # 436581
|-
|  Log    || ??? || ??? ||
|-
|  Write    || ??? || ??? ||
|-
|  Pippy    || ??? || ??? ||
|-
|  etoys  || ??? || ??? || Depends on working out squeak licensing
|}
 
[[Category:Wishlist|Packaging wishlist]]


== How to add a package ==
== How to add a package ==
Line 336: Line 362:


The [[SIGs|special interest groups]] may provide additional guidelines and help for processing the packages posted on their wishlist.
The [[SIGs|special interest groups]] may provide additional guidelines and help for processing the packages posted on their wishlist.
[[Category:Package Maintainers]]

Latest revision as of 23:55, 26 November 2024

Before submitting a wishlist package, read ForbiddenItems to understand what cannot be included.
It's fine to put packages here, but please be aware that the Fedora package collection is maintained by volunteers, and there's no guarnatee that anyone will pick up a package, even if many people agree that it's a great suggestion. There isn't a mechanism for voting for other people to do work, in other words. The best way to get something you're personally interested in included is to join the Package Maintainers. If you're new to Fedora in general, or if that process seems intimidating, take a look at Join Fedora — we have a group of helpful and friendly folks who will help you get started.

Orphaned Packages

Refer to the list or unmaintained and orphaned packages . This would be a good place to bring back into Fedora repositories packages where the original maintainer has moved on.

Packaging Survey May 2009


General Fedora Packages WishList

As a current contributor, if you know of projects that would be appropriate in Fedora package collection but are unable to maintain yourself just drop them with a line here. This list can be used to give other contributors ideas on what to package next. Please be aware however that the number of high quality, well maintained packages that Fedora repository provides scales with the number of active contributors. It is just as important to encourage new contributors as it is to desire new packages. If you are not yet a contributor to the Fedora packaging process, please look over this list and see if there are any projects you would be willing to maintain for the Fedora community.

If are interested in contributing to Fedora package collection, take a look at PackageMaintainers

0-9

  • 7zip - A configurable file archiver with support for many formats and algorithms.

A-D

  • aarddict - Offline wikipedia and dictionary viewer
  • Ailurus - "Install software" + "Configure Linux" + "Study Linux skills" (Review Request)
  • Antsp2p - Client for the MUTE peer-to-peer anonymous network
  • ACE - An OO network programming toolkit in C++ (Review Request, dropped for licensing issues)
  • Adobe CMap and AGLFN data - Adobe reference ID tables. If we don't use them many documents (PDFs…) won't display correctly (see this announce and this lwn.net article
    • NOTE: this is already included in poppler-data-0.3.0 (in F-12)
  • Alchemy - chaos generation tool, good for artists and sketchers - good creativity aid
  • Alfresco Enterprise content management system
  • Angie, a powerful and scalable web server evolving the ideas of nginx.
  • Apertium Toolbox to build shallow-transfer machine translation systems(contact #apertium channel in freenode network).
  • APF (Advanced Policy Firewall) - iptables(netfilter) based firewall system
  • Apache Directory Studio - An LDAP Directory Browser/Editor built on Eclipse RCP
  • Arduino CLI - A compiler and uploader for arduino devices.
  • ascii Command line tool for information on ASCII. (Review Request dropped Review Request)
  • Asterisk GUI GUI for managing Asterisk servers.
  • awesome Highly configurable, next generation framework window manager for X.
  • Axiom - general purpose system for symbolic calculations.
  • Blogbridge - Blog and rss reader (in Java) - usage of proprietary libraries
  • bltk - Battery Life Tool Kit is a set of scripts and programs to monitor and log power consumption of Linux laptops/notebooks under different workloads (HuzaifaSidhpurwala is working on it)
  • Bongo - Bongo is an easy-to-use mail and calendar system. Fork of Hula. (Review Request (Dropped))
  • bpftop - provides a dynamic real-time view of running eBPF programs.
  • BrOffice.org - BrOffice.org is the official brazilian release of OpenOffice.org BrOffice Spin
  • CampCaster A free open-source automation system for radio stations. It provides a web and GUI based interface for the queuing of music into an automated schedule.
  • CcHost - Creative Commons CMS that powers ccMixter
  • chesnut-dialer A feature-rich Point-to-Point Protocol (PPP) dialer written in Python (Dropped Review Request )
  • cmotech-tools Tools for using C-motech hardware with Linux (wireless broadband)
  • colorgcc A tool to colorize the terminal output of GCC so error messages can be found within longer compiler outputs.
  • Conkeror Conkeror is a keyboard-oriented, highly-customizable, highly-extensible web browser based on Mozilla XULRunner, written mainly in JavaScript, and inspired by exceptional software such as Emacs and vi.
  • Crafty Crafty is a free, open-source computer chess program, generally more powerful than GNUchess.
  • CSpace - Secure, decentralized Peer-to-Peer instant messaging (Review request (dropped) )
  • clonezilla - opensource clone system
  • Creative Sound Blaster X-Fi driver - the driver for popular series of sound cards by Creative. It was recently released under GPLv2 licence, needs to go to Rawhide first. This driver will be included in the linux kernel in a while, probably in 2.6.31 [[1]]
  • Denim - UI sketching tool. BSD license. Created by the University of Washington.
  • Ditaa - Convert Ansii Art to PNG-Giagrams; Java; commandline
  • dimdim - open source web meeting product with features like Application, Desktop and Presentation sharing with A/V streaming and chat
  • djbdns - a simple and security-aware DNS implementation created by Daniel J. Bernstein due to his frustrations with repeated BIND security holes. Review request
  • DVB Deamon - is a daemon written in Vala to setup your DVB devices, record and watch TV shows and browse EPG. It can be controlled by any application via its D-Bus interface.

E-G

  • e17-svn - Enlightenment window manager DR17 from the new svn repository
  • Ecomorph - OpenGL compositing manager that runs all the compiz plugins
  • Executequery - Execute Query is an operating system independent database utility written entirely in Java.
  • electric sheep - Best open source evolving screensaver in existence. Cannot include in Fedora, has built in MPEG decoder
  • Entertainer Is a clutter based media center (working on it) in f12
  • Enthought framework - python framework for building scientific data visualization applications
  • Evergreen ILS - open source Integrated Library System (ILS)
  • Flyback - GUI for archiving similar to Apple's Time Machine.
  • fntsample - A program for making font samples that show Unicode coverage of the font and are similar in appearance to Unicode charts.
  • fondu - A set of programs to interconvert between mac font formats and pfb, ttf, otf and bdf files on unix.
  • font manager - A simple GNOME application to manage fonts
  • FreedomBox - private digital services server for non-experts.
  • Freemat - Open source engineering and data processing application. Can be used as a free alternative to Matlab. GPL
  • FreeMind - Free mind-mapping software. JPackage SRPM available: http://sourceforge.net/project/showfiles.php?group_id=7118&package_id=161830&release_id=574721 . jcalendar only required dependency we don't yet have jcalendar now available on Fedora.
  • freenginx - community supported nginx fork.
  • gcvs - Graphical frontend to cvs (Last release 2003 -- though other clones WinCVS & MacCVS where released more recently)
  • gdu - Pretty fast disk usage analyzer written in Go. MIT License. Available since 2024-11 for +F40 and EPEL9
  • GEONExT - dynamic mathematics software for teaching and learning mathematics. Written in Java, licensed under GPLv2. Source code can be obtained at source@geonext.de
  • GeoGebra - free and multi-platform dynamic mathematics software for schools that joins geometry, algebra and calculus. Program released under GPL, documentation under some CC non commercial license so we can't ship the documentation.
  • gh - gh is GitHub on the command line (github-cli). It brings pull requests, issues, and other GitHub concepts to the terminal next to where you are already working with git and your code. Available since 2021-12 for +F35
  • git-credential-manager - Secure, cross-platform Git credential storage with authentication to GitHub, Azure Repos, and other popular Git hosting services.
  • g15tools - linux support to the g15 keyboard
  • GForge - GForge is a software for collaborative development for the software community (Dropped Review Request)
  • GimpShop - GimpShop is a fork of gimp for more compatibility with a commercial image editing program.
  • git-credential-oauth - A Git credential helper that securely authenticates to GitHub, GitLab, BitBucket and other forges using OAuth.
  • Giver - File sharing program ([2], uses gnome-sharp) ((Review Request) in f12
  • gksu & gksudo Sudo (superuser do) allows a system administrator to give certain users (or groups of users) the ability to run some (or all) commands as root or another user while logging the commands and arguments. Review Request (libgksu) & Review Request (gksu & gksudo)
  • glParchis -- Parcheesi
  • Gnu Linux Semantics Storage System - A storage solution that distances you from thinking about Where you store your data to What your data is.
  • GNOME Media Applet . Media applet is an application to easily manage disks and devices on your system.
  • Gnome Menu Extended . Show KDE menu in GNOME. Complimentary to kmenu-gnome. (Review Request)
  • GNU Bayonne 1 and 2 - Telephony servers
  • GPRS Easy Connect - GUI for GPRS connecting and supports 704 phones and 269 providers (2008-07-28 The project is closed).
  • gozer - gozer is a commandline text rendering utility for creating images from arbitrary text in antialiased truetype fonts using optional fontstyles, wordwrapping and layout control.
  • gProfiler, a system-wide profiler, combining multiple sampling profilers to produce unified visualization of what your CPU is spending time on.
  • gwaterfall - This program facilitates comparison of various font and font rendering parameters.
  • [3] gPXE - x86 Option ROM creator with great features. in F12
  • Gnusound - audio editor.
  • gomponent
  • guppy is an application to download videos from the Topfield TF5000PVRt.
  • Gwyddion Free SPM (AFM, SNOM/NSOM, STM, MFM, …) data analysis software
  • Goldendict A dictionary lookup program. that supports multiple dictionary file formats, like stardict and dictd formats and supports mediawiki lookup too.
  • EurovaMarketing A website that provides free edited videos for learners and beginners. To improve their talent to edit their own videos.

H-K

  • Habari - Next Generation Blogging Platform.
  • hardware4linux.info is Debian's official hardware profiler. Functional .rpm packages for Fedora already exist (.src and binary), but this should be better integrated with smolt (please see Fedora bug #433105)
  • http_replicator a smart caching proxy ideal for use with apt/yum
  • Hyperic HQ - an advanced system and application management platform
  • Hyperic SIGAR - System Information Gatherer And Reporter
  • iec16022 - Generate ISO/IEC 16022 2D barcodes (srpm here)
  • iFolder - requires simias (Review Request )
  • Imule - Anonymous version of Emule, through the I2p protocol. sources and binaries here
  • Incus - a fork of LXD, is a next generation system container and virtual machine manager.
  • indefero - Indefero Software Forge - Beautiful simplicity in bug tracking and code review.
  • Indico - A Python-based event organizer web application (GPL).
  • input-leap - Open source KVM software (actively maintained Barrier fork)
  • InstallJammer - InstallJammer is a multiplatform GUI installer designed to be completely cross-platform
  • ipplan - ipplan is a web-based application for managing IP address allocations (Review request) in F12
  • iTalc - Interactive Tool for teachers, OpenSource classroom-management, GPL
  • iTask-NG - A taskbar and app-launcher dock based on engage, which makes use of composite, but can also be used without.
  • itools - A python library that includes several useful tools, such as an ODF anonymizer that can be used to sanitize confidential documents before attaching them tp bug reports
  • ike - a free IPsec VPN Client for FreeBSD, NetBSD, Linux and Windows operating systems
  • Jahshaka - is an powerful opensource video editing and creating tool
  • jailkit - chroot jail utilities (Review Request)
  • Jing - Jing is James Clarks' RELAX-NG XML schema validator. Example RPMs at authors site, works with gcj.
  • jMemorize - Java application that manages flashcards by the famous Leitner system
  • JOSM - the Java Open Street Map Editor. Review Request.
  • JPEG2PDF - Creates a PDF out of a directory of JPEG/JPG-images. Very fast and stable; should be easy to package.(The homepage is dead, anyone knows whether the project is still alive?)
  • kbfx - kbfx is an alternative to the classical K-Menu button and it's menu. (The page is dead)
  • KDevelop4 - Major rewrite based on Qt4/KDE4 with a powerful language architecture. Under heavy development and currently in Beta phase, recommended for C++ or PHP development with CMake or custom Makefiles as their build system. Recommended for Linux (all other OS might work, but are not tested yet).
  • KForge - For managing software and knowledge projects.
  • KLogic - KLogic is an application for building and simulating digital circuits easily
  • Knowledge Tree - Community edition: a PHP based GPL V3 Content Managements System (No free access to source code, you need to register to access source code)
  • Kommute - Linux client for the MUTE anonymous P2P network
  • Komodo Edit - Free and Open source multi-language editor

L-M

  • l7-filter - L7-filter is a classifier for Linux's Netfilter that identifies packets based on application layer data. (Review Request)
  • KPrayertime - Islamic Prayer Times Applet
  • lessfs - A high performance inline data deduplicating filesystem for Linux. (Review Request)
  • Liaison - Liaison is a software tool combining some well known open source software tools like MoinMoin, Subversion and Bugzilla to help software developers to collaborate.
  • libmspack - A library for Microsoft compression formats. In F12, cabextract should link against it.
  • libpam-poldi PAM module allowing authentication using a OpenPGP smartcard. This PAM module will allow you to login, screenlock and validate to services using your GnuPG smartcard. (sorry for cross-distro reference but i googled for so long without finding any other good source.)
  • libSBML Programming library to read, write, manipulate, translate, and validate SBML files and data streams.
  • liferay - An open source Java based portal application.
  • Lingot - LINGOT is a musical instrument tuner. It's accurate, easy to use, and highly configurable. Originally conceived to tune electric guitars, its configurability gives it a more general character. Free software, with GPL.
  • livebackup - LiveBackup is a framework to create live-cd's from installed Linux systems
  • lives - Video Editing System. It is designed to be simple to use, yet powerful (foreign f9 package exists on SourceForge) Cannot be included in Fedora due to dependency on ffmpeg.
  • lprof - ICC Color Profiler. This will help the Fedora Design team produce for-print artwork.
  • lldpd - 802.1ab (LLDP) implementation, .spec here
  • Magento - Magento is a new professional open-source eCommerce solution offering unprecedented flexibility and control.
  • MapGuide - web-based platform for developing and deployment web mapping applications and geospatial web services.
  • mdp-toolkit - Modular toolkit for Data Processing (MDP) is a Python data processing framework.
  • Mercurial Eclipse - hg Eclipse plugin
  • Mesk - A PyGtk+ audio player Cannot include in Fedora, has built in MPEG decoder
  • mined Unicode text editor
  • MintMenu - A modern python-coded menu applet that shares the same hotlinks to software as the Gnome main menu. Source code
  • mixmaster Anonymous remailer client and server
  • Mondo Rescue inclusion - Review Request
  • MongoDB - high-performance, open source, schema-free document-oriented database.
  • mtasc - ActionScript 2 compiler generating flash srpm here
  • MoBlock - A Peerguardian compatible connection blocker
  • Monsoon - A MonoTorrent based GTK# BitTorrent client in F12

N-O

  • NagiosGrapher - Nagios Stats graphing.
  • NAT-PT - Network Address Translation, Protocol Translation IPv4/IPv6 - allows IPv6-only networks to connect to IPv4-only networks (based on RFC 2766). Per this go6.net blog post, NAT-PT is dead.
  • nautilussvn - Subversion commands integrated into the GNOME Nautilus file manager.
  • ncbi - NCBI libraries and tools for biology applications srpm here
  • nss_updatedb - Maintains a local cache of network directory user and group information. (review request)
  • noteedit - Free music score editor. NOTE: seems to be dead - last version in 2006. Also requires TSE3 which also has been dead for some years.
  • OBM OBM is enterprise-class messaging and collaboration platform for workgroup or enterprises with many thousands users. OBM includes Groupware, messaging server, CRM, LDAP, Windows Domain, smartphone and PDA synchronization… Note: Uses stock services and ,hence, makes it less invasive. License:GPL
  • OnTV - A TV scheduler using XMLTV backends
  • OpenGroupware - Groupware software
  • OpenShot - An non linear easy-to-use video editor. Python based, pure GPL 3. -> Uses MLT framework. Package only at rpmfusion later.
  • OpenOffice Presentation Minimizer - reduces the size of ooimpress documents, requires java
  • OpenProj - A desktop replacement of Microsoft Project
  • OpenStego - the free Steganography solution
  • oprofileui - An excellent GTK GUI for the oprofile system profiler (review request)
  • otcomp - OpenType layout compiler, needed to build some FLOSS fonts

P

  • PAIDA - PAIDA is pure Python scientific analysis package
  • [4] - The Powerful Data Exploration & Web App Framework for Python
  • passt - Unprivileged user-mode network connectivity for virtual machines and containers
  • Pastebinit - A tool to "pastebin" text on several paste websites. Really useful in chat (but not only chat) help. I strongly reccommend that all the distro would use this and configure it to use the bin of choice. fpaste in this case. Beside i think is useless to make different packages (which are just scripts really) for such a simple thing when there could be one customizable for every choice.
  • paint-mono - An unofficial effort to port Paint.NET 3.0 to Linux using Mono - Cannot be included since Paint is partly licensed under a non-commercial license
  • PEAR HTML_Template_Flexy - An extremely powerful Tokenizer driven Template engine
  • PEAR HTML_Javascript - Provides an interface for creating simple JS scripts (Review Request)
  • PEAR MDB2_Driver_mysqli - PEAR mysqli MDB2 driver
  • PEAR Auth_HTTP - PEAR HTTP authentication (Review Request)
  • Pencil - A UI design / sketching tool, Mozilla-based
  • perl-CDDB_get - Read the CDDB entry for an audio CD in your drive srpm here
  • perl-Qt4 - perl binding for Qt4 it's two perl modules QtGui and QtCore
  • petit An interactive command-line log-file summarizer (red is working with upstream to make this packaging-friendlier and get it into Fedora)
  • PhotoFilmStrip Create slideshow movies from photos
  • php-pecl-syck, php-pecl-syck php-pecl-syck
  • PKCS #11 engine , PKCS #11 library OpenSC addons
  • pligg is a digg like CMS that uses PHP and MySQL.
  • pluf - a php webapp framework
  • pmtools Tools for examining kernel ACPI tables
  • PPTP-Config - PPTP - config program part of the pptp. Already has FC6 packages. This is depreciated the author recommends networkmanager use.
  • prescript - Utility for extracting text from PostScript files srpm here
  • Prettify Automake - pretty automake output
  • PXE-Kexec - kexec boot from a PXE server. This has been added
  • Pyjamas - web tookit for python
  • PyPE PyPE (Python Programmers' Editor) is an editor written in Python with the wxPython GUI toolkit. (Review Request)
  • python-dap - Data Access Protocol (OPeNDAP) implementation in python srpm here
  • PyTraffic - A free implementation of the Rush Hour puzzle.
  • python-egenix-mxdatetime - date and time handling routines for Python

Q-S

  • QuickSoundFontManager - A gui for (a)sfxload / fluidsync to quick load several SF2 soundfonts in a EMU10k chip
  • Rasmol - RasMol is a computer program written for molecular graphics visualization intended and used primarily for the depiction and exploration of biological macromolecule structures, such as those found in the Protein Data Bank.
  • Rasterbator - The Rasterbator is a .Net(Mono) application which creates rasterized versions of images. The rasterized images can be printed and assembled into enormous (or smaller, if you prefer) posters.
  • Rbot - Ruby IRC Bot framework.
  • Remuco - a Remote control server, for mobile phones, similar to Bemused and Salling Clicker
  • robofab - Python library with objects that deal with data usually associated with fonts and type design. Required to convert font sources from the proprietary FontLab VFB format to UFO (that Fontforge can read)
  • ROOT - Popular high-energy physics data analysis framework (Review Request)
  • rotoscope - a free software rotoscoping application. Dead Review Request
  • rovclock - ATI Radeon over/underclocking utility (srpm here)
  • rox-filer - Rox file manager srpm here
  • rubyripper - A secure audiodisc ripper for Linux and OS X (New version release)
  • Sapling - A Scalable, User-Friendly Source Control System
  • Sentinella - Sentinella is a KDE4 application that watches your system activity and, in consequence, takes an action that you've chosen.
  • Screenlets - Screenlets are small owner-drawn applications (written in Python) that can be described as "the virtual representation of things lying/standing around on your desk". Sticknotes, clocks, rulers, ... the possibilities are endless.
  • Sectool - Sectool is a security tool that can be used both as a security audit as well as a part of an intrusion detection system.
  • Songbird - Media Player/Browser (Depends pretty heavily on mp3, flash support, ogg support appears broken, other than that some media player and browser functionality exists) (Review Request)
  • spacenav - The spacenav project provides a free, compatible alternative, to the proprietary 3Dconnexion device driver and SDK, for their 3D input devices
  • speechd - Device-independent speech synthesis layer (perhaps useful for OLPC?)
  • speedcontrol - Small utility to limit DVD drive speed, since most DVD readers sound like lawn mowers at full speed which ruins movie playing experience
  • spindown - a daemon that can spindown idle disks and so saving energy and giving the disks a longer lifetime.
  • SQuirreL SQL - Graphical Java program that will allow you to view the structure of a JDBC compliant database, browse the data in tables, issue SQL commands
  • stardict-fr-academy-1935 - 8th edition of the French Academy dictionnary, in stardict format (1935)
  • Stet - is a free software package for gathering comments about a text document via a webpage
  • Stylus Toolbox - A graphical frontend for managing the functions of Epson Ink Jet printers - including checking ink levels and print head cleaning/alignment.
  • swfmill - xml2swf and swf2xml processor with import functionalities srpm here
  • Sympa - Mailing list server
  • synfig - Film quality 2D vector animation now under GPL (Review Request)
  • system-config-control Central control panel for system-config-* tools.

T-W

  • TeXworks is a very powerful TeX-editor. There are already packages at [5]
  • [6] THDL input methods for Tibetan, Dzongkha, Lhadaki
  • Tkabber - Free and Open Source client for the Jabber instant messaging system writen in Tcl/Tk. (Dropped Review Request)
  • Tipp10 - A 10 finger write trainer
  • TPTP - Eclipse Test & Performance Tools Platform
  • Trang - Trang is James Clark's multi-format schema converter based on RELAX-NG. Example RPMs available at authors site and has been checked with gcj.
  • toshutils (includes GUI) or toshset (CL only) - Allows users to control Toshiba hardware
  • TrueCrypt - Free open-source disk encryption software for Linux. Version 5 now includes a WxWidgets Gui and uses Fuse instead of kernel modules for the filesystem parts. Thus, inclusion to Fedora should be possible. Requires some fixing in Main/Main.make to build against Fedora's WxWidgets. Not 'free open-source', i.e. legal would block this. See spot's comments 1 2 on TrueCrypt's version 2.5 license. The issues mentioned with section VI.2 and VI.3 in spot's emails may have been fixed in version 2.7 of the license. The issue mentioned with section III.1.2 and III.2 does not seem to have been fixed at all. (available from RpmFusion)
  • Tucan - Is a free and open source application designed for automatic management of downloads and uploads at hosting sites like: rapidshare, megaupload, gigasize.com, mediafire, 4shared, sendspace. official Package
  • TuxShop point of sale and retail management application.
  • TwoLame A MPEG-1 Audio Layer 2 encoder. Probably would be blocked based on Spot's comment [7]
  • ufsutils Utilities to manage the UFS filesystem, mostly used in BSD or derived operating systems. This include FFS, UFS and UFS2.
  • Unicode Character Database Unicode.org UNIDATA files are used by many packages (perl, gucharmap, etc) in private-copy mode. A common package would be cleaner technically and legally.
  • Vagalume - A Last.fm client for Gnome and Maemo. Review Request (failed) (available from Livna)
  • Vigor - XMMS plugin that acts like Clippy. Fun!
  • Visual Python - a Python module that offers real-time 3D output, and is easily usable by novice programmers
  • WTP - Eclipse Webtools Project (JSP, HTML, JavaScript, XML, etc.) (Effort to build this package are ongoing)
  • Wine-doors - an application designed to make installing windows software on Linux (Review Request (dropped))
  • Webmin (web-front end to shorewall) - Review Request (dropped) (NB: Webmin had a rather doubtful security record in the past -- NilsPhilippsen)
  • WideStudio an open source, Integrated Development Environment for desktop applications
  • Wikidot an open source wiki server/wiki farm.
  • wNutrak (downloadable from http://www.anpo.republika.pl/download.html) is an UNIQUE tool for downloading data from some modern Garmin GPSes (such as Garmin nuvi 760) and converting it from proprietary .bin format to standard .gpx format. This tool is critical for the free OpenstreetMap project, in order to collect GPS traces from project's contributors.

X-Z

  • xdm-xsessions - Xdm session related utilities srpm here
  • XMIND - EPL/LGPL Licensed MindMap Software.
  • xmlittre - Authoritative 19th century French dictionnary, in stardict format
  • xProcess, for project management and process improvement.
  • xtrabackup - Online backup tool for MySQL/InnoDB (srpm here)
  • yum-grouppackagetype - A plugin for yum to specify which package types within a package group should be installed when using yum groupinstall (useful for web walkthroughs)
  • zenoss - Open Source Monitoring Tool. Dead Review Request.
  • zpb-ttf - ZPB-TTF is a TrueType file parser that provides an interface for reading typographic metrics, glyph outlines, and other information.

Fedora Extra Packages for Enterprise Linux (EPEL) WishList

OLPC Wishlist

This list is now being maintained at OLPC/Packages_for_F11.

Fedora Font Packages WishList

A page of the Fonts Special Interest Group

The Fedora font wishlist is hosted there.


Fonts in Fedora
The Fonts SIG takes loving care of Fedora fonts. Please join this special interest group if you are interested in creating, improving, packaging, or just suggesting a font. Any help will be appreciated.

Fedora Perl Packages Wishlist

Edit at Perl Wishlist.

You can always see the current list of open Perl review tickets (bugs) here.

Catalyst

Task::Catalyst 4.02 @ RHBZ #742671

Moose

Task-Kensho

Task-Padre-Plugin-Deps

Perl5i

Misc

Dependencies

  • Bio::SCF dependency of already packaged perl-Bio-Graphics


Fedora Games Packages WishList

If you want to add games to the list do so on the Fedora Games SIG WishList .

Fedora Astronomy Packages WishList

If you want to add astronomy related packages to the list do so on the Fedora Astronomy SIG WishList .

Web Hosting Control Panels

Analysis of Free software web hosting control panels available for packaging in Fedora.

Bioinformatics WishList

Edit at SIGs/SciTech/BioinformaticsWishList .

  • Autodock Vina - Tool for drug discovery, molecular docking and virtual screening. There's a package under http://copr.fedoraproject.org/coprs/loveshack/livhpc/
  • COPASI - Simulation and analysis of biochemical networks and their dynamics, supports SBML standard for models See COPASI
  • Cytoscape - Platform for the analysis and visualization of complex networks, in particular molecular interaction networks and biological pathways
  • GENtle - DNA restriction analysis and cloning tool similar to VectorNTI
  • Integrative Genomics Viewer - java-based graphical genomics viewer (licensed under GPLv2)
  • MIRA - Genome fragment assembler for sequencing projects classified as 'hard' due to high number of similar repeats. Uses non-free jlfgr -- see Debian packaging.
  • NCBI BLAST and other tools - The Basic Local Alignment Search Tool (BLAST) finds regions of local similarity between sequences.
  • NCBI C Toolkit - NCBI libraries and tools for biology applications srpm here
  • NCBI C++ Toolkit - a new generation of NCBI libraries and tools for biology
  • pyQPCR - qPCR analysis tool
  • Staden - sequence handling and analysis software developed at the Medical Research Council Laboratory of Molecular Biology, Cambridge, UK
  • Taverna - Tool for automation of experimental workflows.
  • The WFDB Software Package - Software for viewing, analyzing, and creating recordings of physiologic signals


Healthcare WishList

Formal Methods WishList

The paper "High Assurance (for Security or Safety) and Free-Libre / Open Source Software (FLOSS)... with Lots on Formal Methods" by David A. Wheeler lists lots of tools that can help develop "high assurance" software, particularly "formal methods" tools. A related site, Open Proofs, maintains a list of promising FLOSS formal methods tools and their packaging status. Help would be greatly appreciated.

Some of these tools include:

Additional CAS tools, like Axiom, Yacas, and SAGE would be helpful too.

A number have already been done, including Coq, Why / Caduceus / Krakatoa, tex-zfuzz, and minisat2.

See the Wheeler paper (above) and the Open Proofs site for project URLs, license info, what they do, etc.

Fedora KDE Packages WishList

How to add a package

If you're not already a Fedora maintainer, but interested in creating a package on this wish list, see PackageMaintainers/Join for the general process, and PackageMaintainers/CreatingPackageHowTo for the nuts-and-bolts of how to create a package. Packaging/Guidelines describes the guidelines Fedora packages must follow.

The special interest groups may provide additional guidelines and help for processing the packages posted on their wishlist.