A set of guidelines to avoid arguments over code-quality

Open Source Survey Platform

✏️ Free open source alternative to TypeForm, TellForm, or Google Forms ⛺

Creusot helps you prove your code is correct in an automated fashion.

Securely share your files

Stacked Git

The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

VS Code extension to verify Rust programs with the Prusti verifier.

Certificate Transparency Log Monitor

A tool designed to make physical devices detectable by malware and make system look like virtual machine.

Public malware techniques used in the wild: Virtual Machine, Emulation, Debuggers, Sandbox detection.

A practical experiment on supply-chain security using reproducible builds

Rust mid-level IR Abstract Interpreter

Dafny is a verification-aware programming language

Integer sets as fast, sorted, integer ranges with full set operations

🛡️ A private certificate authority (X.509 & SSH) & ACME server for secure automated certificate management, so you can use TLS everywhere & SSO for SSH.

Pair your compilers up at The ABI Cafe!

List of resources related to LD_PRELOAD, a mechanism for changing application behavior at run-time

Creates CycloneDX Software Bill of Materials (SBOM) from Rust (Cargo) projects

📂 Web File Browser

Make production Rust binaries auditable

Collaborative office suite, end-to-end encrypted and open-source.

HedgeDoc - Ideas grow better together

Alternative rust compiler (re-implementation)

Investigating published Rust crates

Please see https://github.com/hacspec/hax

Interactive ASCII art diagram generators. 🌟

😱 Falsehoods Programmers Believe in

Record and Replay Framework