Line 45: | Line 45: | ||
=== Formal Methods === | === Formal Methods === | ||
"Formal methods" are techniques that use mathematics | |||
to prove that models of software, hardware, or systems will or will not | |||
have certain behaviors. To be practical, they must be automated | |||
using tools. | |||
The goal of the Formal Methods SIG is to make it easy to install formal methods tools in Fedora, ease learning how to apply them, encourage the development of "open proofs" (where an implementation, proofs, and required tools are all FLOSS), and to provide feedback to toolmakers so that the tools in Fedora can become more powerful, more scaleable, and easier to use together. | |||
[[FormalMethods|Formal Methods SIG]] | [[FormalMethods|Formal Methods SIG]] | ||
Revision as of 16:54, 14 January 2010
The Fedora Special Interest Groups (SIGs) are teams within the Fedora Project that do not meet the Project definition from the Defining projects page. The SIGs are sometimes a first stage in the development of new projects within the Fedora Project.
Introduction to some SIGs
Amateur Radio
Goal of Amateur Radio group is to improve the Fedora collection by adding packages for amateur radio (Ham Radio) operators and SWLs.
Astronomy
Goal of Fedora Astronomy group is to gather people interested to improve support for astronomers and astrophysicists.
Bug Triage
Fedora Bug Triage attempts to manage the flow of bug reports filed against other Fedora projects. They stand to prevent the other project members being overwhelmed by bug reports, eliminating trivial bugs, removing or correcting flawed or inadequate reports, and making sure that maintainers are able to get things done.
Desktop
The Desktop SIG strives to make Fedora a very good desktop distribution. The goal is to produce a more targeted desktop spin while maintaining traditional Fedora strengths such as security and commitment to free software. The Desktop SIG will develop and release the "Fedora Desktop" live CD
Education
The mission of the Fedora Education SIG (Edu SIG) is to optimize Fedora for use by teachers and learners, both within and outside of the context of educational institutions.
We do this by building, maintaining, and evangelizing a strong ecosystem of educational packages within Fedora and by supporting learners in using these packages as tools to reach their curricular goals.
EPEL
EPEL (Extra Packages for Enterprise Linux) is targeted at filling the gap between the complete Fedora Collection and the packages that are maintained in Enterprise Linux. We are a community of individuals focusing on package maintenance and infrastructure to provide as many packages as possible to the consumers of Enterprise Linux. The EPEL SIG is led by a steering committee.
Fonts
The Fonts Special Interest Group is an informal group of Fedora Linux contributors. It is dedicated to improving fonts availability and text rendering/layouting in the distribution and its other Linux derivatives.
Join us and help:
Activity | OS Developer | Translator | Content Writer | Designer | People Person |
---|---|---|---|---|---|
|
|||||
|
|||||
|
|||||
|
|||||
|
Any font or text-related activity can be tackled, as long as the result is free/libre and compatible with the Fedora objectives.
The current SIG task list is published here.
Formal Methods
"Formal methods" are techniques that use mathematics to prove that models of software, hardware, or systems will or will not have certain behaviors. To be practical, they must be automated using tools. The goal of the Formal Methods SIG is to make it easy to install formal methods tools in Fedora, ease learning how to apply them, encourage the development of "open proofs" (where an implementation, proofs, and required tools are all FLOSS), and to provide feedback to toolmakers so that the tools in Fedora can become more powerful, more scaleable, and easier to use together.
Games
Goal of Games SIG is to make Fedora the best Free software and open source gaming platform there is for both developers and users.
Geographic Information System
GIS is an initiative aimed to pack GIS technology related OSS in Fedora/EPEL and turn Fedora/EPEL to be the best chioce for a GIS platform.
Independent Software Vendor (ISV)
The ISV can be anything from a one- or two-man shop to a software design and development powerhouse. Fedora is a great platform for showing off your product, especially to community developers who might be interested in contributing code, plugins, or feedback.
KDE
The KDE SIG is a group of Fedora contributors that maintain KDE packages in Fedora. Their mission is to provide high-quality, usable KDE software packages to Fedora users and developers and to support one another in maintaining those packages.
Live DVD
Our Mission is to provide a stable Live DVD per stable release of Fedora.
Live Upgrade
If you want to participate in efforts to make live upgrades smoother, join the Live Upgrade SIG.
LXDE
The LXDE SIG is a group of Fedora contributors that contribute towards LXDE in Fedora. Their mission is to define a high-quality LXDE experience to Fedora users and developers in maintaining packages and helping each other in all LXDE related efforts.
|
Fedora Mini
The Fedora Mini SIG is a group of Fedora contributors that are interested in Fedora on small devices. Initially aimed at supporting NetBooks, Mobile Internet Devices (MIDs), it could over time be expanded to also cover things such as Set Top Boxes (STBs).
Fedora Medical
The Fedora Medical is a group of Fedora contributors that are interested in having a dedicated spin/application bundle to be used by the healthcare and medical community.
Mono
The Mono SIG is a group of Fedora contributors that maintain Mono (and related) packages in Fedora. Their goal is to provide high-quality and usable mono software packages to Fedora users and developers and to support one another in maintaining those packages.
Printing
The Fedora Printing Project's goal is to create a good printing experience on Fedora.
|
Robotics
The goal is to bring packages of open and free software related to robotics and educational software for robotics into Fedora and make Fedora fit to power (mobile) robots. Fedora Robotics SIG
Ruby SIG
A SIG for people who are interested in improving the state of Ruby in Fedora. This includes packaging Ruby libraries and applications, setting and improving standards for packaging them as RPM's and maintaining Ruby packages for Fedora.
|
Science and Technology
The purpose of the Fedora Sci-Tech SIG is to improve the number and quality of packages available for scientific and technical users.
Fedora Science and Technology SIG
Secondary Arches
The purpose of the Secondary arch SIGS are to promote fedora on different architectures.
Currently there is teams for:
Server
Our goal is to make Fedora suitable for server deployments and the perfect base for enterprise systems like RHEL.
Spins
A SIG for technical review of Spins contributed by the community.
Stateless Linux
The Stateless Linux project is an OS-wide initiative to ensure that Fedora computers can be set up as replaceable appliances, with no important local state.
Store
A SIG devoted to getting a store running, both for users looking for one-off purchases and for Ambassadors who need swag in bulk.
Usability
Fedora Usability aims to provide coherence, accessibility and intuitiveness for all people using Fedora and its associated resources.
Xfce
The Fedora Xfce SIG works on the integration of the Xfce desktop environment. The aim is to establish Xfce as desktop environment besides GNOME and KDE.
|
Subcategories
This category has the following 10 subcategories, out of 10 total.
Pages in category "SIGs"
The following 132 pages are in this category, out of 132 total.
A
- SIGs/Ada
- SIGs/AI-ML
- SIGs/AlternativeArchitectures
- AmateurRadio
- Architectures/ARM
- Architectures/IA64
- Architectures/MIPS
- Architectures/MIPS Fedora 11 12 13
- Architectures/MIPS64
- Architectures/Parisc
- Architectures/PowerPC
- Architectures/PowerPC/Meetings/FUDCon Lawrence 2013
- Architectures/s390x
- Architectures/SPARC
- Atomic WG
- Audio Creation
G
S
- SIGs/Asahi
- SIGs/bigdata
- SIGs/bigdata/es
- SIGs/BiosBoot
- SIGs/Budgie
- SIGs/CI
- SIGs/DataEngineering
- SIGs/DeepinDE
- SIGs/Design Software
- SIGs/Desktop
- SIGs/DNS
- SIGs/DotNet
- SIGs/eBPF
- SIGs/Education
- SIGs/ELN
- SIGs/Erlang
- SIGs/FedoraMini
- SIGs/Flatpak
- SIGs/FormalMethods
- SIGs/Games
- SIGs/Go
- SIGs/GraphQL
- SIGs/Grid Computing
- SIGs/HC
- SIGs/Java
- SIGs/Java/pt-br
- SIGs/Join
- SIGs/KDE
- SIGs/KubeDev
- SIGs/Libreoffice
- SIGs/Live
- SIGs/LiveDVD
- SIGs/LiveUpgrade
- SIGs/Medical
- SIGs/Metrics
- SIGs/Minimal Core
- SIGs/ML
- SIGs/Mono
- SIGs/Music & Audio
- SIGs/NeuroFedora
- SIGs/NeuroFedora/es
- SIGs/NoSQL
- SIGs/OpenStack
- SIGs/Package Review
- SIGs/PHP
- SIGs/PHP/pt-br
- SIGs/PowerManagement
- SIGs/Python
- SIGs/PyTorch
- SIGs/QA
- SIGs/QuantumComputing
- SIGs/R
- SIGs/Red Team
- SIGs/RISC-V
- SIGs/Robotics
- SIGs/ROCm
- SIGs/Ruby
- SIGs/Ruby/es
- SIGs/Rust
- SIGs/Security
- SIGs/Server
- SIGs/Sound
- SIGs/Source-git
- SIGs/Stewardship
- SIGs/Store
- SIGs/Store/PotentialDistributors
- SIGs/Store/ProposedItems
- SIGs/Xfce
- SIGs/XR
- Atomic/PRD
- CoreOS/PRD
- User:Roshi/QA/Atomic PRD
- Spins SIG
- SSCG
- StatelessLinux
- StaticAnalysis
- Subprojects
- Subprojects/es
- Subprojects/ko
- Subprojects/pt
- Subprojects/pt-br