Subscribe to our Newsletter

Funded solution

By

25 Nov: jaq

Implementation of jq in Rust with formal semantics

By

25 Nov: Σ-protocols

Formalise and implement zero-knowledge proof Σ-protocol

By

25 Nov: lib25519 for ARM

Add 64bit ARM optimisations to lib25519

By

25 Nov: mikroPhone

Open Hardware feature phone

By

25 Nov: Improvements for the next generation firewalling tool in Linux

Netfilter kernel improvements, user space tools and testing

By

25 Nov: UEFI Capsule Update for coreboot with EDK II

Implement more robust firmware updates in coreboot

By

25 Nov: webxdc PUSH

Towards an usable, interoperable and trustworthy web app ecosystem

By

25 Nov: Willow Sync

General Sync Protocol for Willow written in Rust

By

25 Nov: Zilch

Tools for efficient granular builds and introspection

By

25 Nov: TrenchBoot for AMD platform in Linux kernel

Upstream TrenchBoot AMD support to the Linux kernel

1 … 104 105 106 … 194