Subscribe to our Newsletter

Funded solution

By

15 Jul: Toward a Fully-Verified SCION Router II

Align router code with formal verification tooling

By

15 Jul: SCION Open Source Implementation

Performance improvements for SCION reference Implementation

By

15 Jul: Renderling ecosystem

Renderling

By

15 Jul: Rosenpass Broker

Expanding the Rosenpass API’s to enable easy integration in applications

By

15 Jul: Rust crate auditing and source correspondence checks

Better supply chain security for Rust crates + packages in distributions

By

15 Jul: Re-isearch Schmate

Extending re-Isearch with a flat vector datatype for embeddings

By

15 Jul: io_uring-like IO for Redox

Introduce ring buffers in Redox to increase I/O performance

By

15 Jul: Lix RPC

RPC framework for scaling Nix

By

15 Jul: Reduced Feature-set Packet Filter

High throughput software firewall

By

15 Jul: Pnut

Reproducible build of GCC on POSIX shell

1 … 55 56 57 … 212