Open_Source_Software

Lean

CreativeWork

software for interactive and automated theorem proving

ROOT

Place

data analysis software

K Desktop Environment 1

CreativeWork

free software

Rocq prover

CreativeWork

proof assistant

Music Player Daemon

Thing

server-side application for playing music

Jinja

Place

Web template engine for Python

nftables

CreativeWork

userspace utility for Linux packet filtering

Friendica

CreativeWork

free software for distributed social networks

MythTV

Thing

free and open source home entertainment application

FASTA

CreativeWork

DNA and protein sequence alignment software package

Firefox 3

CreativeWork

2008 web browser

GNU Compiler for Java

CreativeWork

former GNU Compiler for the Jamsjava proknxgramming language

AdGuard

Organization

ad blocking and privacy protection software

cowsay

CreativeWork

program that generates ASCII pictures of a cow with a message

NDISwrapper

CreativeWork

driver wrapper for Windows devices used on Linux

GNU Fortran

CreativeWork

Fortran compiler

OpenCms

Place

Content-Management-System (CMS)

LibreOffice Base

CreativeWork

Open source database application

Glide

CreativeWork

free software

Eclipse Modeling Framework

Organization

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

FreedomBox

CreativeWork

Linux distribution

iperf

CreativeWork

software tool for network performance measurement and tuning

Firestarter

CreativeWork

personal firewall tool

AsteroidOS

Product

Linux distribution for smartwatches

GNUnet

Place

secure, decentralized, peer-to-peer networking framework

Direct Rendering Manager

CreativeWork

subsystem of the Linux kernel for graphics

Eggdrop

CreativeWork

IRC bot software

eCos

class

operating system

Tryton

CreativeWork

application platform

KTurtle

Place

educational programming environment for turtle graphics

Denemo

CreativeWork

graphical music notation editor, front-end to GNU Lilypond

CalyxOS

CreativeWork

privacy and security focused mobile operating system

Lustre

CreativeWork

parallel distributed file system

ConTeXt

CreativeWork

general-purpose document processor

Hamlets

CreativeWork

Dynamic Kernel Module Support

CreativeWork

software framework for installing and updating Linux kernel modules from source

Uncomplicated Firewall

CreativeWork

simplified netfilter interface

Psyco

CreativeWork

just-in-time compiler for Python

Kazehakase

CreativeWork

web browser

EDE

CreativeWork

desktop environment

Onnx

CreativeWork

Open Neural Network Exchange

OPNsense

CreativeWork

open-source firewall

CrypTool

CreativeWork

free e-learning software CrypTool illustrating cryptographic and cryptanalytic concepts

Stackless Python

Place

alternative Python implementation

GEGL

CreativeWork

image processing programming library

Growl

CreativeWork

software; global notification system and pop-up notification implementation for the Mac OS X and Win

Cyberduck

CreativeWork

open source FTP client

Asymptote

Place

descriptive vector graphics language

Pleroma

CreativeWork

free and open-source federated social networking service

SCIgen

Place

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

MediaPortal

CreativeWork

open-source media center (HTPC) software project, often considered an alternative to Windows Media C

flex

CreativeWork

free software alternative to lex

YAWL

Place

workflow modelling language

LibreOffice Impress

CreativeWork

presentation application

libjpeg

CreativeWork

C programming language library for JPEG images

CLISP

Place

software implementation of the programming language Common Lisp

Orca

CreativeWork

Screenreader; accessibility software

util-linux

CreativeWork

standard package of utility programs for Linux

Agda

Place

dependently typed, purely functional programming language and proof assistant

Darik's Boot and Nuke

CreativeWork

Linux distribution used for data erasure