(→P) |
(→X-Z) |
||
Line 686: | Line 686: | ||
| || [http://www.xmind.net XMIND] || EPL/LGPL Licensed MindMap Software. || || | | || [http://www.xmind.net XMIND] || EPL/LGPL Licensed MindMap Software. || || | ||
|- | |- | ||
| || [http://xpra.org/ 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. | | || [http://xpra.org/ Xpra] || X Persistent Remote Applications, is 'screen for X'. || [[rhbug:1198312]] || It allows you to run X programs, usually on a remote host, direct their display to your local machine. | ||
|- | |- | ||
| || [http://sourceforge.net/projects/xprocess/ xProcess], || For project management and process improvement. || || | | || [http://sourceforge.net/projects/xprocess/ xProcess], || For project management and process improvement. || || |
Revision as of 04:20, 18 March 2015
Notes from existing packagers
This is the field for existing packagers to place notes about new packages.
Christopher Meng
I know many of people want Fedora to include more and more softwares, and that's what we are pursuing for currently, we are trying our best to match your needs but sometimes we only lack enough time.
I myself have thousands of packages not submitted, so if you want me to package a software, feel free to email me ASAP, details please see my user page in the title.
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 |
---|---|---|---|---|
![]() |
NAME + URL | DESC | Bug# 123456 | |
![]() |
NAME + URL | DESC |
|
|
![]() |
NAME + URL | DESC | LICENSE ISSUE! |
A-D
Status | Package | Description | Status | Comment |
---|---|---|---|---|
![]() |
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 | |||
![]() |
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 | |||
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. | |||
[htt![]() |
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 | Bug 1144000 | 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. |
Axiom | general purpose system for symbolic calculations. | |||
Beast | Beast is a music composition and modular synthesis application. | bug 902296 | ||
![]() |
BitCoin | Client for alternative online currency | Ticket #1020292 | Requires additional features of OpenSSL which are currently unavailable |
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. | |||
![]() |
Bongo | Bongo is an easy-to-use mail and calendar system. Fork of Hula. | Bug # 428925 (Dropped)) | |
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. | It's currently available in the copr. I didn't submit it for review, as it's not so easy to unbundle all libraries it depends on. | ||
burp | Backup and restore program | 1002092 | ||
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) | |||
Composer | Composer is a tool for dependency management in PHP. It allows you to declare the dependent libraries your project needs and it will install them in your project for you. | |||
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. | |||
![]() |
Crafty | Crafty is a free, open-source computer chess program, generally more powerful than GNUchess. | incompatible license | |
cropgui | a python GUI frontend of jpegtran for lossless cropping of image files | blog; see this bug for the Image/Pillow version] | ||
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. | |||
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) | ||
Docear | An academic literature suite |
E-G
Status | Package | Description | Status | Comment |
---|---|---|---|---|
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 | |||
envoy | A ssh/gpg-agent wrapper leveraging cgroups and systemd/socket activation | https://ttorcz.fedorapeople.org/envoy.spec | ||
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') | ||
Flapjack | monitoring solution | |||
Flyback | GUI for archiving similar to Apple's Time Machine. | |||
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 | |||
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 | ||
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. | |||
FreeSWITCH | FreeSWITCH is a scalable open source cross-platform telephony platform designed to route and interconnect popular communication protocols using audio, video, text or any other form of media. | Many bundled libs | ||
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. | |||
gitshelf | Manage a shelf full of git repos | |||
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 | |||
gnome-shell-extension-sensors | An extension for displaying sensor data in gnome-shell | Bug # 983409 | ||
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] | |||
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 | |||
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. | |||
![]() |
audio editor. (Includes MP3 encode/decode -> can't be included in Fedora) | |||
gomponent | ||||
google-drive-ocamlfuse | A FUSE client for Google Drive written in OCaml | |||
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 |
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. | ||||
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 | |||
http_replicator | a smart caching proxy ideal for use with apt/yum | ||||
HTTraQt | Graphical user interface for HTTrack | ||||
Hyperic HQ | an advanced system and application management platform | ||||
Hyperic SIGAR | System Information Gatherer And Reporter | 659679 Review Request | |||
I-Nex | Linux Systen Information Tool look like CPU-Z, Hardinfo and CPU-G. More Screenshots @ http://sourceforge.net/projects/i-nex/ Source @ https://github.com/eloaders/I-Nex | ||||
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 | ||||
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. | ||||
itop | Interrupts 'top-like' utility for Linux | ||||
jailkit | chroot jail utilities | Bug # 479546 | |||
Jacker A MIDI tracker for JACK. Beta stage. | |||||
![]() |
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?) | ||||
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) | ||||
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 | ||||
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 1063171 | |||
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. | ||||
![]() |
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. | ||||
![]() |
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 | ||||
![]() |
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). | ||||
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. | ||||
massif-visualizer | Tool for visualizing valgrind/massif output | request | |||
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. | ||||
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. | Bug # 1070418 | |||
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. | ||||
![]() |
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 | ||||
Modelio | modeling environment | requested in Bug # 901683 | |||
modRana | GPS navigation software | ||||
![]() |
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. | ||||
mtasc | ActionScript 2 compiler generating flash | srpm here | |||
MAC-Telnet | MikroTik devie management | Bug # 892681 | |||
mysqlclient | mysqlclient is a fork of MySQL-python. It add Python 3.3 support and merges some pull requests. |
N-O
Status icon | Package | Description | Status | Comment |
---|---|---|---|---|
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. | |||
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 | |
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. | |||
NSS SecurePass | NSS (Name Service Switch) module for SecurePass | |||
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 | |||
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 | |||
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 | |
---|---|---|---|---|---|
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 | ||
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 | ||
PEAZIP | Cross-platform file archiver | ||||
pgloader | Pgloader loads data into PostgreSQL using the COPY streaming protocol, and doing so with separate threads for reading and writing data. Asynchronous IO, compiled to the metal programming language. pgloader knows how to read data from MySQL, SQLite or dBase databases, and knows how to discover the schema and properly cast data types over. It also knows how to read CSV files in several definitions of CSV, and fixed columns files. | ||||
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-horde-gollem | Gollem is the Horde file manager, and would make a fine addition to the existing well-packaged RPMs for other Horde applications | ||||
php-pecl-syck | php-pecl-syck | project seems dead (last version from 2008), syck-php provides a PHP extension for 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. | ||||
pmacct | flexible traffic-accounting with packet-capturing, netflow and sflow (import, export, logging to DB, ...) | ||||
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 | ||
![]() |
Prettify Automake | pretty automake output Functionality now exists natively in automake as 'silent-rules' |
|
||
Processing | Processing is an open source programming language and IDE built for the electronic arts, new media art, and visual design communities | ||||
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 | ||
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 | ||||
PyTraffic | A free implementation of the Rush Hour puzzle. | Bug #446097 | ASSIGNED - Alexey Torkhov - Review Request: pytraffic - sliding block puzzle board game |
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 | |||
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) | |||
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. | ||
![]() |
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. | ||
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. | ||
SCCS | POSIX standard Source Code Control System, based on the original UNIX SCCS code provided by Sun as part of OpenSolaris and was made portable to other platforms. | |||
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). | |||
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 | |||
![]() |
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. | |||
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 | |||
Stumpwm | Stumpwm is a tiling, keyboard driven X11 Window Manager written entirely in Common Lisp. | |||
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 |
---|---|---|---|---|
Task Coach | GPLv3 task and project management application. Fairly new. | |||
Textpattern | a CMS popular with some web designers. It's GPL and is LAMP-y. | |||
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 | |||
translit ftp:translit | Translit is a console transliteration program written for transliteration to/from phonetic representation of foreign letters (in native alphabets) 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 | |||
![]() |
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. | ||||
![]() |
TV-Browser | A java application to view the current tv program | Bug #754246 | |
![]() |
A MPEG-1 Audio Layer 2 encoder | Probably would be blocked based on Spot's comment [1] | ||
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. | |||
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. | |||
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. | |||
![]() |
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. | |||
Wine-doors | an application designed to make installing windows software on Linux | Bug #449339 (dropped) | ||
![]() |
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. | |||
Xpra | X Persistent Remote Applications, is 'screen for X'. | rhbug:1198312 | 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. | |||
![]() |
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 [2]. | ||
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. | |||
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
The Fedora font wishlist is hosted there.
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
Catalyst::Model::Adaptor - Use a plain class as a Catalyst model @ RHBZ #742538Catalyst::Authentication::Credential::HTTP - HTTP Basic and Digest authentication for Catalyst @ RHBZ #742549Catalyst::Plugin::Session::Store::DBIC - Store your sessions via DBIx::Class @ RHBZ #742555Catalyst::Plugin::Session::Store::Delegate - Delegate session storage to an application model object @ RHBZ #742548
CatalystX::Profile - Profile your Catalyst application with Devel::NYTProf @ RHBZ #742557CatalystX::InjectComponent - Inject components into your Catalyst application @ RHBZ #742552
CatalystX::REPL - Read::eval::print::loop for debugging your Catalyst application @ RHBZ #742559Carp::REPL - Read::eval::print::loop on die and/or warn @ RHBZ #742556Devel::StackTrace::WithLexicals - Generate stack traces with lexical variables @ RHBZ #742550
CatalystX::SimpleLogin - Provide a simple Login controller which can be reused @ RHBZ #742560Catalyst::ActionRole::ACL - User role::based authorization action class @ RHBZ #742542HTML::FormHandler - HTML forms using Moose @ RHBZ #742543MooseX::RelatedClassRoles - Apply roles to a class related to yours @ RHBZ #742545CatalystX::InjectComponent - Inject components into your Catalyst application @ RHBZ #742552
Moose
Task::Moose -- Moose extensions thought of as "standard."TryCatch RHBZ #698264B::Hooks::OP::PPAddr RHBZ #698251
MooseX::Role::TraitConstructor RHBZ #689815
Task-Kensho
- Task::Kensho - "A Glimpse at an Enlightened Perl"
Task::Kensho::Exceptions RHBZ #822881Task::Kensho::OOP RHBZ #822878Task::Moose RHBZ #820970
Task::Kensho::Testing RHBZ #689477Task::Kensho::Toolchain RHBZ #689797Task::Kensho::Logging RHBZ #844670Task::Kensho::Async RHBZ #1415662Task::Kensho::XML RHBZ #1416492- Task::Kensho::WebDev - not packaged - CGI::FormBuilder::Source::Perl
Task::Kensho::WebCrawling RHBZ #1428820- Task::Kensho::DBDev
- Task::Kensho::ExcelCSV
- Task::Kensho::ModuleDev
- Task::Kensho::Email
- Task::Kensho::Dates
- Task::Kensho::Scalability
- Task::Kensho::Config
- Task::Kensho::CLI
- Task::Kensho::Hackery
Task-Padre-Plugin-Deps
Task::Padre::Plugin::Deps @ RHBZ #500959- not needed at the moment, it might be rewritten in the futureAcme::PlayCode @ RHBZ #497800Audio::Beep @ RHBZ #573802Capture::Tiny @ RHBZ #497807CSS::Minifier::XSExtUtils::InferConfig @ RHBZ #498193ExtUtils::InstallPAR @ RHBZ #498191HTML::LintJavaScript::Beautifier @ RHBZ #498186JavaScript::Minifier::XS @ RHBZ #498189JavaScript::Minifier @ RHBZ #498188
PAR::Packer @ RHBZ #500958Getopt::ArgvFile @ RHBZ #496021(author already agreed to relicense)
Padre 0.21 not found. We have 0.32.Parrot::EmbedSyntax::Highlight::Engine::Kate @ RHBZ #497283Syntax::Highlight::Perl6 @ RHBZ #495693not needed in this releaseURI 1.37 not found. We have 1.37.WebService::Validator::CSS::W3C @ RHBZ #498196WebService::Validator::HTML::W3C @ RHBZ #498198
Perl5i
perl5i Perl5i @ RHBZ #998496+ dependancies:autobox::Core @ RHBZ #730031autobox::dump @ RHBZ #730033autobox::List::Util @ RHBZ #730034autovivification @ RHBZ #730037Child @ RHBZ #730038DateTime::Format::Epoch @ RHBZ #730043DateTime::TimeZone::Tzfile @ RHBZ #751809DateTime::TimeZone::SystemV @ RHBZ #751522Date::ISO8601 @ RHBZ #730040Date::JD @ RHBZ #730041
indirect @ RHBZ #730069Modern::Perl @ RHBZ #722653Object::ID @ RHBZ #998235Hash::FieldHash @ RHBZ #730047
Perl6::Caller @ RHBZ #998434Taint::Util @ RHBZ #998447true @ RHBZ #998465B::Hooks::OP::Annotation @ RHBZ #823167
Misc
- Bricolage - Content Management System (CPAN: Bundle::Bricolage)
- Alzabo - Data modelling tool (CPAN: Alzabo) - The web page does exist anymore, the distribution on the CPAN is abandoned.
Encode::HanExtra - Extra encodings for Encode (for w3c-markup-validator) @ RHBZ #759758Encode::JIS2K - Extra encodings for Encode (for w3c-markup-validator) @ RHBZ #759760- IMC - Idealx Management Console - upstream vanished.
- All dependencies should already be in Fedora.
- StevenPritchard has put some work into this already.
PlRPC - A bundle to install PlRPC-Server, Client and prerequisites.NetPacket::SpanningTree - Assemble and disassemble IEEE 802.3 LLC protocol packets. @ RHBZ #573917Inline::Python - Place python code inline with perl, or use python classes/functions within perl @ RHBZ #1234791App::Rad - Rapid (and easy!) creation of command line applications @ RHBZ #1415201- Net::Sharktools - Use Wireshark's packet dissection engine from Perl (draft specfile); doesn't work with Wireshark 1.6; works with Wireshark 1.4
Method::Signatures - To make subroutine calls easier to read RHBZ #832810MCE - Many-core Engine for Perl providing parallel processing capabilities RHBZ #1162531ZeroMQ - Perl wrapper of the 0MQ message passing library. @ RHBZ #747674Dist-Zilla-Plugins-CJM - Additional useful Dist::Zilla plugins @ RHBZ #1416158Data-Dump-Color - We already package Data::Dump, this is even better. RHBZ #1140223- ALSA-MIDI - the ALSA library, plus some interface functions
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 modelsSee 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-blast+ packaged by jkaluza - https://bugzilla.redhat.com/show_bug.cgi?id=999383
- 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:
- Alloy (from MIT)
- ACL2
- PVS
- BLAST, at http://mtc.epfl.ch/software-tools/blast/ (don't use the obsolete version at Berkeley)
- HOL 4
- Isabelle
- HOL Lite
- Gandalf
- NuSMV
- DiVinE
- KeY
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
- passed Fedora licensing guideline
- 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
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
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.