Meet the new projects

Trustworthy hardware and manufacturing

Collection of Verified multi-platform Gatewares — Comprehensive repository of open source gateware designs
Flashkeeper — Write Protection on SOIC-8 flash chips without soldering
foaHandler — Reverse engineer the OpenAccess file format
FPGA-ISP-UVM-USB2 — Open hardware FPGA-based USB webcam
MEGA65 Phone Modular MVP — OSHW mobile device with form-factor of hand-held game consoles
nextpnr for GW-5 — Add support to nextpnr for Gowin GW-5 FPGA family
VexiiRiscv — Next generation of the VexRiscv in-order FPGA softcore

Network infrastructure incl. routing, P2P and VPN

Movedata — Privacy-preserving, energy efficient data replication and verification
NixBox — Nix integration with netbox
OpenHarbors — Dynamic Tunneling of WPA over IP/L2TP
Toward a Fully-Verified SCION Router — Formal verification of the reference open source SCION Router

Software engineering, protocols, interoperability, cryptography, algorithms, proofs

Diesel — Safe and performant query builder and ORM written in Rust
lib1305 — Microlibrary for Poly1305 hashing
libvips — Add animated PNG and enhanced JPEG XL support to libvips
MailBox renewal — Performance upgrade of MailBox mail modules
PTT — Unikernel Mailing list server in OCAML
Support for OpenPGP v6 in rPGP — Implement draft-ietf-openpgp-crypto-refresh in rPGP
Tracing and rebuilding packages — Improved metadata/provenance for build artifacts
UnifiedPush — Decentralized and open-source push notification protocol

Operating Systems, firmware and virtualisation

Arcan-A12 Directory — Server side scripting API for Arcan's directory server
Arcan-A12 Tools — A12 clients for different platforms and devices such as drawing tablets
postmarketOS daemons — Add modern service daemons to postmarketOS
Redox OS Unix-style Signals — Add Unix-style signal handling to Redox Operating System
TrenchBoot as Anti Evil Maid - UEFI boot mode support — Add UEFI to the Qubes integration of Trenchboot with AEM
tslib — Better configuration and callibration of touchscreen devices
Wayland input method support — Better specification for Wayland input methods

Measurement, monitoring, analysis and abuse handling

Back2Source next — Better matching of binaries with source code
Enhance the vulnerability database — Enhance the VulnerableCode vulnerability database
LANShield — Constrain local network access for mobile devices
OWASP dep-scan — Security and risk audit tool

Middleware and identity

Client Proof-of-Work in TLS — Mitigation against DoS amplification on the TLS handshake

Data and AI

LabPlot — Scientific and engineering data analysis and visualisation

Services + Applications (e.g. email, instant messaging, video chat, collaboration)

bluetuith — Bluetooth connection/device manager for the terminal
Draupnir — Moderation bot for Matrix servers
Gancio — Shared agenda for local communities that supports Activity Pub
Miru — Multi-track video editing and real-time AR effects
Openfire IPv6 support — Add IPv6 support to the Openfire XMPP server

Vertical use cases, Search, Community

COCOLIGHT — Lightweight version of Communecter
OpenCarLink — Security tooling for vehicle ODB2 ports

Still hungry for more projects? Check out the overview of all our current and recent projects…