Source Available Software

Rocq prover

CreativeWork

proof assistant

OpenBSD PF

CreativeWork

firewall program for BSD systems

GNU Guile

Place

Scheme implementation intended especially for extensions

K Desktop Environment 1

CreativeWork

free software

Csound

CreativeWork

software and an audio programming language

ROOT

Place

data analysis software

Leela Chess Zero

CreativeWork

free and open-source chess engine

Claws Mail

CreativeWork

GTK-based Email client

NDISwrapper

CreativeWork

driver wrapper for Windows devices used on Linux

Firefox 3

CreativeWork

2008 web browser

FASTA

CreativeWork

DNA and protein sequence alignment software package

nftables

CreativeWork

userspace utility for Linux packet filtering

LibreOffice Base

CreativeWork

Open source database application

OpenCms

Place

Content-Management-System (CMS)

MythTV

Thing

free and open source home entertainment application

ONNX

CreativeWork

Open Neural Network Exchange

GNU Compiler for Java

CreativeWork

former GNU Compiler for the Jamsjava proknxgramming language

cowsay

CreativeWork

program that generates ASCII pictures of a cow with a message

Friendica

CreativeWork

free software for distributed social networks

AdGuard

Organization

ad blocking and privacy protection software

GNU Fortran

CreativeWork

Fortran compiler

Uncomplicated Firewall

CreativeWork

simplified netfilter interface

KTurtle

Place

educational programming environment for turtle graphics

Eclipse Modeling Framework

Organization

modeling framework and code generation facility for building tools and other applications based on a structured data model

eCos

class

operating system

Kazehakase

CreativeWork

web browser

Psyco

CreativeWork

just-in-time compiler for Python

Dynamic Kernel Module Support

CreativeWork

software framework for installing and updating Linux kernel modules from source

Glide

CreativeWork

free software

Debian Almquist shell

CreativeWork

smaller version of Bash aiming for POSIX compliance

Direct Rendering Manager

CreativeWork

subsystem of the Linux kernel for graphics

Denemo

CreativeWork

graphical music notation editor, front-end to GNU Lilypond

iperf

CreativeWork

software tool for network performance measurement and tuning

EDE

CreativeWork

desktop environment

ConTeXt

CreativeWork

general-purpose document processor

Eggdrop

CreativeWork

IRC bot software

CalyxOS

CreativeWork

privacy and security focused mobile operating system

OPNsense

CreativeWork

open-source firewall

Tryton

CreativeWork

application platform

Firestarter

CreativeWork

personal firewall tool

GNUnet

Place

secure, decentralized, peer-to-peer networking framework

FreedomBox

CreativeWork

Linux distribution

Lustre

CreativeWork

parallel distributed file system

Ollama

CreativeWork

software for running large language models (LLMs) on a local computer or in the cloud

Hamlets

CreativeWork

Pleroma

CreativeWork

free and open-source federated social networking service

GEGL

CreativeWork

image processing programming library

Stackless Python

Place

alternative Python implementation

LibreOffice Impress

CreativeWork

presentation application

UPX

CreativeWork

free and open source executable packer software

libjpeg

CreativeWork

C programming language library for JPEG images, from IJG

YAWL

Place

workflow modelling language

Flux

CreativeWork

suite of text-to-image models

CLISP

Place

software implementation of the programming language Common Lisp

Orca

CreativeWork

Screenreader; accessibility software

Agda

Place

dependently typed, purely functional programming language and proof assistant

Cyberduck

CreativeWork

open source FTP client

SCIgen

Place

computer program that randomly generates nonsense in the form of computer science research papers

Darik's Boot and Nuke

CreativeWork

Linux distribution used for data erasure

Asymptote

Place

descriptive vector graphics language