Technologies and Projects

Name: Sovereign Tech Agency
Price range: $

Since October 2022, we have invested in the following technologies and projects. They exemplify digital infrastructure that we aim to strengthen with our mission.

195 critical technologies worthy of investment identified

60 technologies supported since October 2022

23.50 m € invested in commissioned work

Current Investments

FreeBSD

Improving the infrastructure, security, regulatory compliance, and developer experience of an open source operating system
Learn more
GNU libmicrohttpd

Building high-performance HTTP servers in applications reliably, securely, and efficiently
Learn more
JUnit

Making automated testing for the Java ecosystem and JVM more reliable, efficient, and sustainable
Learn more
Mamba

Enabling secure software package management for science and industry on major operating systems
Learn more
Samba

Enhancing the security, scalability, and functionality of an essential implementation of SMB and IAM protocols
Learn more
PHP

Improving the long-term sustainability and security of the PHP ecosystem
Learn more
GNOME

Improving accessibility, tooling, and security for the Linux desktop ecosystem
Learn more
Domain

Expanding a comprehensive, memory-safe library for building privacy and security-conscious DNS applications
Learn more
Reproducible Builds

Ensuring the security and integrity of open source software throughout its lifecycle, from source to binary code
Learn more
GFortran

Advancing an open-source Fortran compiler, to enable modern, efficient capabilities for high-performance computing and scientific research.
Learn more
systemd

Improving the development and release testing infrastructure of a component used in many Linux distributions
Learn more
FFmpeg

Maintaining the sustainability, security, and innovation of a leading multimedia processing framework
Learn more
coreutils

Creating memory-safe replacement for GNU coreutils
Learn more
ActivityPub Test Suite

Strengthening interoperability in the ecosystem of decentralized, federated social networks
Learn more
GStreamer

Re-implementing a multimedia framework’s low-level network protocol for increased security, maintainability, and sustainability
Learn more
Log4j

Enhancing security, stability, and confidence in Java logging
Learn more
Drupal

Advancing software production security and enhancing developer tools of a widely used content management system
Learn more
OpenJS Foundation

Improving Javascript ecosystem infrastructure and security
Learn more
Pendulum

Providing accurate time on millions of devices and networks fundamental to the internet and other critical infrastructure.
Learn more
Fortran

Modernizing an established programming language to become more performant and user-friendly for scientific communities
Learn more
RubyGems & Bundler (2023)

Package management for Ruby, a popular programming language
Learn more
Logback

Maintaining, improving, and securing a Java logging library
Learn more
Prossimo

Securing critical and vulnerable internet infrastructure by moving it into memory-safe code
Learn more
Python Package Index

Improving Python ecosystem security in collaboration with Trail of Bits
Learn more
OpenBLAS

Keeping high performance linear algebra computation accessible and open for all
Learn more
The Yocto Project

Creating flexible, custom operating systems for embedded and IoT devices
Learn more
Sequoia PGP (2023)

Secure communication, signatures, and authentication, in Rust
Learn more

Current Investments

FreeBSD

Improving the infrastructure, security, regulatory compliance, and developer experience of an open source operating system

GNU libmicrohttpd

Building high-performance HTTP servers in applications reliably, securely, and efficiently

JUnit

Making automated testing for the Java ecosystem and JVM more reliable, efficient, and sustainable

Mamba

Enabling secure software package management for science and industry on major operating systems

Samba

Enhancing the security, scalability, and functionality of an essential implementation of SMB and IAM protocols

PHP

Improving the long-term sustainability and security of the PHP ecosystem

GNOME

Improving accessibility, tooling, and security for the Linux desktop ecosystem

Domain

Expanding a comprehensive, memory-safe library for building privacy and security-conscious DNS applications

Reproducible Builds

Ensuring the security and integrity of open source software throughout its lifecycle, from source to binary code

GFortran

Advancing an open-source Fortran compiler, to enable modern, efficient capabilities for high-performance computing and scientific research.

systemd

Improving the development and release testing infrastructure of a component used in many Linux distributions

FFmpeg

Maintaining the sustainability, security, and innovation of a leading multimedia processing framework

coreutils

Creating memory-safe replacement for GNU coreutils

ActivityPub Test Suite

Strengthening interoperability in the ecosystem of decentralized, federated social networks

GStreamer

Re-implementing a multimedia framework’s low-level network protocol for increased security, maintainability, and sustainability

Log4j

Enhancing security, stability, and confidence in Java logging

Drupal

Advancing software production security and enhancing developer tools of a widely used content management system

OpenJS Foundation

Improving Javascript ecosystem infrastructure and security

Pendulum

Providing accurate time on millions of devices and networks fundamental to the internet and other critical infrastructure.

Fortran

Modernizing an established programming language to become more performant and user-friendly for scientific communities

RubyGems & Bundler (2023)

Package management for Ruby, a popular programming language

Logback

Maintaining, improving, and securing a Java logging library

Prossimo

Securing critical and vulnerable internet infrastructure by moving it into memory-safe code

Python Package Index

Improving Python ecosystem security in collaboration with Trail of Bits

OpenBLAS

Keeping high performance linear algebra computation accessible and open for all

The Yocto Project

Creating flexible, custom operating systems for embedded and IoT devices

Sequoia PGP (2023)

Secure communication, signatures, and authentication, in Rust

Contribute Back Challenges

OpenPGP documentation for application developers

Providing up-to-date OpenPGP documentation for application developers

Securing Apache Airflow

Enhancing the security model of a pivotal workflow orchestration component in the Python ecosystem.

Nix ecosystem supply chain security

Reinforcing the security framework of an an open source build and configuration management system across the full software development life cycle

RuntimeTypeInspector.js

A tool that allows JavaScript projects of any kind to enable runtime type checking

Haskell Cabal

Build system and package manager for the Haskell programming language

Rusty SBOMs

cyclonedx-rust-cargo is emerging as the standard for creating Software Bill of Materials for the Rust ecosystem and the CycloneDX standard

p5.js Documentation Organization & Accessibility

A free, open source JavaScript library for creative coding, with a focus on making coding accessible and inclusive for artists, designers, educators, and beginners

Open Web Docs

Documenting accurate compatibility data for web technologies and maintaining tools that support this documentation

conda-store

An open source tool for managing data science environments in collaborative teams.

Past Investments

Bundler & RubyGems (2022)

Package management for a popular programming language

curl

Powering data transfers

OpenMLS