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...