Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

Scripts to slightly improve the security of the Linux boot process with UEFI Secure Boot and TPM support

GRR Rapid Response: remote live forensics for incident response

tun2socks - powered by gVisor TCP/IP stack

Talos Linux is a modern Linux distribution built for Kubernetes.

Open source RabbitMQ: core server and tier 1 (built-in) plugins

Some English interpretations of Lao Tzu's Tao Te Ching.

A secure, fast, and adaptable OS based on the seL4 microkernel

SSH Agent for TKey, the flexible open hardware/software USB security key 🔑

An improved drop-in replacement for SQS

“Zero setup” cross compilation and “cross testing” of Rust crates

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

A small crate for hashing multi sets

🧚 A practical web framework for Gleam

Neptune OS: A Windows NT personality for the seL4 microkernel

Bindings for Erlang's ETS tables. Forked and updated from gts.

Highly integrated electronics design and printed circuit boards (PCBs) for the MATE ROV Competition. Attempt the impossible.

Gleam OTP Design Principles User's Guide

The tiniest PaaS you've ever seen. Piku allows you to do git push deployments to your own servers.

The fastest RISC-V sandbox

Action for generating build provenance attestations for workflow artifacts

A self-hosted dashboard that puts all your feeds in one place

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

The OS for your personal finances

fast hex

A perfect minimal hash function generator

Verified Rust for low-level systems code

Generate binary LLVM-compatible bitcode from JS

Lexer generator for C, C++, Go and Rust.