From Fedora Project Wiki

Revision as of 12:55, 24 November 2013 by Xosevp (talk | contribs) (+patchwork)

Important.png
Before submitting a wishlist package, read ForbiddenItems to understand what cannot be included.

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 you're interested in contributing to Fedora package collection, take a look at PackageMaintainers

Template

Status icon Package Description Status Comment
Test-result-inprogress.gif NAME + URL DESC Bug# 123456
Checkmark.png NAME + URL DESC Package-x-generic-16.pngfoobar
Stop (medium size).png NAME + URL DESC LICENSE ISSUE!

A-D

Status Package Description Status Comment
Test-result-inprogress.gif aarddict Offline wikipedia and dictionary viewer (Bug # 687875)
airtime The open radio software for scheduling and remote station management. Formerly campcaster.
Antsp2p Client for the MUTE peer-to-peer anonymous network
Stop (medium size).png ACE An OO network programming toolkit in C++ Bug # 450164 dropped for licensing issues
Alchemy chaos generation tool, good for artists and sketchers
Alfresco Enterprise content management system
Checkmark.png alien Alien is a program that converts between the rpm, dpkg, stampede slp, and slackware tgz file formats Package-x-generic-16.pngalien
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
AppArmor application security framework -- user space utils/libs.
AppStream AppStream is a freedesktop.org-project to create a common application installer for Linux and one unified application installation GUI and sharing of metadata.
arping much better arping than iputils-arping.
Aspell Dictionaries Aspell Dictionaries some are missing.
AST(AT&T) OpenSource software collection Sfio(a library for managing I/O streams. It provides functionality similar to that of Stdio, the ANSI C Standard I/O library, but via a distinct interface that is more powerful, robust and efficient) is interesting and maybe others ksh DONE
Autotrash A simple Python script which purges files from your trash based on their age or the amount of free space left on the device Uses the FreeDesktop.org Trash Info files included in GNOME. Very useful when run by cron so you can stop caring about emptying the trash.
Checkmark.png awesome Highly configurable, next generation framework window manager for X. Package-x-generic-16.pngawesome
Checkmark.png Axiom general purpose system for symbolic calculations. Package-x-generic-16.pngaxiom
Beast Beast is a music composition and modular synthesis application. bug 902296
Stop (medium size).png BitCoin Client for alternative online currency bitcoin can't be available due OpenSSL's ECC requirement, which is 319901 restricted in Fedora due to patent issues.
Checkmark.png Blender 3D Blender is the free open source 3D content creation suite, available for all major operating systems under the GNU General Public License. Package-x-generic-16.pngblender
blockdiag blockdiag and its family generate diagram images from simply text file: blockdiag (simple block-diagram image generator), seqdiag (simple sequence-diagram image generator), actdiag (simple activity-diagram image generator), nwdiag (simple network-diagram image generators) fully written in Python, may need some additionally packaged new Python dependencies
Blogbridge Blog and rss reader (in Java)
Bluegriffon BlueGriffon is a new WYSIWYG content editor for the World Wide Web. Powered by Gecko, the rendering engine of Firefox 4, it's a modern and robust solution to edit Web pages in conformance to the latest Web Standards.
BlueJ BlueJ is an educational integrated developmental editor for Java.
Stop (medium size).png Bongo Bongo is an easy-to-use mail and calendar system. Fork of Hula. Bug # 428925 (Dropped))
BrOffice.org BrOffice.org is the official brazilian release of OpenOffice.org BrOffice Spin
bstring Better String Library is an abstraction of a string data type which is superior to the C library char buffer string type, or C++'s std::string.
BT747 BT747 is Software for GPS Data Logger Devices (read tracks, configure devices, photo geotagging and more). Written in Java, GPL license.
burp Backup and restore program
buzztard Buzztard aims to be a music studio that allows one to compose songs using only a computer with a soundcard. Suggested in 902294.
CcHost Creative Commons CMS that powers ccMixter
Cerebro clustering monitoring tool with different design goals from Ganglia
chesnut-dialer A feature-rich Point-to-Point Protocol (PPP) dialer written in Python Dropped Bug # 243211
Cinefx(jahshaka) is an powerful opensource video editing and creating tool
cmotech-tools Tools for using C-motech hardware with Linux (wireless broadband)
Checkmark.png colorgcc A tool to colorize the terminal output of GCC so error messages can be found within longer compiler outputs Package-x-generic-16.pngcolorgcc
Cool Reader CoolReader is a small cross-platform XML/CSS based E-Book reader. Supported formats: FB2, EPUB, MOBI, TXT, HTML, CHM, PDB, and others. Alternative to FBReader
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.
Stop (medium size).png Crafty Crafty is a free, open-source computer chess program, generally more powerful than GNUchess. incompatible license
cryptlib A set of layered security services and associated programming interfaces that provide an integrated set of information and communications security capabilities
CSpace Secure, decentralized Peer-to-Peer instant messaging Bug # 201636 dropped
clonezilla opensource clone system
CyaSSL C Embedded SSL Library optimized for size and speed. GPLv2 License.
Debug PHP client Cli utility for XDEBUG PHP.
Denim UI sketching tool. BSD license. Created by the University of Washington. Crossplatform TabletPC input.
didjvu DjVu encoder with foreground/background separation
dispcalGUI a graphical frontend for several utilities from the open source color management system Argyll CMS.
DITA and the DITA Open Toolkit DITA is an XML-based technical writing syntax, and the DITA-OT is a set of Java-based tools for processing DITA documents. DITA and the DITA-OT are currently packaged for openSUSE.
dimdim open source web meeting product with features like Application, Desktop and Presentation sharing with A/V streaming and chat. Upstream open development of the project looks dead.
djvusmooth Djvusmooth is a graphical editor for DjVu documents. (Wikipedia: DjVu format)

E-G

Status Package Description Status Comment
Stop (medium size).png e17-svn Enlightenment window manager DR17 from the new svn repository deprecated
E4RAT ("Ext4 - Reducing Access Times") is a toolset to accelerate the boot process as well as application startups.
WindowBuilder Eclipse WindowBuilder Bi-directional Java GUI Designer
Ecomorph OpenGL compositing manager that runs all the compiz plugins
Elasticsearch Open source, distributed, RESTful search engine built on top of Apache Lucene. (combines nicely with CouchDB)
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
Enthought framework python framework for building scientific data visualization applications
etcnet Is a new way to configure networks. It is designed to let you use all modern Linux network technologies in a convenient way
Evergreen ILS open source Integrated Library System (ILS)
eViacam enable Viacam, a webcam based mouse emulator depends=('opencv' 'wxgtk' 'libxtst')
exfat Free exFAT file system implementation
Flapjack monitoring solution
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. Review Request
fondu A set of programs to interconvert between mac font formats and pfb, ttf, otf and bdf files on unix.
foo2qpdl a linux printer driver for QPDL protocol (Samsung CLP-300, Samsung CLP-310, Samsung CLP-315, Samsung CLP-325, Samsung CLP-365, Samsung CLP-600, Samsung CLP-610, Samsung CLP-620, Xerox Phaser 6110 )
fossology free software tools to facilitate the study and analysis of Free and Open Source Software. Today we are best known for finding software licenses in text. GPLv2 & LGPLv2.1
Free-CAD 3D CAD modeler
freecell-solver A solitaire solver
Freemat Open source engineering and data processing application. Can be used as a free alternative to Matlab. GPL Bug # 549915 715180
Checkmark.png FreeMind FreeMind is a premier free mind-mapping software written in Java. Package-x-generic-16.pngfreemind
Freeplane Freeplane is a powerful and free software for building the mind maps. It is a redesigned version of the well known FreeMind, and is created by one of FreeMind's key developers.
freetuxtv WebTV player, see also package in Debian
Gamera Framework for building document analysis applications
gawkextlib provides several extension libraries for gawk (GNU AWK), as well as libgawkextlib containing some APIs that are useful for building gawk extension libraries. These libraries enable gawk to process XML data, interact with a PostgreSQL database, use the GD graphics library, and perform unlimited precision MPFR calculations.
gcvs Graphical frontend to cvs (Last release 2003 -- though other clones WinCVS & MacCVS where released more recently)
GDM3setup a GUI to setting GDM3
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.
Gespeaker Gespeaker is a GTK+ frontend for espeak. It allows to play a text in many languages with settings for voice, pitch, volume, speed and word gap.
g15tools linux support to the g15 keyboard
GForge GForge is a software for collaborative development for the software community Dropped Bug # 449135
GimpShop GimpShop is a fork of gimp for more compatibility with a commercial image editing program.
git-flow A collection of Git extensions to provide high-level repository operations for Vincent Driessen's branching model.
Checkmark.png Test-result-inprogress.gif 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. 468466 Review Request (libgksu)] & 468467 Review Request (gksu & gksudo)]
glark A replacement for (or supplement to) the grep family, glark offers: Perl compatible regular expressions, highlighting of matches, context around matches, complex expressions (and and or), and automatic exclusion of non-text files.
glParchis Parcheesi
Checkmark.png gnome-shell-extension-weather An extension for displaying weather notifications in Gnome Shell included in Fedora due to the license terms of the Yahoo! API; however, it is now part of the RPM Fusion repositories (review request on RPM Fusion for gnome-shell-extension-weather)
Gnu Linux Semantics Storage System A storage solution that distances you from thinking about Where you store your data to What your data is. [glscube-0.1.tar.gz has no Makefiles]
Gnulib central location for common GNU code, intended to be shared among GNU packages.
GoogleCL Command-line access to Google services. Bug # 605784]
Checkmark.png gogoClient Client to connect to IPv6 tunnel brokers using the TSP control protocol Package-x-generic-16.pnggogoc
gpltool Makes it easier and cheaper to look inside binary code, find compliance issues, and reduce uncertainty when deploying Free and Open Source Software. (requires unrar which is only available in rpmfuion-nonfree)
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. (Bug # 426026) dropped
GNS3 GNS3 is a graphical network simulator that allows you to design complex network topologies and to launch simulations on them. Bug # 510464 https://bugzilla.rpmfusion.org/show_bug.cgi?id=718
GNU Bayonne 1 and 2 Telephony servers
Checkmark.png Gpick Color palette creation tool for designers (More info) Bug # 853775 Part of Fedora repository
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.
gwaterfall This program facilitates comparison of various font and font rendering parameters.
Stop (medium size).png Gnusound audio editor. (Includes MP3 encode/decode -> can't be included in Fedora)
gomponent
grabserial is a small program which reads a serial port and writes the data to standard output
guppy is an application to download videos from the Topfield TF5000PVRt.
Gwyddion Free SPM (AFM, SNOM/NSOM, STM, MFM, …) data analysis software
Checkmark.png Gorm is the GNUStep Project's answer to Interface Builder from Mac OS X and NEXTSTEP. Used to easily design UIs for GNUStep (Cocoa) based programs. Package-x-generic-16.pnggorm

H-K

Status icon Package Description Status Comment
Habari Next Generation Blogging Platform.
HandBrake HandBrake is an open-source, GPL-licensed, multiplatform, multithreaded video transcoder.
Heimdall Heimdall is a cross-platform open-source tool suite used to flash firmware (aka ROMs) onto Samsung Galaxy S devices.
hardware4linux.info is Debian's official hardware profiler Bug # 433105 . Functional .rpm packages for Fedora already exist (.src and binary), but this should be better integrated with smolt
Heirloom Project provides traditional implementations of standard Unix utilities. In many cases, they have been derived from original Unix material released as Open Source by Caldera and Sun. mailx DONE
Heimdal Heimdal Kerberos client/server Bug # 613001
http_replicator a smart caching proxy ideal for use with apt/yum
HTTPS Everywhere An extension for Mozilla-based browsers that forces secure connections for websites following defined rules. Developed by the Electronic Frontier Foundation and the Tor Project. License: GPLv2 or later.
Hyperic HQ an advanced system and application management platform
Hyperic SIGAR System Information Gatherer And Reporter 659679 Review Request
Icecat Free replacement of Firefox browser
icon Icon programming language srpm here
iFolder requires simias (Bug # 285801 )
igal2 is a Perl-based program that can generate an entire online picture show (HTML slides, thumbnails and index page included) with just one command line invocation.
imghist is a Python program for generating useful and attractive hue histograms for image analyis. Requires pypng.
Impro-Visor Music notation program for jazz improvisation request
Imule Anonymous version of Emule, through the I2p protocol. sources and binaries here
indefero Indefero Software Forge
Indico A Python-based event organizer web application (GPL).
InstallJammer InstallJammer is a multiplatform GUI installer designed to be completely cross-platform
Checkmark.png iperf3 is a new implementation of iperf from scratch, with the goal of a smaller, simpler code base, and a library version of the functionality that can be used in other programs. Package-x-generic-16.pngiperf3
iTalc Interactive Tool for teachers, OpenSource classroom-management, GPL Bug # 459065
iTask-NG A taskbar and app-launcher dock based on engage, which makes use of composite, but can also be used without.
Checkmark.png 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 to bug reports Package-x-generic-16.pngitools
itop Interrupts 'top-like' utility for Linux
jailkit chroot jail utilities Bug # 479546
Jacker A MIDI tracker for JACK. Beta stage.
Stop (medium size).png JDownloader JDownloader is an open source, platform independent download manager, and written completely in Java. Bug # 751201 Cannot be packaged for Fedora, depends on many non-free Java libraries
JFractionLab Program to practise doing fractions with graphical feedback
Jing Jing is James Clarks' RELAX-NG XML schema validator. Example RPMs at authors site, works with gcj.
jitsi Jitsi (formerly SIP Communicator) is an audio/video and chat communicator that supports protocols such as SIP, XMPP/Jabber, AIM/ICQ, Windows Live, Yahoo! and many other useful features. Jitsi is Open Source / Free Software, and is available under the terms of the LGPL.
jMemorize Java application that manages flashcards by the famous Leitner system
jpdfbookmark Adding and editing bookmarks in PDF files. Needs Java.
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?)
julia Julia is a high-level, high-performance dynamic programming language for technical computing
Julius "Julius" is a high-performance, two-pass large vocabulary continuous speech recognition (LVCSR) decoder software for speech-related researchers and developers
Kabikaboo Tree-based note pad for complex writing tasks such as novel writing. Licensed under GNU GPL. Uses Python and PyGTK.
KDE4 Service Menu Editor Simplifies administration via GUI
kbfx kbfx is an alternative to the classical K-Menu button and it's menu. (The page is dead)
Checkmark.png 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). Package-x-generic-16.pngkdevelop
KForge For managing software and knowledge projects.
Kiwix Offline wikipedia reader, zim file reasder. GPLV3
KLogic KLogic is an application for building and simulating digital circuits easily
Knowledge Tree Community edition: a PHP based GPL V3 Content Managements System (source code at: Source Forge)
KompoZer KompoZer is a complete web authoring system that combines web file management and easy-to-use WYSIWYG web page editing. It bases on Mozilla Gecko, Nvu and Netscape Composer.
Kommute Linux client for the MUTE anonymous P2P network
Kommute Linux client for the MUTE anonymous P2P network
Komodo Edit Free and Open source multi-language editor
KPrayertime Islamic Prayer Times Applet

L-M

Status icon Package Description Status Comment
l7-filter L7-filter is a classifier for Linux's Netfilter that identifies packets based on application layer data. Bug # 526265
lessfs A high performance inline data deduplicating filesystem for Linux Review Request 530473
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.
libchipcard A library for easy access to smart cards (chipcards). Usually in combination with Gwenhywfar and AqBanking.
libmawk fork of mawk 1.3.3 restructured for embedding. This means the user gets libmawk.h and libmawk.so and can embed awk scripting language in any application written in C.
libMicro is a portable set of microbenchmarks that many Solaris engineers used during Solaris 10 development to measure the performance of various system and library calls(If Linux is faster it's a Solaris bug) Review Request RHBZ #648053 Red Hat Fork
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.
LibSRS Library to implement Sender Rewriting Scheme, a part of the SPF/SRS protocol pair.
liburcu userspace RCU (read-copy-update) library. This data synchronization library provides read-side access which scales linearly with the number of cores. It does so by allowing multiples copies of a given data structure to live at the same time, and by monitoring the data structure accesses to detect grace periods after which memory reclamation is possible.
liferay An open source Java based portal application.
Stop (medium size).png Lightworks is a non-linear editing system for video. currently non-free, can revisit when/if source is released like has been announced
Lime Experimental Sublime Text clone.
Stop (medium size).png link-monitor-applet Link Monitor Applet is a GNOME Panel Applet displaying the round-trip time to a set of hosts in a bar graph. s> F15 won't include support for GNOME Panel Applets and this program requires setuid which is not allowed in Fedora
liquidwar6 multiplayer wargame, sequel of Liquid War 5 (which is already in Fedora, but LW5 and LW6 are really different packages, complete rewrite)
listadmin A command line interface for Mailman administration.
livebackup LiveBackup is a framework to create live-cd's from installed Linux systems
Stop (medium size).png 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
LNXHC Linux Health Checker for s390x
lldpd 802.1ab (LLDP) implementation, .spec here
lltag lltag is a console program to tag and rename OGG and FLAC audio files. It is a flexible front-end to vorbiscomment and metaflac. Part of Debian, Ubuntu, Arch and Gentoo Linuxes. (lltag can also tag mp3 if 'mp3info' is available in system, but this is not required. 'lltag' itself does not have anything to do with MP3 files).
Checkmark.png log4cplus Logging Framework for C++ Package-x-generic-16.pnglog4cplus
Checkmark.png LPRng is an enhanced, extended, and portable implementation of the Berkeley LPR print spooler functionality. No so bulky/convoluted as cups. Package-x-generic-16.pnglprng
lprof ICC Color Profiler. This will help the Fedora Design team produce for-print artwork. (Needs some work. See [[[rhbug:851641|851641]] Bug 851641])
Lustre Lustre is a parallel distributed file system, generally used for large scale cluster computing. SRPMs 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.
Test-result-inprogress.gif MariaDB An Open Source; enhanced, drop-in replacement for MySQL. They have RPMs (no SRPM's though): [1] review
makeself Tool for creating self-extracting executables request
massif-visualizer Tool for visualizing valgrind/massif output request
Checkmark.png MATE A fork of Gnome 2.3 for F16, F17
MATE cpufreq applet MATE applet to show & control cpu frequency (missing from applets)
Memlockd is a daemon that locks basic system login files,binary and library, into memory. Then if a machine starts paging heavily the chance of being able to login successfully is significantly increased.
mdp-toolkit Modular toolkit for Data Processing (MDP) is a Python data processing framework.
Checkmark.png Mercurial Eclipse hg Eclipse plugin Package-x-generic-16.pngeclipse-mercurial
MeTA1 is a message transfer agent, next generation of Sendmail.
mitmproxy an SSL-capable man-in-the-middle HTTP proxy. It provides a console interface that allows traffic flows to be inspected and edited on the fly.
mosbench is a set of application benchmarks designed to measure scalability of operating systems. It consists of applications that previous work has shown not to scale well on Linux and applications that are designed for parallel execution and are kernel intensive.
Stop (medium size).png Mesk A PyGtk+ audio player Cannot include in Fedora, has built in MPEG decoder
Metasploit a computer security project which provides information about security vulnerabilities and aids in penetration testing and IDS signature development.
MindTouch Enterprise Content Management from Novell. There is a repo and installation instructions here. Licenses here
MIT/GNU Scheme an implementation of the Scheme programming language, providing an interpreter, compiler, source-code debugger, integrated Emacs-like editor, and a large runtime library.
mixmaster Anonymous remailer client and server
Checkmark.png MOC console audio player for Linux/UNIX It's available in RPMFusion-free It has optional dependency on ffmpeg.
Modelio modeling environment requested in Bug # 901683
modRana GPS navigation software
Test-result-inprogress.gif Mondo Rescue Bug # 187318
MoBlock A Peerguardian compatible connection blocker
Metasploit Framework Metasploit provides useful information and tools for penetration testers, security researchers, and IDS signature developers. This project was created to provide information on exploit techniques and to create a functional knowledgebase for exploit developers and security professionals. The tools and information on this site are provided for legal security research and testing purposes only. Metasploit is an open source project managed by Rapid7.
Stop (medium size).png Checkmark.png mpd MusicPD Home Stereo Server using ogg and flac for mpc, gmpc, ncmpc, and many others including ampache. bugs at musicpd.org/mantis irc=mpd MP3 is optional. Needed for always on audio and when the server is rebooted, it picks up the queue where it left off. yum search mpd returns about 20 results, so there are already many existing packages that use it. The hard part is making it selinux compatible. In rpmfusion
MPH 2B Damase Public domain font that includes scripts such as Deseret and Shavian.
mtasc ActionScript 2 compiler generating flash srpm here
MAC-Telnet MikroTik devie management Bug # 892681

N-O

Status icon Package Description Status Comment
Checkmark.png n2n open source GPL3 layer-two peer-to-peer virtual private network - Hamachi like easy networking Package-x-generic-16.pngn2n
NagiosGrapher Nagios Stats graphing.
Checkmark.png Nagstamon Nagios status monitor which takes place in systray or on desktop (GNOME, KDE, Windows) as floating statusbar. Package-x-generic-16.pngnagstamon
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. Succeeded by RabbitVCS (in F12)
Navit Navit is a car navigation system with routing engine. Bug # 654374 CLOSED - Michel Alexandre Salim - Review Request: navit - Car navigation system with routing engine
neatx Open Source NX server, similar to the commercial NX server from NoMachine
netperf A benchmark that can be used to measure the performance of many different types of networking. Bug # 603267 CLOSED - Nobody's working on this, feel free to take it - Review Request: Netperf - Benchmark tool for networking.
newlib is a C library intended for use on embedded systems. Bug # 674931 CLOSED - Nobody's working on this, feel free to take it - Review Request: sh-elf-newlib - Cross Compiled Red Hat Newlib targeted at sh-elf
nftables libnftables (snapshots) nftables is the project that aims to replace the existing {ip,ip6,arp,eb}tables frameworks, presents in the 3.13 kernel The iptables-nftables tree is planned to be merged into iptables by when 3.13-rc1 will be released: see this ml thread
Nikto2 is a Web server scanner that tests Web servers for dangerous files/CGIs, outdated server software and other problems
Checkmark.png Ninja a small build system similar to make. Package-x-generic-16.pngninja CLOSED - Eduardo Echeverria - Review Request: ninja-ide - Ninja IDE for Python development
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.
numatop an observation tool for runtime memory locality characterization and analysis of processes and threads running on a NUMA system
numpydoc tools (python-sphinx extension) to build documentation formatted in numpydoc format used by many python projects
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 Bug # 772993 CLOSED - Steve Traylen - Review Request: globus-gram-audit - Globus Toolkit - GRAM Jobmanager Auditing
ocaml-batteries a community-driven effort to standardize on an consistent, documented, and comprehensive development platform
ocrodjvu a wrapper for OCR systems, allowing to perform OCR on DjVu files.
ofono telephony host stack for embedded/mobile and desktop systems based on Linux.
Okawix Offline wikipedia Reader. GPL
OnTV A TV scheduler using XMLTV backends
OneSwarm Bittorrent client Bug# 854889 deferred review
OpenBUGS Bayesian inference Using Gibbs Sampling software
OpenGroupware Groupware software
opennx OpenNX is an OSS drop-in replacement for Nomachine's nxclient
OpenShot A non linear easy-to-use video editor. Python based, pure GPL 3. -> Cannot be included since it uses the MLT framework, can be packaged at RPM Fusion. Accepted in RPMFusion ([2]).
OpenOffice Presentation Minimizer reduces the size of ooimpress documents, requires java This is already available as openoffice.org-presentation-minimizer (and it doesn't require java)
OpenProj A desktop replacement of Microsoft Project
OpenVAS a framework of several services and tools offering a comprehensive and powerful vulnerability scanning and vulnerability management solution.
otcomp OpenType layout compiler, needed to build some FLOSS fonts
oyepa a tagging file system (a fake but working one)

P

Status icon Package Description Status Comment
PAIDA PAIDA is pure Python scientific analysis package Bug #497862 CLOSED - Fabian Affolter - Review Request: python-paida - Pure Python scientific analysis package
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
pam_script PAM module for executing scripts (orphan) Bug #624705 ASSIGNED - Marcelo Moreira de Mello - Review Request: pam_script - execute scripts from within pam
Checkmark.png Par is a text formatting tool. Supports Unicode, can be used either on the command line, or from within vim or emacs. (Wikipedia) (Vim Wikia). Need to be patched to version i18n.3 for Unicode support. Package-x-generic-16.pngpar
parkverbot The parkverbot daemon will periodically issue small read requests in order to keep the hardware from going to its head-unloaded idle state Modern rotational hard disks have a misfeature involving the regular automatic unloading of the heads, measurable by the SMART attribute "Load_Cycle_Count", that causes latency on wake-up, and while the manufacturers sell this as "green", it is believed to cause reduced hard disk life.
Partclone Partclone provides utilities to back up and restore used-blocks of a partition and it is designed for higher compatibility of the file system by using existing library, e.g. e2fslibs is used to read and write the ext2 partition. Partclone supports ext2,ext3 and ext4, reiserfs, reiser4,XFs, JfS, Windows: Fat32, Ntfs, MACOS: HFS +, Freebsd: UFS2 and ESX: VMFS. The licenses is GPL
patchwork is a web-based patch tracking system designed to facilitate the contribution and management of contributions to an open-source project.
PayMaster Payroll aymaster was developed in New Zealand to match the needs of both small and large organisations. Utilising an easily customisable back-end, that calculates the results to help meet the diverse requirements of your specific payroll. Complex tax laws, leave, varying pay rates, allowances, superannuation are just some of the things our payroll system can handle. It can also handle cost accounting by analysing and reporting wage costs to multiple branches and departments, different pay rates, etc. Full reporting features are available.
PCITOP a PCI bus utilization monitoring tool.
PEAR HTML_Template_Flexy An extremely powerful Tokenizer driven Template engine Bug #487448 CLOSED - Nobody's working on this, feel free to take it - Review Request: HTML_Template_Flexy - PEAR HTML Template Engine
PEAR MDB2_Driver_mysqli PEAR mysqli MDB2 driver Bug #487450 CLOSED - Nobody's working on this, feel free to take it - Review Request: MDB2_Driver_mysqli - PEAR mysqli MDB2 driver
PEDA and Peda examples for FEL spin - GPLv3 Professional(Portable,Peter's) Electronic Design Automation tool Bug #614520 CLOSED - Michel Alexandre Salim - Review Request: gnustep-examples - The GNUstep examples
Checkmark.png Pencil A UI design / sketching tool, Mozilla-based Package-x-generic-16.pngpencil CLOSED - Matthias Runge - Review Request: pencil - A sketching and GUI prototyping tool
Checkmark.png perl-CDDB_get Read the CDDB entry for an audio CD in your drive Package-x-generic-16.pngperl-CDDB_get CLOSED - Petr Pisar - Review Request: perl-CDDB_get - Read the CDDB entry for an audio CD in your drive
perl-qt perl binding for Qt4 it's two perl modules Bug #752858 CLOSED - Parag AN(पराग) - Review Request: perl-Qt - Perl bindings for Qt
Photivo Photivo is a free and open source photo processor. It handles your RAW files as well as your bitmap files in a non-destructive 16 bit processing pipe with gimp workflow integration and batch mode.
PhotoFilmStrip Create slideshow movies from photos
php-pecl-syck php-pecl-syck
Plan 9 from User Space aka plan9port, is a port of many Plan 9 programs from their native Plan 9 environment to Unix-like operating systems.
pligg is a digg like CMS that uses PHP and MySQL.
pluf a php webapp framework Bug #575940 CLOSED - Remi Collet - Review Request: php-pluf - Pluf
pmacct flexible traffic-accounting with packet-capturing, netflow and sflow (import, export, logging to DB, ...)
PPTP-Config PPTP - config program part of the pptp. Already has FC6 packages.This is depreciated the author recommends networkmanager use.
Poptop The Point-to-Point Tunneling Protocol Server for Linux Bug #632853 ASSIGNED - Jaroslav Škarvada - Review Request: pptpd - PoPToP Point to Point Tunneling Server
prescript Utility for extracting text from PostScript files Bug #730691 CLOSED - Nobody's working on this, feel free to take it - Review Request: openemr - Practice management, EMR, prescription writing and medical billing application
Checkmark.png Prettify Automake pretty automake output Functionality now exists natively in automake as 'silent-rules' Package-x-generic-16.pngautomake
ProjectCenter is the GNUStep Project's answer to XCode, used for developing, managing, and building GNUStep (Cocoa) based projects Bug #636930 CLOSED - Nobody's working on this, feel free to take it - Review Request:projectcenter - The GNUstep IDE
Checkmark.png Pyjamas web tookit for python Package-x-generic-16.pngpyjamas CLOSED - Nobody's working on this, feel free to take it - Review Request: pyjamas26 - A python to Javascript compiler, Widget set, Framework and Toolkit
pyLoad pyLoad is a fast, lightweight and full featured download manager for many One-Click-Hoster, container formats like DLC, video sites or just plain http/ftp links. It aims for low hardware requirements and platform independence to be runnable on all kind of systems (desktop pc, netbook, NAS, router). pyLoad is released under GPL.
python-dap Data Access Protocol (OPeNDAP) implementation in python
Checkmark.png PySDM a Storage Device Manager that allows full customization of hard disk mountpoints without manually access to fstab. Package-x-generic-16.pngpysdm CLOSED - Jerry James - Review Request: pysdm - Python based Storage Device Manager
PyTraffic A free implementation of the Rush Hour puzzle. Bug #446097 ASSIGNED - Alexey Torkhov - Review Request: pytraffic - sliding block puzzle board game
python-egenix-mxdatetime date and time handling routines for Python

Q-S

Status icon Package Description Status Comment
QuickSoundFontManager A gui for (a)sfxload / fluidsync to quick load several SF2 soundfonts in a EMU10k chip
Racket It's great interpreter and compiler for scheme language
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
runit A UNIX process supervisor popular in the Chef community
Remuco a Remote control server, for mobile phones, similar to Bemused and Salling Clicker
REMnux A Ubuntu based Linux Distribution for Reverse-Engineering Malware. Package anything that's not in Fedora.
Retroshare RetroShare is a Open Source cross-platform, Friend-2-Friend and secure decentralised communication platform.
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)
Test-result-inprogress.gif Rodent filemanager / graphic shell bz#1016809
Rogg xiph.org tool to evaluate and manipulate ogg theora files
rnv RELAX NG Compact Syntax validator
ROTgui a utility for screen rotation for wacom tablet laptops like the IBM x61T and x41T (the Fedora design team will love you for packaging this!)
rotoscope a free software rotoscoping application 492165
rovclock ATI Radeon over/underclocking utility
rox-filer srpm here
RStudio RStudio is a new R IDE with excellent features for a wide spectrum of users. -- waiting for the google web toolkit to be available in fedora.
safte-monitor Linux SAF-TE SCSI enclosure monitor It reads disk enclosure status information from SAF-TE capable enclosures (SCSI Accessible Fault Tolerant Enclosures). SAF-TE is common on many intelligent SCSI disk enclosures and some rackmount servers with SCSI hotswap drive bays.
Stop (medium size).png Sentinella Sentinella is a KDE4 application that watches your system activity and, in consequence, takes an action that you've chosen. Dropped
SchemaSpy Graphical Database Schema Metadata Browser SchemaSpy is a Java-based tool that analyzes the metadata of a schema in a database and generates a visual representation of it in a browser-displayable format.
Scratch "Scratch is a programming language that makes it easy to create your own interactive stories, animations, games, music, and art -- and share your creations on the web." MP3 support is via a Squeak plugin and is not integral. OLPC ships without it and I hope we can too.
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.
scsirastools SCSI RAS Tools for Disk Management The tools in this project were designed to add to the Serviceability of disk devices under Linux so that the system does not have to be rebooted or taken out of service to perform common maintenance or service functions.
Checkmark.png Seed JavaScript bindings for GNOME, using WebKit's JavaScriptCore Package-x-generic-16.pngseed
segatex segatex is a program even if not knowing much about SELinux commands, can easily set SELinux commands by GUI. Written in C++. Requires Qt ( qt-devel package ). 2013-02-23 segatex-7.930 released !
SFLphone a robust standards-compliant enterprise softphone, for desktop and embedded systems. It is designed to handle several hundreds of calls a day. It has a GTK+ and QT interface, integrates well with GNOME and PulseAudio. Supports SIP and IAX2 (Asterisk).
Checkmark.png Sigil Excellent epub editor for ebook creation. Package-x-generic-16.pngsigil
sguil facilitates the practice of Network Security Monitoring and event driven analysis
simon-listens Is an open-source speech recognition program and replaces the mouse and keyboard.
sispmctl Package for controlling GEMBIRD (m)SiS-PM power controllers.
slimrat Slimrat is a command-line and graphical application for automated downloading from file hosters like Rapidshare, Megaupload, Depositfiles and many more.
slurm cluster toolkit (already has a maintained SPEC file)
smuxi IRC client & IRC proxy, GTK+ based
Stop (medium size).png Songbird Bug #453422 Issues in the bug Upstream doesn't support Linux anymore.
spacenav The spacenav project provides a free, compatible alternative, to the proprietary 3Dconnexion device driver and SDK, for their 3D input devices
Spectrum-Tools set of utilities for using various spectrum analyzer hardware. It supports the suite of Wi-Spy devices (original, 24x, 24x2, DBX, DBX2, 900, 24i) by Metageek LLC and the Ubertooth.
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
sqlmap an open source penetration testing tool that automates the process of detecting and exploiting SQL injection flaws and taking over of database servers.
Checkmark.png 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 Package-x-generic-16.pngsquirrel
Checkmark.png stardict-fr-academy-1935 8th edition of the French Academy dictionnary, in stardict format (1935) Package-x-generic-16.pngstardict-xmllittre
StatusNet desktop client is a multi-platform Open Source client for connecting to StatusNet installations.
Stet is a free software package for gathering comments about a text document via a webpage
Checkmark.png strongSwan ipsec implementation with major support of IKEv2 Package-x-generic-16.pngstrongswan
Stumpwm Stumpwm is a tiling, keyboard driven X11 Window Manager written entirely in Common Lisp.
Checkmark.png Stylus Toolbox A graphical frontend for managing the functions of Epson Ink Jet printers - including checking ink levels and print head cleaning/alignment Package-x-generic-16.pngstylus-toolbox
swfmill xml2swf and swf2xml processor with import functionalities srpm here
Sympa Mailing list server 524257 Deferred
system-config-control Central control panel for system-config-* tools.

T-W

Status icon Package Description Status Comment
Checkmark.png Tagaini Jisho a free, open-source Japanese dictionary and kanji lookup that aims at becoming your Japanese study assistant. Package-x-generic-16.pngtagainijisho
Task Coach GPLv3 task and project management application. Fairly new.
Tesseract Tesseract is an OCR engine. It is actually provided by Fedora, but has not been updated since Fedora 15. Needs to be updated to the 3.02 version for Hebrew [and other new languages] support
Textpattern a CMS popular with some web designers. It's GPL and is LAMP-y.
Checkmark.png Thinkfan A simple fan control program Package-x-generic-16.pngthinkfan
TinyXML++ A very nice, modern C++ interface to TinyXML. MIT license. Nice software; painful, obscure build system.
Tipp10 A 10 finger write trainer (Has no configure script and a MakeFile generated by qmake for QT on windows)
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.
translit Translit is Jan Labanowski's transliteration program.

Written for transliteration to/from phonetic representation of foreign letters (in native alhpabets) with Latin letters. Supports character lists and flexible matches via regular expressions. The new transliteration schemes can be added by creating transliteration tables. Console interface only. Included in Mandrake Linux and some other distributions. || ||

toshutils (includes GUI) or toshset (CL only) Allows users to control Toshiba hardware
Stop (medium size).png 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)
TuxShop point of sale and retail management application.
Test-result-inprogress.gif TV-Browser A java application to view the current tv program Bug #754246
Stop (medium size).png TwoLame A MPEG-1 Audio Layer 2 encoder Probably would be blocked based on Spot's comment [3]
ufsutils Utilities to manage the UFS filesystem, mostly used in BSD or derived operating systems. This include FFS, UFS and UFS2.
ulatencyd Scriptable daemon daemon that controls how the Linux kernel will spend it's resources on the running processes.
Checkmark.png Unico Gtk+ Theming Engine Unico is a Gtk+ engine that aims to be the more complete yet powerful theming engine for Gtk+ 3.0 and newer Package-x-generic-16.pnggtk-unico-engine It's used in several Gtk + 3.0 themes
Checkmark.png 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. Package-x-generic-16.pngunicode-ucd
unp debian/ubuntu script for uncompressing archives Bug #800868 Deferred
uPdf A tool to write and paint to an existing pdf file. uPdf can insert pages of another pdf, insert new pages, remove and extract pages, rotate pages, paste an image in the existing pdf, and much more.
Checkmark.png uperf A network performance tool, developed by the Performance Applications Engineering group at Sun Microsystems, that supports modelling and replay of various networking patterns. Package-x-generic-16.pngperf
urfkill For the laptop and mobile devices users, the management of the radio killswitches is important for the connectivity and power consumption. HAL used to take care of this job, but it is now deprecated. The urfkill project is created to fill the gap and to provide more flexible configuration for the rfkill-related function keys.
v4l2 loopback device this is useful for feeding different v4l2 applications with video from non v4l2 sources, for example one can feed Skype with video enhanced by gstreamer effects; or use input device which does not have v4l2 compliant driver; or to share one v4l device with many programs, as many drovers are block device, when opened.
Stop (medium size).png Vagalume A Last.fm client for Gnome and Maemo. Bug #445036 (failed) (available from Livna)
Vigor XMMS plugin that acts like Clippy. Fun!
VMWP VLC Mozilla Wrapper Plugin Adds multimedia player support for Mozilla browsers (Firefox, Netscape, Google Chrome, Chromium etc.) under Linux.
VNCSnapshot VNC Snapshot is a command-line program for VNC. It will save a JPEG image of the VNC server's screen.
Visual Python a Python module that offers real-time 3D output, and is easily usable by novice programmers. Depends on non-free software (Polygon).
w3af is a Web Application Attack and Audit Framework. The project’s goal is to create a framework to help you secure your web applications by finding and exploiting all web application vulnerabilities.
[4] Wavelet denoise Gimp plugin
Test-result-inprogress.gif WTP Eclipse Webtools Project (JSP, HTML, JavaScript, XML, etc.) (Effort to build this package are Bug #486369 ongoing
Wine-doors an application designed to make installing windows software on Linux Bug #449339 (dropped)
Stop (medium size).png Webmin web-front end to shorewall Bug #184080]|184080] (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.
wxRemind frontend for Remind, calendar and alarm application. (LinuxJournal article on remind)

X-Z

Status icon Package Description Status Comment
xdm-xsessions Xdm session related utilities srpm here
XMIND EPL/LGPL Licensed MindMap Software.
Checkmark.png xmlittre Authoritative 19th century French dictionary, in stardict format Package-x-generic-16.pngstardict-xmllittre
xonotic Xonotic is a fast paced free, open-source first person shooter licensed under the GNU General Public License.
Xpra X Persistent Remote Applications, is 'screen for X'. It allows you to run X programs, usually on a remote host, direct their display to your local machine.
xProcess, For project management and process improvement.
Test-result-inprogress.gif xtrabackup Online backup tool for MySQL/InnoDB BZ#918431
XtreemFS XtreemFS is a distributed and replicated file system for the Cloud. Distributed under the BSD. Here's a link to their RPMs [5].
YaCy A secure, censorship-resistant, p2p search engine that indexes the web and also local content on an organization's intranet
youthree Highly experimental program to disable/enable U3 and write a CD image to U3 capable flash drives.
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 Bug #435470
zpb-ttf ZPB-TTF is a TrueType file parser that provides an interface for reading typographic metrics, glyph outlines, and other information.
Test-result-inprogress.gif Zend Optimizer+ provides faster PHP execution through opcode caching and optimization. BZ#911111
zsync smart rsync. zlib discussion

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.


Idea.png
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

Fedora Design Packages WishList

Proposed packages to include in Fedora repository for Design Team. When future packager picked up the desired software for review, please move it in the review process. If the sofware cannot be included in Fedora repository, move the software in refused packages and list the reason.

Legend

Checkmark.png - passed Fedora licensing guideline Stop (medium size).png - warn about issue

  • Status - Name and url - Description - Comments
  • PSPI (Lets you install Photoshop plugins) - may be problematic because of wine requirement
  • Refocus
  • Color Match
  • Focus Blur
  • Contrast Blending
  • Image Registration
  • Save for Web
  • Swatchbooker its a tool for manage swatches, mostly color sets now, its not active developed but it still works and is helpful for e.g. converting color palettes from adobe swatch exchange (*.ase) to *.gpl. Its not packaged yet but thats not a big deal, its python.
  • Alchemy , not easy to describe what it does, it helps to create a creative chaos where you can work with. Its not really active developed but it still works, is also not packaged yet. It uses java and netbeans
  • Evolvotron its a tool for generate creative patterns. Its not packaged yet should be harder as it uses c++/QT
  • NeoTextureEdit it helps you to create seemless textures, for 3D games or blender. Also not packaged yet, it uses java
  • jlipsyncor Papagayo , both do the same taking a sound file and try to recognize the phonemes. With help of that tool you can animate 3D/2D speaking characters. jlipsync bases on java and papagayo on python, personally I prefer Papagayo but its tricky on 64bit machines as the development stopped and there are no 64bit versions
  • StopMotion its a tool for creating stop motion animations with your camera, it was started once from SkoleLinux but isnt active developed anymore but it still works.
  • Tupi is a tool for doing 2d animations, but easier to learn and handle as SynfigStudio, puiterwik tries to package it since a few days
  • Alchemy - chaos generation tool, good for artists and sketchers
  • Denim - UI sketching tool. BSD license. Created by the University of Washington. Crossplatform TabletPC input.
  • GimpShop - GimpShop is a fork of gimp for more compatibility with a commercial image editing program.
  • HandBrake - HandBrake is an open-source, GPL-licensed, multiplatform, multithreaded video transcoder.
  • Lightworks - is a non-linear editing system for video.
  • Pencil2D - an animation/drawing software
  • Dopey - A 2D animation program based on MyPaint

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.